People

PhD supervision

• Charlotte Vlek (with Henry Prakken, Silja Renooij and Rineke Verbrugge)
• Sjoerd Timmer (Utrecht University) (with Henry Prakken, Silja Renooij and John-Jules Meyer)
• Harmen de Weerd (with Rineke Verbrugge)
• Floris Bex (2009). Evidence for a Good Story. A Hybrid Theory of Arguments, Stories and Criminal Evidence (cum laude). Promotores: Prof. dr. mr. H. Prakken, Prof. dr. P.J. van Koppen, copromotor: dr. B. Verheij.
• Bram Roth (2003) (Universiteit Maastricht). Case-Based Reasoning in the Law. A Formal Theory of Reasoning by Case Comparison. Promotor: Prof. dr. H.F.M. Crombag, copromotor: dr. B. Verheij.

MSc supervision

• Coen Jonker (with Ronald van Elburg)
• Marko Doornbos (with Tijn van der Zant)
• Bas Hickendorff (2011). Enhanced human-robot interaction by reason-based behavior adaptation. Supervisors: Tijn van der Zant, Bart Verheij.
• Lise Pijl (2011). Modelling the evolution of theory of mind. Supervisors: Rineke Verbrugge, Bart Verheij.
• Heiko Harders (2010). How grounded defeasible rules and exceptions emerge: Conceptualizing the environment in a population of agents. Supervisor: Bart Verheij.
• Pieter de Bie (2009). Computational Agents in the Embodied Communication Game. Supervisors: Simon Kirby (University of Edinburgh), Thomas Scott-Phillips (University of Edinburgh), Bart Verheij.
• Stijn Coolen (2008). ArguGuide Evolved: An Empirical Study of Graphical Representation of Logic in Legal Argumentation Support Systems. Supervisor: Bart Verheij.
• Wimer Hazenberg (2007). Computationele Rechtstheorie: Coördinatietechnieken in een Hiërarchisch Systeem. Supervisors: Bart de Boer (Universiteit van Amsterdam), Bart Verheij.
• Jeroen van Dijk (2007). Using an Agent-based Model to Predict Criminal Activity. Supervisors: Rob van der Veer (Sentient), Bart Verheij.
• Maarten van der Veen (2007). Dynamic Distribution of Semantic Knowledge in Sensor Networks. Supervisors: A. de Jong (TNO), Bart Verheij.
• Robin Vanhoyland (Universiteit Maastricht) (2007). Online Dispute Resolution. Het aanpassen van argumentatieprogrammatuur als stap in de richting van ODR. Supervisors: Richard Verkijk (Universiteit Maastricht), Bart Verheij.
• Maaike Schweers (2007). ArguGuide. Ondersteuning van juridisch redeneren gebaseerd op de kennisstructuur van een juridisch leerstuk. Supervisors: Rineke Verbrugge, Bart Verheij.
• Johan Everts (2007). Improving human-machine cooperation through eye tracking. An agent-based approach. Supervisors: Guido te Brake (TNO), Fokie Cnossen, Bart Verheij.
• Floris Bex (2005) (University of Utrecht). Explaining anchors. Laying the foundations for an evidential sense-making system. Supervisors: Henry Prakken (University of Utrecht), Jan Broersen (University of Utrecht), Bart Verheij.
• Diana Geene (2003) (Universiteit Maastricht). De digitale juridische tussenpersoon. Een onderzoek naar de behoefte aan een juridisch intermediair bereikbaar via de moderne informatie- en communicatiemiddelen. Supervisor: Bart Verheij.

BSc supervision

