web site
Bart Verheij
Home
Contact information
Research
Publications (or in blog-style)
Teaching
Miscellany
---
eNotes
Navigation
University of Groningen
Department of Artificial Intelligence
ALICE research institute
Multi-agent systems research group
Tools
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.
My research interests include argumentation, rules and law, with emphasis 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). |
| Selection Argumentation Support Software: Boxes-and-Arrows and Beyond Computing credulous acceptance and rejection in argumentation Formalising argumentative story-based analysis of evidence (with Floris Bex and Henry Prakken) 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 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) Legal Evidence and Proof: Statistics, Stories, Logic (with Hendrik Kaptein and Henry Prakken) 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 Third edition of the legal skills book (with Fokke Fernhout and Jaap Hage) |
People perform miracles on a routine basis. Apparently performing miracles is not that hard.