Bart Verheij's
web site


Logo

Bart Verheij

Bart Verheij, Summer 2005, Danmark

Contents
Home
Contact information
Research
  (e.g., NWO Forensic Science)
Publications (or in blog-style)
Teaching
People
Miscellany
---
eNotes (@WordPress)
Vitae (@LinkedIn)
Author profile (@GoogleScholar)

Navigation
University of Groningen
Faculty of Mathematics and Natural Sciences
Institute of Artificial Intelligence and Cognitive Engineering (ALICE)
Multi-agent systems research group

Tools
Time and date
Wolfram|Alpha
Google Scholar
Wikipedia
I am a tenured lecturer/researcher at the University of Groningen, Institute of Artificial Intelligence and Cognitive Engineering (ALICE), Faculty of Mathematics and Natural Sciences, where I participate in the Multi-agent systems research program.

In the academic year 2013-2014, I was resident fellow at Stanford University. I participated in CodeX - the Stanford Center for Legal Informatics, a collaboration between the Stanford AI Lab and Stanford Law School, where I am now listed as affiliated faculty.

I have an MSc degree in Mathematics (University of Amsterdam) and obtained my PhD degree at Maastricht University, Faculty of Law, on a dissertation about the formal modeling of legal argumentation.

My research focuses on artificial intelligence, argumentation and law. I currently lead a research project on the connections between arguments, scenarios and probabilities in forensic reasoning with evidence, funded by the NWO Forensic Science program (2012-2016).

In 2014, I co-organized the event Trial With and Without Mathematics at Stanford University. In 2013, I was a visiting lecturer at the Institute of Logic and Cognition, Sun Yat-Sen University (Guangzhou, China). I served as program chair of the Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013, Rome) and of the Fourth International Conference on Computational Models of Argument (COMMA 2012, Vienna).

A tag cloud that gives an impression of my research topics appears on the blog-style version of my publications page (there is also a CV-style version).

A semi-formal impression of my perspective on AI & law is available in this 2005 interview (in Dutch; pdf) or this 2007 coffeehouse conversation (inspired by Douglas Hofstadter's).

Selection

Project (2012-2016)

Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios (with Henry Prakken, Silja Renooij and other partners)

Book (2011)

Fourth edition of the legal argumentation skills book (with Fokke Fernhout and Jaap Hage)

Journal paper (2010)

A Hybrid Formal Theory of Arguments, Stories and Criminal Evidence (with Floris Bex, Peter van Koppen and Henry Prakken)

Edited volume (2009)

Legal Evidence and Proof: Statistics, Stories, Logic (with Hendrik Kaptein and Henry Prakken)

ICAIL conference paper (2009)

How Much Logical Structure is Helpful in Content-Based Argumentation Software for Legal Case Solving? (with Stijn Colen and Fokie Cnossen)

Book chapter (2009)

The Toulmin Argument Model in Artificial Intelligence. Or: How Semi-Formal, Defeasible Argumentation Schemes Creep into Logic

JURIX conference paper (2008)

About the Logical Relations between Cases and Rules

Journal paper (2007)

Argumentation Support Software: Boxes-and-Arrows and Beyond

Software, IJCAI conference paper (2007)

Computing Credulous Acceptance and Rejection in Argumentation/A Labeling Approach to the Computation of Credulous Acceptance in Argumentation

SAB conference paper (2006)

Agents Adopting Agriculture: Modeling the Agricultural Transition (with Elske van der Vaart, Albert Hankel, Bart de Boer; best paper award)

Edited volume (2006)

Arguing on the Toulmin model (with David Hitchcock; extending a 2005 special issue of the Argumentation journal)

Argumentation journal paper (2005)

Evaluating Arguments Based on Toulmin's Scheme

Book (2005)

Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers

Artificial Intelligence journal paper (2003)

Artificial Argument Assistants for Defeasible Argumentation

Artificial Intelligence and Law journal paper (2003)

Dialectical Argumentation with Argumentation Schemes: an Approach to Legal Logic

Journal of Logic and Computation paper (2003)

DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions

Software (1998-2001)

Automated Argument Assistance: Argue!, ArguMed 1.0 and 2.0, ArguMed based on DefLog

Dissertation (1996)

Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat

News

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

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)


People perform miracles on a routine basis. Apparently performing miracles is not that hard.