PhD supervision

MSc supervision

  • Xeryus Stokkel. Supervisor: Bart Verheij
  • Jelmer van der Linde. Supervisor: Bart Verheij
  • Pieter de Rooij. Supervisor: Bart Verheij
  • 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

  • Igor Bobeldijk. 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


BNAIC 2017 (November 8-9, 2017)

The 29th Benelux Conference on Artificial Intelligence (Groningen)

Kennisdiner `The Fiction of Reality' (September 18, 2017)

Diner met sprekers, Studium Generale Groningen (met historicus Jan Blaauw, medisch onderzoeker Désirée Goubert, theatermaakster Sarah Moeremans). Locatie: Grand Theatre. Catering: Kruimels. Verslag in Universiteitskrant

Inaugural lecture (September 12, 2017)

Argumenten voor goede kunstmatige intelligentie (Arguments for good artificial intelligence)

Vacancies: fully funded PhD positions in artificial intelligence and argumentation (Apply before July 15, 2017)

Projects The value of data and Home robotics
- In your motivation letter, you should apply for a specific project or projects.
- There are restrictions: you should not have resided or carried out your main activity in The Netherlands for more than 12 months in the three years before July 15, 2017.

ICAIL 2017 conference paper (2017)

Formalizing Arguments, Rules and Cases

Workshop King's College, London (2017)

Evidence & Decision Making in the Law: Theoretical, Computational and Empirical Approaches (organized with Marcello Di Bello)

Artificial Intelligence and Law journal special issue (2017)

Special issue Artificial Intelligence for Justice (AI4J) (with Floris Bex, Henry Prakken and Tom van Engers)

Artificial Intelligence and Law journal paper (2017)

Proof With and Without Probabilities. Correct Evidential Reasoning with Presumptive Arguments, Coherent Hypotheses and Degrees of Uncertainty

Journal of Autonomous Agents and Multi-Agent Systems paper (2017)

Negotiating with Other Minds. The Role of Recursive Theory of Mind in Negotiation with Incomplete Information (with Harmen de Weerd and Rineke Verbrugge)

Dissertation defence (2017)

On Wednesday February 1, 2017, Sjoerd Timmer
defends his dissertation `Designing and Understanding Forensic Bayesian Networks using Argumentation' in Utrecht.

International Journal of Approximate Reasoning journal paper (2017)

A two-phase method for extracting explanatory arguments from Bayesian networks (with Sjoerd Timmer, John-Jules Meyer, Henry Prakken and Silja Renooij)

JURIX conference paper on ethical systems design (2016)

Arguments for Ethical Systems Design

Artificial Intelligence and Law journal paper on ethical systems design (2016)

Formalizing Value-Guided Argumentation for Ethical Systems Design

JELIA conference paper (2016)

Correct Grounded Reasoning with Presumptive Arguments

Final symposium NWO Forensic Science research program (2016)

Presentation of the research project on statistics, argumentation and scenarios in forensic reasoning (report by ZonMW in Dutch)

Invited researcher at the Isaac Newton Institute for Mathematical Sciences, University of Cambridge (2016)

Scientific programme Probability and Statistics in Forensic Science

Workshop and dissertation defence (2016)

Friday October 28, 2016: Dissertation defence Charlotte Vlek (press report, download dissertation)
Thursday October 27, 2016: Workshop Beyond a Reasonable Doubt: Scenarios and Bayesian Networks for Analyzing Forensic Evidence

Invited graduate course Second Summer School of Argumentation (2016)

University of Potsdam, Campus Griebnitzsee

Artificial Intelligence for Justice, workshop at ECAI (2016)

The Hague, August 30, 2016

Argument and Computation journal (2016)

First open access issue online

Artificial Intelligence and Law journal paper (2016)

A Method for Explaining Bayesian Networks for Legal Evidence with Scenarios (with Charlotte Vlek, Henry Prakken and Silja Renooij)

Stanford CodeX FutureLaw conference (2016)

Computational Law Update, speaker (invited)

Faculty Spotlight talk (2016)

Arguments for Understanding our Complex World

Law, Probability and Risk journal paper (2016)