• Egbert Brilman
• Harmen Kreulen
• Manon de Vries (2013). Simulating the Dynamics of Organized Crime Using a Multi Agent System. Supervisor: Bart Verheij.
• Manon de Vries (2012). Using Multi-Agent Simulations for the Benefits of Criminology: an Organized Crime Application (Honours College project). Supervisor: Bart Verheij, Charlotte Gerritsen.
• Harm Hermsen (2010). Een Afstandmaat voor Geluidsklassen. Cognitief Gebaseerde Modellen van Klassen Geluid en Afstandmaat. Supervisors: Tjeerd Andringa, Alle Veenstra, Bart Verheij.
• Bas Hickendorff (2009). Argumentatie via gesimuleerde dialogen. Supervisor: Bart Verheij.
• Lise Pijl (2008). Weging van redenen in argumentatieondersteunende software. Supervisor: Bart Verheij.
• Oleksandr Murov (2008). Argument visualization: visualizing logic. Supervisor: Bart Verheij.
• Harmen de Weerd (2007). Ontology-based Argumentation in Java (JONA). Supervisor: Bart Verheij.
• Tim Dorscheidt (2006). Recht als emergente eigenschap: De stapsgewijze analyse van een gesimuleerde samenleving. Supervisors: Bart de Boer, Bart Verheij.
• Jeroen Kuijpers (2006). Ontology-based Argumentation in Java (JONA). Argumentatieve speech acts. Supervisor: Bart Verheij.
• Jelle Prins (2006). Ontology-based Argumentation in Java (JONA). Argument visualization. Supervisor: Bart Verheij.
• Lennart van Luijk (2006). Ontology-based Argumentation in Java (JONA). Text generation. Supervisor: Bart Verheij.
• Koen Haak (2006). Ontology-based Argumentation in Java (JONA). Argumentatieontologie en uitwisselingsformaten. Supervisor: Bart Verheij.
• Tijs Zwinkels (2006). Ontology-based Argumentation in Java (JONA). Natuurlijke argumentatie opbouwen met behulp van argumentatieschema's in software. Supervisor: Bart Verheij.
• Albert Hankel & Elske van der Vaart (2005). Recht als emergente eigenschap. Supervisors: Bart de Boer, Gert Kootstra, Bart Verheij.
• Lammert Dijkstra & Sander Foekema (2005). Eigendomsrecht op de Sugarscape? Supervisors: Bart de Boer, Gert Kootstra, Bart Verheij.
• Hanno Koeslag & Maarten Jacobs (2005). Recht als emergente eigenschap. Supervisors: Bart de Boer, Gert Kootstra, Bart Verheij.

Coauthors, coeditors

• Stefan Szeider (2012)
• Stefan Woltran (2012)
• Rineke Verbrugge (2012)
• Michal Araszkiewicz (2012)
• Kevin Ashley (2012)
• Katie Atkinson (2012)
• Filipe Borges (2012)
• Daniele Bourcier (2012)
• Paul Bourgine (2012)
• Jack G. Conrad (2012)
• Enrico Francesconi (2012)
• Guido Governatori (2012)
• Jochen L. Leidner (2012)
• David D. Lewis (2012)
• L. Thorne McCarty (2012)
• Frank Schilder (2012)
• Erich Schweighofer (2012)
• Paul Thompson (2012)
• Alex Tyrrell (2012)
• Adam Z. Wyner (2012)
• Harmen de Weerd (2011, 2012)
• Trevor Bench-Capon (2011, 2012)
• Peter van Koppen (2010)
• Pieter de Bie (2010)
• Thomas Scott-Phillips (2010)
• Simon Kirby (2010)
• Bea Valkenier (2010, 2011)
• Martin Caminada (2010)
• Hendrik Kaptein (2009)
• Stijn Colen (2009)
• Fokie Cnossen (2009)
• Susan van den Braak (2007)
• Herre van Oostendorp (2007)
• Gerard Vreeswijk (2007)
• Maaike Schweers (2007)
• Fokke Fernhout (2007, 2008, 2011)
• Leendert van Maanen (2007, 2008, 2009)
• Lambert Schomaker (2006, 2007, 2008, 2009, 2010, 2011)
• Hanneke Niessink (2006, 2007, 2008, 2009, 2010, 2011)
• Karin Zondervan (2006)
• Floris Bex (2006, 2007, 2009, 2010, 2011, 2012)
• Henry Prakken (2006, 2007, 2009, 2010, 2012)
• Elske van der Vaart (2006)
• Bart de Boer (2006)
• Albert Hankel (2006)
• Ronald Leenes (2005)
• Georges Span (2004)
• Tanja van der Meer (2004)
• Bram Roth (2004)
• David Hitchcock (2003, 2005, 2006)
• Rod Girle (2003)
• Peter McBurney (2003)
• Eugene Clark (2003)
• Thomas Gordon (2003, 2012)
• Ethan Katsh (2003)
• Colin Rule (2003)
• Ernie Thiessen (2003)
• Doug Walton (2003, 2012)
• John Zeleznikow (2003)
• Antoinette Muntjewerff (2001)
• Ron Loui (2001, 2012)
• Gerrit van Maanen (1999)
• Jaap van den Herik (1998)
• Arno Lodder (1993, 1997, 1998, 1999, 2000, 2001, 2003)
• Jaap Hage (1993, 1994, 1997, 1998, 1999, 2000, 2002, 2004, 2007, 2008, 2011)