web site
Bart Verheij
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
Department of Artificial Intelligence
ALICE research institute
Multi-agent systems research group
Tools
Time and date
Wolfram|Alpha
Google Scholar
Wikipedia
| I am a tenured lecturer/researcher (in Dutch: universitair docent) at the
University of Groningen,
Department of
Artificial Intelligence and a member of the ALICE
institute. I participate in the
Multi-agent systems research program. 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.
In my research and teaching, I focus on knowledge and agent technology, AI & law, and AI & argumentation. Specific research interests include argumentation, rules and law, with emphases on defeasible argumentation, legal reasoning and argumentation software. As research methods, I use formal analysis (in the styles of logic and analytic philosophy), software design, algorithm implementation, agent-based social simulation, controlled experiment, observation, and most important of all: thinking and exploring. My research field is interdisciplinary, and includes artificial intelligence, argumentation theory and legal theory. 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. |
| Selection Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios (with Henry Prakken, Silja Renooij and other partners) Fourth edition of the legal argumentation skills book (with Fokke Fernhout and Jaap Hage) Legal Evidence and Proof: Statistics, Stories, Logic (with Hendrik Kaptein and Henry Prakken) Argumentation Support Software: Boxes-and-Arrows and Beyond Software, IJCAI conference (2007) Computing Credulous Acceptance and Rejection in Argumentation/A Labeling Approach to the Computation of Credulous Acceptance in Argumentation Agents Adopting Agriculture: Modeling the Agricultural Transition (with Elske van der Vaart, Albert Hankel, Bart de Boer; best paper award) Arguing on the Toulmin model (with David Hitchcock; extending a 2005 special issue of the Argumentation journal) Evaluating Arguments Based on Toulmin's Scheme Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers Artificial Intelligence journal (2003) Artificial Argument Assistants for Defeasible Argumentation Artificial Intelligence and Law journal (2003) Dialectical Argumentation with Argumentation Schemes: an Approach to Legal Logic Journal of Logic and Computation (2003) DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions Automated Argument Assistance: Argue!, ArguMed 1.0 and 2.0, ArguMed based on DefLog Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat | News Call for papers, innovative applications and demonstrations (2012) COMMA 2012: Fourth International Conference on Computational Models of Argument (Vienna, Austria, September 10-12, 2012) Workshop on Computational Models of Narrative (Istanbul, Turkey, May 26-27, 2012) Solving a Murder Case by Asking Critical Questions: An Approach to Fact-Finding in Terms of Argumentation and Story Schemes (with Floris Bex) What Makes a Story Plausible? The Need for Precedents (with Floris Bex and Trevor Bench-Capon) Legal Shifts in the Process of Proof (with Floris Bex) A Hybrid Formal Theory of Arguments, Stories and Criminal Evidence (with Floris Bex, Peter van Koppen and Henry Prakken) Het Onderbouwen van een Feitelijk Oordeel in een Strafzaak (Supporting a Factual Judgment in a Criminal Case) (with Floris Bex) Using Software Agents to Investigate the Interactive Origins of Communication Systems (with Pieter de Bie, Thomas Scott-Phillips and Simon Kirby) The Toulmin Argument Model in Artificial Intelligence. Or: How Semi-Formal, Defeasible Argumentation Schemes Creep into Logic Accepting the Truth of a Story about the Facts of a Criminal Case (with Floris Bex) How Much Logical Structure is Helpful in Content-Based Argumentation Software for Legal Case Solving? (with Stijn Colen and Fokie Cnossen) About the Logical Relations between Cases and Rules |
People perform miracles on a routine basis. Apparently performing miracles is not that hard.