PhD and MSc Students
Supervisor for Master's Students
2018-2019: Laura van de Braak: Extending dynamic epistemic logic to incorporate beliefs about hidden protocols
2018: René Mellema: An inquisitive dynamic epistemic logic with factual change
2017: Jordi Top, Bridging the gap between logic and cognition: A translation method for centipede games Download pdf
2017: Sebastiaan Grasdijk, Information discovery and integration using a multi-agent system with ant colony optimization Download pdf
2016: Diederik van Krieken, Agent negotiation in a manufacturing process Download pdf
2016: Johan Los, Preference-based improvements on solutions of multi-agent temporal problems by automated negotiation Download pdf
2016: Arnoud van der Meulen, Comparing multiple models of reasoning: An agent-based approach Download pdf
2015: Fransje van Weerden, Modelling foragers' reaction to disturbance: Limitations in transmission, learning about danger
2015: Aliene van der Veen, Connecting PowerMatcher to the electricity markets: An analysis of a Smart Grid application Download pdf
2015: Mirjam de Vos, Solving the knower paradox via the logic of provability Download pdf
2014: Ayla Kangur, Steccar: Simulating the transition to electric cars using the Consumat agent rationale Download pdf
2014: Gido Schoenmacker, Agent-based consumer modelling of the Dutch lighting market. Download pdf
2014: Eva van Viegen, Reading experiments on higher-order social reasoning. Download pdf
2014: Eveline Broers, Negotiating with incomplete information: The influence of theory of mind. Download pdf
2013: Jorge Medina, A model checker for unbounded dynamic epistemic logic models. Download pdf
2012: Inge Slingerland (agent-based modeling of the influence of government on society)
2012: Martin Klomp, Using a cognitive model in an agent-based learning environment. Link
2012: Reading committee for Paula Henk, Master of Logic, ILLC Amsterdam, Supremum in the lattice of interpretability. Download pdf
2012: Co-supervisor of Burcu Arslan, METU Ankara, Evidentiality and second-order social cognition. Download pdf
2012: Jasper Spaans (computational cognitive models of social cognition in ravens)
2011: Lise Pijl, Modelling the evolution of theory of mind. Download pdf
2011: Theije Visser, Emergence of social dynamics among affectively motivated agents. Download pdf
2010: Harmen de Weerd, Evolution of altruistic punishment in heterogeneous populations. Link
2009: Maarten Jacobs: Multi-agent learning in the quantum prisoner's dilemma. Download pdf
2009: Gert van Valkenhoef, Dealing with execution uncertainty in the continuous double auction. Link
2008: Tim Dorscheidt, Cultural evolution through idealised child-parent imitation: A computational study in cultural evolutionary dynamics (BCN Research master). Download pdf
2008: Gert van Valkenhoef, Elaborations on OOPS (extra research project on theorem proving for modal logics). Download pdf
2007: Elske van der Vaart, Evolving models of theory of mind (BCN Research Master). Download pdf
2007: Harmen Wassenaar, Taming Frankenstein’s logic. Link
2007: Douwe Terluin: From Fabula to fabulous: Using discourse structure relations to separate paragraphs in automatically generated stories. Download pdf
2007: Hilverd Reker: A Tree decomposition approach to automated reasoning. Download pdf
2007: Jop Gerritsen (data mining)
2006: Mathijs de Boer: Praktische bewijzen in Public Announcement Logica. Download pdf
2006: Liesbeth Flobbe, Children’s development of reasoning about other people’s minds. Link
2006: Egon van Baars, Knowledge-based algorithm for multi-agent communication. Link
2006: Joris IJsselmuiden , Qualitative decision theory and term rewriting in an adaptive diary assistant. Link
2006: Maaike Harbers, The examination of an information-based approach to trust. Link
2005: Matthijs van Santen de Hoog, Verificatie van kennisbanken. Link
2005: Martijn Bosma: Musicology in a virtual world: A bottom up approach to the study of musical evolution. Download pdf
2005: Berto Booijink, Strategy evolution and resolution deduction in Diplomacy. Link
2004: Lisette Mol, Learning to reason about other people's minds. Link
2004: Diederik Kraaikamp (knowledge technology for business rules, post-master research project)
2007: Gerben Blom, An artificial intelligence approach to dots and boxes. Link
2004: Robert Coehoorn, Learning an Opponent's Preferences in order to make effective multi-issue negotiation trade-offs. Link
2004: Luit Gazendam, Menselijk beslissen in theorie en praktijk tijdens het herhaalde prisoner’s dilemma. Link
2003: Edo Plantinga (cognitive science and tutoring systems).
2003: Willem Hibbeln, Updating a robot’s internal map of the environment. Link
2003: Albert van der Heide, The group movement of Aptenodytes forsteri implemented as an 'emergent' phenomenon. Link
2002: Volker Nannen, The paradox of overfitting. Link
2002: Jan-Willem Wennekes, Bounded rationality in communication. Link
2002: Caren Wolferink, Een Zelflerend Systeem voor het Ontdekken van Ongewoon Gedrag binnen een Toegangssysteem. Link
2002: Suzanne van Gelder, Genetic tuning. Link
2002: Sjoerd Druiven, Knowledge development in games of imperfect information. Link
2002: Gerolf de Boer, Ontologieën en teamvorming in multi-agent systems. Link
2001: Maarten Grachten. JIG: An approach to jazz improvisation. Link
2001: Cynthia van Weeren, Een analyse van het roosterprobleem op middelbare scholen. Link
2000: Diederik Roosch (multi-agent systems)
2000: Wouter Teepe (security and multi-agent systems)
1999: Barteld Kooi (epistemic logic and multi-agent systems)
1997: Dennis Dragstra (machine learning)
1997: Chilo van Best (multi-agent systems)
1996: Anders Bouwer (tutoring systems)
1996: Michiel Visser (robotics)
Rineke Verbrugge 2023