Artificial Intelligence and law
The law is an important and scientifically challenging application domain of computational argument. Much of my research in this field has been on the logical modeling of legal argumentation. Early work was my my 1997 book
(a revised and extended version of my 1993 PhD thesis). Subsequently I
developed with Giovanni
Sartor a logic for rule-based legal argumentation [Prakken & Sartor 1996]. In this logic the standards for comparing arguments are also debatable.
Other topics I have studied:
- Dialogue game models of legal procedures. See, for instance, my AI & Law Journal article on
A formal model of adjudication dialogues and an application of this model in a case study.
- Formal modelling of burdens of proof, with Giovanni Sartor, applying our argumentation logic in the context of my work on dialogue models of legal procedure. See e.g. our
ICAIL-2007 and JURIX-2011 papers.
My current work in AI and Law focuses on three main themes:
- Legal reasoning about evidence. See, for example, two articles in Law, Probability & Risk
(2004, 2014), my
2004 AI & Law Journal paper with Floris Bex, Chris Reed and Doug Walton on formalising evidential argument schemes, my
ICAIL-2005 paper on accrual of arguments, an edited volume on Legal Evidence and Proof: Statistics, Stories, Logic,
and two double PhD projects:
- Argument schemes for case-based and teleological legal reasoning. This work builds on my early work with Giovanni Sartor on formalizing
factor-based reasoning with precedents [Prakken & Sartor 1998]. My current work includes a JLC 2015 paper with Adam Wyner, Trevor Bench-Capon and Katie Atkinson on
formalising argumentation schemes for legal case-based reasoning in ASPIC+.
- AI & Law and autonomous systems. This research line concerns the problem of making autonomous systems behave in a legally and ethically responsible way. See my 2016 position paper
on the general problem and my 2017 AI & Law Journal paper on making autonomous vehicles conform to traffic law.
interest groups, resources, blogs, ...
Workshops and Conferences
- 2nd Conference on Fairness, Accountability, and Transparency (FAT* 2019).
Atlanta (USA), January 29-31, 2019.
- 17th International Conference on Artificial Intelligence and Law (ICAIL 2019).
Montreal (Canada), 17-21 June 2019.
- International Conferences on Artificial Intelligence and Law (ICAIL):
San Diego 2015
- International Conferences on Legal Knowledge and Information Systems (JURIX):
- International Conferences on Electronic Government (eGOV)
- Internationales Rechtsinformatik Symposion Salzburg/Vienna, Austria:
2015 (with links to 2003-2013).
Summer Schools on Law and Logic,
Fiesole, Forence (Italy).
LEX Summerschools on managing legal sources. Florence/Ravenna (Italy).
- International Workshops on Juris-informatics (JURISIN):
- CodeX FutureLaw Conferences:
- International Conferences on Alternative Methods of Argumentation in Law, Brno, Czech republic:
MIREL workshop on MIning and REasoning with Legal texts.
Luxemburg, 17 September 2018.
- AAAI/ACM Conference on AI, Ethics, and Scociety.
New Orleans (USA), 1-3 February 2018.
- Conference on Fairness, Accountability, and Transparency (FAT* 2018).
New York (USA), 23 and 24 February 2018.
- International Conference on Machine Ethics and Machine Law.
Krakow (Poland), 18-19 November 2016.
- Conference on Recent developments in Artificial Intelligence: Law and Justice.
Montreal (Canada), 27 October 2016.
- ECAI 2016 Workshop on AI for Justice.
The Hague (The Netherlands), 30 August 2016.
- Workshop on Legal Text, Document, and Corpus Analytics (LTDCA 2016).
San Diego (USA), 17 June 2016.
- Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet
Utrecht (The Netherlands), 18-19 April 2016.
- Zif Workshop on Models of Rational Proof in Criminal Law.
Bielefeld (Germany), 28-30 September 2015.
- 2014 Stanford Symposium on Law & Rationality: Trial With and Without Mathematics
Stanford (USA), 30 May 2014.
- 2nd International Conference on Quantitative Aspects of Justice and Fairness (QAIJF 2011)
Fiesole, Florence (Italy), 25-26 February 2011.
- Conference on Graphic and Visual
Representations of Evidence and Inference in Legal Settings (conference brochure)
New York, USA, 28-29 January 2007.
- Workshop `Dialectical Legal Argument:
Formal and Informal Models'.
Tilburg (The Netherlands), 12 December 1996.
Tom van Engers