Henry Prakken

I am a lecturer in the Intelligent Systems Group of the computer science department at Utrecht University, and professor of Law and IT at the Law Faculty of the University of Groningen. I have master degrees in law (1985) and philosophy (1988) from the University of Groningen. In 1993 I obtained my PhD degree (cum laude) at the Free University Amsterdam with a thesis titled Logical Tools for Modelling Legal Argument. My main research interests concern logical and dialogical aspects of argumentation, and the application of argumentation in multi-agent systems, normative systems and other areas.

LATEST:

Website of a minicourse on Legal Argumentation
Call for Papers of CMNA 2012. Submission deadline June 3rd.
Mark Snaith at ARG@Dundee developed an ASPIC+ demonstrator.
Argumentation research has made it into the New York Times.
Recent and forthcoming papers:
- My article Some reflections on two current trends in formal argumentation in the Festschrift for Marek Sergot.
- An appreciation of John Pollock's work on the computational study of argument (with John Horty). To appear in Argument and Computation.
- My JURIX 2011 paper with Giovanni Sartor On modelling burdens and standards of proof in structured argumentation.
- My IJCAI 2011 papers with Bas van Gijzel and Sanjay Modgil.
- An overview paper on formal models of argumentation.
- My 2009 paper with Giovanni Sartor on A logical analysis of burdens of proof.
- My chapter On the nature of argument schemes in a Festschrift for Douglas Walton.
- An article An abstract framework for argumentation with structured arguments, published in Argument and Computation.
  - A correction and an update.
  - An application of this framework to legal reasoning (to appear in Artificial Intelligence and Law; typos in Figures 2, 4 and 6 corrected January 30, 2012).
- An article in Artificial Intelligence with Tom Gordon and Doug Walton on The Carneades model of argument and burden of proof.
- My article on Coherence and Flexibility in Dialogue Games for Argumentation, Journal of Logic and Computation 15 (2005): 1009-1040.