Artificial Intelligence and law
The law is an important and scientifically challenging application domain of argumentation. Much of my research in this field has been on the logical aspects of
reasoning with defeasible rules (statutory rules but also case rationales or rules from other sources). Read, for instance, my book
(a revised and extended version of my PhD thesis). Since legal reasoning often takes place in an
adversarial context, I have (with
Sartor) developed a logic
for dialectically constructing and comparing conflicting arguments
[Prakken & Sartor 1996]. And since lawyers
can disagree about anything, in our system even the standards for comparing arguments are
debatable. In [Prakken & Sartor 1998]
we used our system in a formalisation of
HYPO-style analogical reasoning with precedents.
My current work in AI and Law focuses on several themes.
- Formal modelling of burden of proof: e.g. my
JURIX-2006, ICAIL-2007, JURIX-2008 and JURIX-2011
papers with Giovanni Sartor and my 2007 AI journal paper with Tom Gordon and Doug Walton.
- Legal reasoning about evidence. See, for example, my three articles in Law, Probability & Risk
(2004, 2007, 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, e.g. a forthcoming JLC paper with Adam Wyner, Trevor Bench-Capon and Katie Atkinson on
formalising argumentation schemes for legal case-based reasoning in ASPIC+.
- Dialogue game models of legal
procedure. 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.
interest groups, resources, blogs, ...
Workshops and Conferences
- IEEE Joint Intelligence and Security Informatics Conference (JISIC 2014).
The Hague (The Netherlands), 24-26 september 2014.
- 8th International Workshop on Juris-Informatics (JURISIN 2014)
Kanagawa (Japan) 23-24 November 2014.
- 27th International Conferences on Legal Knowledge and Information Systems (JURIX 2014)
Cracow (Poland) 10-12 December 2014.
- 15th International Conference on Artificial Intelligence and Law (ICAIL 2015).
San Diego (USA), 8-12 June 2015.
- 9th International Conference on Forensic Inference and Statistics (ICFIS 2014).
Leiden (The Netherlands), 19-22 August 2014.
7th International Workshop on Requirements Engineering and Law (RELAW'14).
Karlskrona (Sweden), 26 August 2014. (An RE'14 Workshop.)
- 2014 Stanford Symposium on Law & Rationality: Trial With and Without Mathematics
Stanford (USA), 30 May 2014.
- 1st Amsterdam Privay Conference (APC 2012)
Amsterdam (The Netherlands), 7-10 October 2012.
- 2nd International Conference on Quantitative Aspects of Justice and Fairness (QAIJF 2011)
Fiesole, Florence (Italy), 25-26 February 2011.
Third International Workshop on Requirements Engineering and Law (RELAW10).
Sydney (Australia), 28 September 2010. (An RE-10 Workshop.)
4th Workshop on Legal Ontologies and Artificial Intelligence Techniques (LOAIT 2010).
Fiesole, near Florence (Italy), 7 July 2010.
- RuleML 2010: The 4th International Web Rule Symposium (with a track on Rules and Norms).
Washington DC (USA), October 21-23, 2010.
- RuleML 2009: The International RuleML Symposium on Rule Interchange and Applications (with a track on Rules and Norms).
Las Vegas (USA), November 5-7, 2009.
- 2009 Conference on Electronic Democracy (EDEM-2009)
Vienna (Austria) 7-9 September 2009.
- Conference on
Graphic and Visual
Representations of Evidence and Inference in Legal Settings
New York, USA, 28-29 January 2007.
AAMAS-05 Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems
Utrecht, The Netherlands, 25 or 26 July 2005.
Second International Workshop on Regulatory Ontologies
Larnaca, Cyprus, 25-29 October 2004.
Cardozo Symposium on AI and Judicial Proof
New York (USA), 30 April 2000.
- Workshop `Dialectical Legal Argument:
Formal and Informal Models'.
Tilburg (The Netherlands), 12 December 1996.
- James Popple's SHYSTER; a case-based legal expert system.
- AI & Law tools in practical use:
Tom van Engers