Arguments, Scenarios and Probabilities: Connections Between Three Normative Frameworks for Evidential Reasoning (with Floris Bex, Sjoerd Timmer, Charlotte Vlek, John-Jules Meyer, Silja Renooij and Henry Prakken)

Book Virtual Arguments, Chinese translation (2016)

China University of Political Science and Law Press, series editor Professor Minghui Xiong (Sun Yat-Sen University, Institute of Logic and Cognition), translation Wu Zhou

PhD defense Harmen de Weerd and associated mini-symposium (2015)

Harmen de Weerd's dissertation: 'If You Know What I Mean. Agent-Based Models for Understanding The Function of Higher-Order Theory of Mind' (promotor: Rineke Verbrugge, copromotor: Bart Verheij)

Workshop Bielefeld, Germany (2015)

Models of Rational Proof in Criminal Law (organized by Floris Bex, Anne Ruth Mackor and Henry Prakken; with support from our NWO Forensic Science project)

Workshop University of San Diego, California (2015)

Studying Evidence in the Law - ICAIL 2015 Workshop: Formal, Computational and Philosophical Methods

Stanford CodeX FutureLaw conference 2015 (2015)

Panel New Breakthroughs in Computational Law, invited moderator

Workshop University of Groningen (2015)

Forensic Relevance of Bayesian Networks (language: Dutch)

Keynote lecture SMART Cognitive Science International Colloquium, Communication and Agency workshop (2015)

Arguments, scenarios and probabilities: how to catch a thief with and without numbers

Presentation at the Effacts LegalTech event, Amsterdam (2015)

Argumentation Technology, Or: How the Law Is Changing Artificial Intelligence

Handbook of Argumentation Theory (2014)

with a chapter on Argumentation and Artificial Intelligence

COMMA 2014 conference paper (2014)

Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points

Law, Probability and Risk journal paper (2014)

To Catch a Thief With and Without Numbers: Arguments, Scenarios and Probabilities in Evidential Reasoning

Invited speaker 8th International Workshop on Juris-informatics (JURISIN, Keio University, Tokyo) (2014)

The Future of Argumentation Technology, as guided by the needs of the law

Keynote lecture 9th International Conference on Forensic Inference and Statistics (2014)

To Catch a Thief With and Without Numbers

Artificial Intelligence and Law journal paper (2014)

Building Bayesian Networks for Legal Evidence with Narratives: a Case Study Evaluation(with Charlotte Vlek, Henry Prakken and Silja Renooij)

Stanford event (2014)

Trial With and Without Mathematics. Legal, Philosophical and Computational Perspectives. 2014 Stanford Symposium on Law and Rationality

Invited lecturing Sun Yat-Sen University (2013)

Invited graduate course "Argumentation in Artificial Intelligence, With Applications in the Law" at the Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou

BNAIC 2013 conference paper (2013)

Inference and Attack in Bayesian Networks (with Sjoerd Timmer, John-Jules Meyer, Henry Prakken and Silja Renooij)

Computational Narrative workshop (2013)

Workshop on Computational Models of Narrative (Hamburg, Germany, August 4-6, 2013), with a paper/presentation by Charlotte Vlek: Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network

ICAIL 2013 conference paper (2013)

Modeling Crime Scenarios in a Bayesian Network (with Charlotte Vlek, Henry Prakken, and Silja Renooij)

Artificial Intelligence journal paper (2013)

How Much Does it Help to Know What she Knows you Know? An Agent-Based Simulation Study (with Harmen de Weerd and Rineke Verbrugge)

Program chair (2013)

The Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013) Rome, Italy, June 10-14, 2013

AI & Law journal paper (2013)

Legal Stories and the Process of Proof (with Floris Bex)

Journal paper ICAIL@25 (2012)

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (with many coauthors; ed. Trevor Bench-Capon)

JELIA conference paper (2012)

Jumping to Conclusions. A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments

Forensic Science symposium (2012)

1st Symposium NWO Forensic Science (NFI Field Lab, The Hague, September 18, 2012)

Program chair (2012)

The Fourth International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012

Argumentation journal paper (2012)

Solving a Murder Case by Asking Critical Questions: An Approach to Fact-Finding in Terms of Argumentation and Story Schemes (with Floris Bex)