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