People

PhD supervision

MSc supervision

  • Denny Diepgrond. Supervisors: Evert Haasdijk, Bart Verheij
  • Arnout van Heereveld (1st year project Master Human-Machine Communication). Supervisor: Bart Verheij
  • Albert Thie. Supervisor: Bart Verheij
  • Jelmer van der Linde (2018). Human Argument Structure Language. Supervisors: Bart Verheij, Jennifer Spenader
  • Kim Veltman (2018). Integrating Data and Knowledge Using Arguments, Rules and Cases: a Step Towards Explainable AI. Supervisors: Bart Verheij, Rineke Verbrugge
  • Cor Steging (2018). Explainable AI: On the Reasoning of Symbolic and Connectionist Machine Learning Techniques. Supervisors: Bart Verheij, Lambert Schomaker
  • Zheng Heng (Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou) (2018). A Logical Program Design for Argumentation Modeling Framework Supervisors: Bart Verheij, Minghui Xiong
  • Xeryus Stokkel (2018). Deliberation Dialogues for Cooperative Pathfinding. Supervisors: Bart Verheij, Rineke Verbrugge
  • Simon Brouwer (Department of Philosophy) (2017). On the Developments in Artificial Intelligence and the Ongoing Paradigm Shift in the Cognitive Sciences (Philosophy of a Specific Discipline). Supervisors: Catarina Dutilh Novaes, Bart Verheij
  • Pieter de Rooij (2017). Grounded Knowledge Acquisition by Argumentation. An Implementation for Fraud Detection. Supervisors: Bart Verheij, Rineke Verbrugge
  • Ron Snijders (2016). Symbolic and Non-Symbolic Failure Interpretation and Recovery using a Domestic Service Robot. Supervisors: Bart Verheij, Tijn van der Zant, Rineke Verbrugge
  • Coen Jonker (2014). Perception as Grounded Argumentation. Supervisors: Ronald van Elburg, Bart Verheij
  • Marko Doornbos (2014). Robots doing as they're told: a flexible task execution system taught through human-robot dialogue. Supervisors: Tijn van der Zant, Bart Verheij
  • Lourens Elzinga (2012). Crime Investigation Auditor (1st year project Master Human-Machine Communication). Supervisor: Bart Verheij
  • 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 Colen (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

  • Ludi van Leeuwen (honours college). Supervisor: Bart Verheij
  • Ariadna Albors Zumel (honours college) (2018). Construction of a Neural Network using Python Supervisor: Bart Verheij
  • Kai Liang (2018). Causal Bayesian Networks and Alternative Representations: Generations and Implications. Supervisor: Bart Verheij
  • Nick Dupuis (2018). An Analysis of Decompositional Rule Extraction for Explainable Neural Networks. Supervisor: Bart Verheij
  • Igor Bobeldijk (2017). The Alternative Representations of a Bayesian Network and its Implications. Supervisor: Bart Verheij
  • Tim Oosterhuis (2016). Integration of argumentative, narrative and probabilistic reasoning in court. A case study comparison of two methods. Supervisor: Bart Verheij
  • Rene Mellema (2015). Modelling a Murder Case in Probability Theory. Supervisor: Bart Verheij
  • Egbert Brilman (2014). Theory of mind in the prisoner's dilemma. (Honour's college Faculty of Mathematics and Natural Sciences) Supervisors: Harmen de Weerd, Bart Verheij
  • 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). Supervisors: 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

News