Selected publications of Henry Prakken

Full list of publications in PDF.

My Google profile

Books
Journal articles
Book chapters
Conference and workshop papers
Other publications

• H. Prakken, S. Bistarelli, F. Santini & C. Taticchi (eds.): Computational Models of Argument. Proceedings of COMMA 2020. Amsterdam etc, IOS Press 2020.

• K. Atkinson, H. Prakken & A. Wyner (eds.) From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday. London: College Publications, 2013. [Contents] [Publisher Information]

• H. Kaptein, H. Prakken & B. Verheij (eds.) Legal Evidence and Proof: Statistics, Stories, Logic. Farnham: Ashgate Publishing, Applied Legal Philosophy Series, 2009. [Contents] [Publisher's information]

• H. Prakken, Argumentatiemanagement voor Juristen. (In Dutch.) Inaugural address Faculty of Law, University of Groningen, September 27th, 2005.

• P. McNamara & H. Prakken (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science. IOS Press, Amsterdam, 1999.
  [Contents], [Publisher's information], [Introduction].

• H. Prakken, Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. Kluwer Law and Philosophy Library, Dordrecht etc, 1997. [Ordering information]

• H. Prakken & G. Sartor (eds.), Logical Models of Legal Argumentation. Kluwer, Dordrecht etc, 1997. [Ordering information]

• H. Prakken, A. Muntjewerff & A. Soeteman (eds.), Legal Knowledge-Based Systems. The Relation with Legal Theory. (Proceedings of the Seventh International Conference on Legal Knowledge-based Systems, Amsterdam 1994). [Preface] [Access to PDFs of included papers]

• D. Odekerken, F. Bex & H. Prakken, Precedent-based reasoning with incomplete information for human-in-the-loop decision support. Artificial Intelligence and Law, online first 12 December 2024. [Publisher's link]

• W. van Woerkom, D. Grossi, H. Prakken & B. Verheij, A fortiori case-based reasoning: from theory to data. Journal of Artificial Intelligence Research 81 (2024): 401-441. [PDF]

• E. Bezou Vrakatseli, H. Prakken & Ch. P. Janssen, Experimental evaluation of gradual argument acceptability semantics: The case of reinstatement. Argument and Computation Pre-press, pp. 1-25, 2024. DOI: 10.3233/AAC-230016. [Journal's online version]

• H. Prakken, An abstract and structured account of dialectical argument strength. Artificial Intelligence 335:104193, 2024. [PDF], [online journal version].

2023:

• H. Prakken, When is argumentation deductive? Journal of Applied Non-Classical Logics 33 (2023): 212-223. Contribution to a special issue in honour of Philippe Besnard. [Journal's online version]

2022:

• G. Sartor, M. Araszkiewicz, K.D. Atkinson, F.J. Bex, T. van Engers, E. Francesconi, H. Prakken, Giovanni Sileno, F. Schilder, A.Z. Wyner and T.J.M. Bench-Capon, Thirty years of Artificial Intelligence and Law: the second decade Artificial Intelligence and Law 30 (2022): 521-557. [accepted author version] [Journal's online version]

• H. Prakken & R. Ratsma, A top-level model of case-based argumentation for explanation: formalisation and experiments. Argument and Computation 13 (2022): 159-194 (online first 2021). [PDF] [Journal's online version]

• R. Wieten, F.J. Bex, H. Prakken & S. Renooij, Deductive and abductive argumentation based on information graphs. Argument and Computation 13 (2022): 49-91. [PDF] [Journal's online version]

2021:

• R. Wieten, F.J. Bex, H. Prakken & S. Renooij, Information Graphs and Their Use for Bayesian Network Graph Construction. International Journal of Approximate Reasoning 136 (2021): 249-280. [accepted author version], [journal's online version]

• H. Prakken, A formal analysis of some factor- and precedent-based accounts of precedential constraint. Artificial Intelligence and Law 29 (2021): 559-585. [Author PDF], [Publisher's link]

2020:

• K.D. Atkinson, T.J.M. Bench-Capon, F.J. Bex, T.F. Gordon, H. Prakken, G. Sartor & B. Verheij, In Memoriam Doug Walton: The influence of Doug Walton on AI and Law. Artificial Intelligence and Law 28 (2020): 281-326. [PDF]

• A.J. Garcia, H. Prakken & G.R. Simari, A comparative study of some central notions of ASPIC+ and DeLP. Theory and Practice of Logic Programming 20 (2020): 358-390. [arXiv accepted author version] [Journal's online version]

• F.J. Bex and H. Prakken, De Juridische Voorspelindustrie: onzinnige hype of nuttige ontwikkeling? Ars Aequi 69 (2020), 255-259. (In Dutch. English title: 'The legal prediction industry: meaningsless hype or useful development?'.) [PDF] [English translation]

• H. Prakken, A new use case for argumentation support tools: supporting discussions of Bayesian analyses of complex criminal cases. Artificial Intelligence and Law 28 (2020): 27-49. First online 09 October 2018. doi.org/10.1007/s10506-018-9235-z. [PDF]

• Z. Akata D. Balliet, M. de Rijke, F. Dignum, V. Dignum, G. Eiben, A. Fokkens, D. Grossi, K. Hindriks, H. Hoos, H. Hung, C. Jonker, Ch. Monz, M. Neerincx, F. Oliehoek, H. Prakken, S. Schlobach, L. van der Gaag, F. van Harmelen, H. van Hoof, B. van Riemsdijk, A. van Wynsberghe, R. Verbrugge, B. Verheij, P. Vossen & M. Welling, A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. IEEE Computer 28 (2020): 281-326. [Journal's open access version]. Awarded the Best Paper Award of the IEEE Computer Society Publications Board.

• H. Prakken, F.J. Bex & A.R. Mackor, Editors' Review and Introduction: Models of Rational Proof in Criminal Law'. Topics in Cognitive Science 12:4 (2020), 1053-1067. [PDF]

• H. Prakken, An argumentation-based analysis of the Simonshaven case. Topics in Cognitive Science 12:4 (2020), 1068-1091. (Special issue on Models of Rational Proof in Criminal Law). First online 14 March 2019. [Online View]

2018:

• H. Prakken, Kansoordelen door deskundigen: over 'logisch' rapporteren en wat daarbij mis kan gaan. Ars Aequi 67 (2018), 740-747. (In Dutch. English title: 'Probabilistic assessments by experts: about 'logical' reporting and what can go wrong with it'.) [PDF]

• S.J. Modgil & H. Prakken, Corrigendum for: A general account of argumentation with preferences [Artif. Intell. 195 (2013) 361-397]. Artificial Intelligence 263 (2018): 107-110. [PDF], A note on the corrections, corrected version of the 2013 paper.

• H. Prakken & R. Meester, Reactie op Alkemades weerwoord. Expertise en Recht 2018-1, 41-43 (In Dutch. English title: 'Response to Alkemades reply.) [PDF]

• H. Prakken, Komt de Robotrechter er aan? Nederlands Juristenblad 2018/207, no. 4, pp. 269-274. (In Dutch. English title: 'Is the robot judge near?) [PDF] [English translation]

2017:

• H. Prakken & R. Meester, Bayesiaanse analyses van complexe strafzaken door deskundigen. Betrouwbaar en zo ja: nuttig? Expertise en Recht 2017-5, 185-197 (in Dutch). English title: 'Bayesian analyses of complex criminal cases: reliable and if so, useful?') [PDF] (version 20 oktober 2017)

• K. Atkinson, P. Baroni, M. Giacomin, A. Hunter, H. Prakken, C. Reed, G. Simari, M. Thimm, and S Villata, Towards artificial argumentation. AI Magazine 38-3 (2017): 25-36. [PDF] [Link to journal issue]

• H. Prakken, On the problem of making autonomous vehicles conform to traffic law. Artificial Intelligence and Law 25 (2017): 341-363. [PDF]

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, A two-phase method for extracting explanatory arguments from Bayesian networks. International Journal of Approximate Reasoning 80 (2017): 475-494. [PDF]

2016:

• Bin Wei & H. Prakken, An analysis of critical-link semantics with variable degrees of justification. Argument and Computation 7 (2016): 35-53. [Open access version]

• D. Grooters & H. Prakken, Two aspects of relevance in structured argumentation: minimality and paraconsistency. Journal of Artificial Intelligence Research 56 (2016): 197-245. [PDF]

• Ch. Vlek, H. Prakken, S. Renooij and B. Verheij, A method for explaining Bayesian networks for legal evidence with scenarios. Artificial Intelligence and Law 24 (2016): 285-324. [PDF] [Springer's free online version]

• H. Prakken, Een reactie op H.W.J. de Groot: `Moord op de A73'. Expertise en Recht 2016-2, 63-70. (In Dutch. English title: Comments on H.W.J. de Groot: `Murder on the A73'.) [PDF]

• B. Verheij, F. Bex, S. Timmer, Ch. Vlek, J.-J.Ch. Meyer,S. Renooij & H. Prakken, Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning. Law, Probability and Risk 15 (2016): 35-70. doi: 10.1093/lpr/mgv013. [PDF] The Journal's online version.

2015:

• H. Prakken, A.Z. Wyner, T.J.M. Bench-Capon & K. Atkinson, A formalisation of argumentation schemes for legal case-based reasoning in ASPIC+. Journal of Logic and Computation 25 (2015): 1141-1166. First published online: May 9, 2013. [PDF]

• H. Prakken & G. Sartor, Law and logic: a review from an argumentation perspective. Artificial Intelligence 227 (2015): 214-245. Published AI Journal version. Corrected version A note on corrections.
(Ninth-most downloaded AIJ paper in 2020).

2014:

• Ch. Vlek, H. Prakken, S. Renooij and B. Verheij, Building Bayesian networks for legal evidence with narratives: a case study evaluation. Artificial Intelligence and Law 22 (2014): 375-421. [PDF]

• H. Prakken, On direct and indirect probabilistic reasoning in legal proof. Law, Probability & Risk 13 (2014): 327-337. [PDF]

• H. Prakken, Strafrechtelijk bewijzen: met Bayes of met verhalen? Of is er een derde weg?. Expertise en Recht 2014-1, 4-19. (In Dutch. English title: Criminal legal proof: with Bayes or with stories? Or is there a third way?) [PDF]

• S.J. Modgil & H. Prakken, The ASPIC+ framework for structured argumentation: a tutorial. Argument and Computation 5 (2014): 31-62. [PDF].

2013:

• S.J. Modgil & H. Prakken, A general account of argumentation with preferences. Artificial Intelligence 195 (2013): 361-397. [PDF of original version]. (Version at AI Journal homepage). [PDF of corrected version 1 March 2018]. A note on corrections.

• F.J. Bex & S.J. Modgil & H. Prakken & C. Reed, On logical specifications of the Argument Interchange Format. Journal of Logic and Computation 23 (2013), 951-989. [PDF]

2012:

• T. Bench-Capon, M. Araszkiewicz, K. Ashley, K. Atkinson, F. Bex, F. Borges, D. Bourcier, D. Bourgine, J.G. Conrad, E. Francesconi, T.F. Gordon, G. Governatori, J.L. Leidner, D.D. Lewis, R.P. Loui, L.T. McCarty, H. Prakken, F. Schilder, E. Schweighofer, P. Thompson, A. Tyrrell, B. Verheij, D.N. Walton \& A.Z. Wyner, A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artificial Intelligence and Law 20(3): 215-319, 2012. [PDF]

• H. Prakken, Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics. Artificial Intelligence and Law 20(1): 57-82, 2012. [PDF] (typos in Figures 2, 4 and 6 corrected January 30, 2012).

• B. van Gijzel & H. Prakken, Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation. Argument and Computation 3(1): 21-47, 2012. [PDF]

• H. Prakken & J. Horty, An appreciation of John Pollock's work on the computational study of argument. Argument and Computation 3(1): 1-19, 2012. [PDF] (figure 1 corrected on 10 May 2016).

2011:

• H. Prakken, Argumentation without arguments. Argumentation 25 (2011): 171-184. [PDF]

• H. Prakken, An overview of formal models of argumentation and their application in philosophy. Studies in logic Vol 4, no 1 (2011): 65-86. [PDF]

2010:

• T.J.M. Bench-Capon & H. Prakken, Using argument Schemes for hypothetical reasoning in law. Artificial Intelligence and Law 18 (2010), 153-174. [PDF]

• F.J. Bex, P.J. van Koppen, H. Prakken & B. Verheij, A hybrid formal theory of arguments, stories and criminal evidence. Artificial Intelligence and Law 18 (2010), 123-152. [PDF]

• H. Prakken, An abstract framework for argumentation with structured arguments. Argument and Computation 1 (2010): 93-124. [PDF]. A correction.

2009:

• J. Dix, S. Parsons, H. Prakken & G. Simari, Research Challenges for Argumentation. Computer Science - Research and Development 23 (2009): 27-34. [PDF of Dagstuhl Seminar Proceedings version]

2008:

• H. Prakken, Formalising ordinary legal disputes: a case study. Artificial Intelligence and Law 16 (2008): 333-359. [PDF] [additional material]

• H. Prakken, A Formal Model of Adjudication Dialogues. Artificial Intelligence and Law 16 (2008): 305-328. [PDF]

• T.J.M. Bench-Capon & H. Prakken, Introducing the Logic and Law Corner. Journal of Logic and Computation 18 (2008): 1-12. [PDF]

2007:

• T.F. Gordon, H. Prakken & D.N. Walton, The Carneades model of argument and burden of proof. Artificial Intelligence 171 (2007): 875-896. [PDF]

• F.J. Bex, S.W. van den Braak, H. van Oostendorp, H. Prakken, H.B. Verheij & G.A.W. Vreeswijk, Sense-making software for crime investigation: how to combine stories and arguments? Law, Probability & Risk 6 (2007): 145-168. [PDF]

2006:

• H. Prakken, Formal systems for persuasion dialogue. The Knowledge Engineering Review 21 (2006): 163-188. [PDF]

2005:

• H. Prakken, Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation 15 (2005): 1009-1040. [PDF]

• P. Dijkstra, F.J. Bex, H. Prakken & C.N.J. De Vey Mestdagh, Towards a multi-agent system for regulated information exchange in crime investigations. Artificial Intelligence and Law 13 (2005): 133-151. [PDF]

• H. Prakken, AI & Law, logic and argument schemes. Argumentation 19 (2005): 303-320. (special issue on The Toulmin model today) [PDF]

2004:

• H. Prakken, Analysing reasoning about evidence with formal models of argumentation. Law, Probability & Risk 3:1 (2004), 33-50. [PDF]

• H. Prakken & G. Sartor, The three faces of defeasibility in the law. Ratio Juris 17:1 (2004), 118-139. [PDF]

2003:

• F.J. Bex, H. Prakken, C. Reed & D.N. Walton, Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artificial Intelligence and Law 11 (2003), 125-165. [PDF]

2002:

• H. Prakken, An exercise in formalising teleological case-based reasoning. In Artificial Intelligence and Law 10: 113-133 (2002). [PDF]

2001:

• H. Prakken, Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48, 253-271 (2001). [PDF]

• H. Prakken, Relating Protocols for Dynamic Dispute with Logics for Defeasible Argumentation. Synthese 127, 187-219 (2001). special issue on New Perspectives in Dialogical Logic, eds. S. Rahman & H. Rückert. [PDF]

1998:

• H. Prakken & G. Sartor, Modelling Reasoning with Precedents in a Formal Dialogue Game. Artificial Intelligence and Law 6: 231-287 (1998). [PDF]

1997:

• H. Prakken & G. Sartor, Argument-based logic programming with defeasible priorities. Journal of Applied Non-classical Logics 7: 25-75 (1997), special issue on `Handling inconsistency in knowledge systems'. [PDF]

1996:

• H. Prakken & G. Sartor, A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law 4 (1996) 331-368. [PDF]

• H. Prakken, Two approaches to the formalisation of defeasible deontic reasoning. Studia Logica 57 (1996) 73-90. [PDF]

• H. Prakken & M.J. Sergot, Contrary-to-duty obligations. Studia Logica 57 (1996) 91-115. [PDF]

1993:

• H. Prakken, An argumentation framework in default logic. Annals of Mathematics and Artificial Intelligence, 9 (1993) 91-132. PDF

• H. Prakken, Recognising and avoiding fallacies in interpreting statistical evidence. To appear in S. Brewer, J. Maranhao & G. Sartor (eds), Logic and Law. Edward Elgar Publishing. [PDF]

2021:

• H. Prakken, Logical models of legal argumentation. In M. Knauff & W. Spohn (eds.): The Handbook of Rationality, pp. 669-677. Cambridge, MA: MIT Press 2021. [PDF]

2020:

H. Prakken, Rechters en raadsheren over Bayes. In R. Horselenberg, V. van Koppen & J. de Keijser (eds.) Bakens in de Rechtspsychologie. Liber Amoricum voor Peter van Koppen, pp. 287-300. Den Haag: Boom Criminologie 2020. (In Dutch. English title: Courts about Bayes.) [PDF]

2018:

• H. Prakken, Modelling support relations between arguments in debates. In C.I. Chesnevar et al. (eds.): Argumentation-based Proofs of Endearment. Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday, pp. 349-365. London: College Publications 2018. [PDF]

• H. Prakken, Argument. In S.O. Hanson & V.F. Hendricks (eds.): Introduction to Formal Philosophy, pp. 63-79. Springer Undergraduate Texts in Philosophy, Springer International Publishing AG, 2018. [PDF]

• S. Modgil and H. Prakken, Abstract rule-based argumentation. In P. Baroni, D. Gabbay, M. Giacomin & L. van der Torre (eds.): Handbook of Formal Argumentation, Vol. 1, pp. 286-361. London: College Publications, 2018. [PDF] (version July 4th, 2017)

• H. Prakken, Historical overview of formal argumentation. In P. Baroni, D. Gabbay, M. Giacomin & L. van der Torre (eds.): Handbook of Formal Argumentation, Vol. 1, pp. 73-141. London: College Publications, 2018. [PDF] (version August 15th, 2017)

2017:

• Bin Wei & H. Prakken, Defining the structure of arguments with AI models of argumentation. In F. Bex, F. Grasso, N. Green, F. Paglieri & Chris Reed (eds.) Argument Technologies: Theory, Analysis, and Applications, pp. 1-22. College Publications London. [PDF]

• H. Prakken, Logics of argumentation and the law. In H.P. Glenn & L.D. Smith (eds): Law and the New Logics. Cambridge University Press 2017, pp. 3-31. [PDF]

2015:

• H. Prakken, Formalising debates about law-making proposals as practical reasoning. In M. Araszkiewicz & K. Pleszka (eds.): Logic in the Theory and Practice of Lawmaking. Legisprudence Library Series, Springer 2015, 301-321. [PDF]

• H. Prakken, Legal reasoning: computational models. In J.D. Wright (ed.) International Encyclopedia of the Social and Behavioural Sciences, 2nd edition. Elsevier Ltd, Oxford, 2015, pp. 784-791. [PDF]

2013:

• H. Prakken, Relating ways to instantiate abstract argumentation frameworks. In K. Atkinson, H. Prakken & A. Wyner (eds.) From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday, pp. 167-189. College Publications, Londen, 2013. [PDF]

• K. Atkinson, H. Prakken & A. Wyner, Overview of Trevor Bench-Capon's research. In K. Atkinson, H. Prakken & A. Wyner (eds.) From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday, pp. 1-9. College Publications, Londen, 2013. [PDF]

2012:

• H. Prakken, Some reflections on two current trends in formal argumentation. In A. Artikis, R. Craven, N.K. Cicekli, B. Sadighi & K. Stathis (eds.) Logic Programs, Norms and Action. Essays in Honour of Marek J. Sergot on the Occasion of his 60th Birthday, pp. 249--272. Berlin/Heidelberg: Springer, 2012. [PDF]
  • A correction.

2010:

• H. Prakken, On the nature of argument schemes. In C.A. Reed & C. Tindale (eds.) Dialectics, Dialogue and Argumentation. An Examination of Douglas Walton's Theories of Reasoning and Argument, pp. 167-185. London: College Publications, 2010. [PDF]

2009:

• H. Prakken, Niet-monotone logica: heuristiek of legitimatie?. In O. Tans, W. Veraert, B. Wolthuis & J. Zwart (eds.): De grenzen van het goede leven. Rechtsgeleerde opstellen aangeboden aan prof. mr. A. Soeteman, pp. 171-180. Nijmegen: Ars Aequi Libri 2009. (In Dutch) [PDF].

• H. Prakken & G. Sartor, A logical analysis of burdens of proof. In H. Kaptein, H. Prakken & B. Verheij (eds.) Legal Evidence and Proof: Statistics, Stories, Logic, pp. 223-253. Farnham: Ashgate Publishing, Applied Legal Philosophy Series, 2009. [PDF]

• H. Prakken, Models of persuasion dialogue. In I. Rahwan & G. Simari (eds.) Argumentation in Artificial Intelligence and Law, pp. 281-300. Berlin: Springer, 2009. [PDF]

• T.J.M. Bench-Capon & H. Prakken & G. Sartor, Argumentation in legal reasoning. In I. Rahwan & G. Simari (eds.) Argumentation in Artificial Intelligence and Law, pp. 363-382. Berlin: Springer, 2009. [PDF]

2007:

• H. Prakken, De logica van bewijslastverdeling (en wat het recht daar aan heeft). In E.T. Feteris, H. Kloosterhuis, H.J. Plug en J.A. Pontier (red.): Alles Afwegende .... Bijdragen aan het Vijfde Symposium Juridische Argumentatie, Rotterdam 22 Juni 2007. Nijmegen: Ars Aequi Libri, 2007, pp. 321-326. [PDF]

2006:

• T.J.M. Bench-Capon & H. Prakken, Argumentation. In A.R. Lodder & A. Oskamp (eds.): Information Technology & Lawyers: Advanced technology in the legal domain, from challenges to daily routine. Berlin: Springer Verlag, 2006, 61-80. [PDF]

2004:

• T.J.M. Bench-Capon, J.B. Freeman, H. Hohmann and H. Prakken, Computational models, argumentation theories and legal practice. In C. Reed and T.J. Norman (eds.): Argumentation Machines. New Frontiers in Argument and Computation. Kluwer Argumentation Library, Kluwer Academic Publishers, Boston/Dordrecht/London 2004, 85-120. [PDF]

2002:

• H. Prakken & G. Vreeswijk, Logics for defeasible argumentation. In D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, second edition, Vol 4, pp. 219-318. Kluwer Academic Publishers, Dordrecht etc., 2002.
  [Contents] [PDF]

2001:

• H. Prakken & G. Sartor, The role of logic in computational models of legal argument: a critical survey. In A. Kakas and F. Sadri (eds.), Computational Logic: Logic Programming and Beyond. Essays In Honour of Robert A. Kowalski, Part II. Springer Lecture Notes in Computer Science 2048, Berlin 2002, 342-380. [PDF]

1999:

• P. McNamara & H. Prakken, Introduction to P. McNamara & H. Prakken (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science. IOS Press, Amsterdam, 1999, pp. 1-14. [PDF]

• H. Prakken & M.J. Sergot, Dyadic deontic logic and contrary-to-duty obligations. In D.N. Nute (ed.), Defeasible Deontic Logic., 223-262. Synthese Library, Kluwer, 1997. [PDF]

• J. Nouwens, A.M. Borg & H. Prakken, An application of case-based reasoning to decision-making in Dutch administrative law. In J. Savelka, J. Harasta, T. Novotna & J. Misek (eds.), Legal Knowledge and Information Systems. JURIX 2024: The Thirty-Seventh Annual Conference, pp. 131-141. Amsterdam, Washington DC, IOS Press (2024). [PDF].

• W. van Woerkom, D. Grossi, H. Prakken & B. Verheij, A Case-based-reasoning analysis of the COMPAS dataset. In J. Savelka, J. Harasta, T. Novotna & J. Misek (eds.), Legal Knowledge and Information Systems. JURIX 2024: The Thirty-Seventh Annual Conference, pp. 180-190. Amsterdam etc, IOS Press (2024). (Honourable Mention Best Student Paper Award.) [PDF].

• H. Prakken, On evaluating legal-reasoning capabilities of generative AI. In Proceedings of the 24th Workshop on Computational Models of Natural Argument, 100-112. CEUR-WS Vol. 3769. [PDF].

• J. Peters, F.J. Bex & H. Prakken, Arguments based on domain rules in prediction justifications. In Proceedings of the 24th Workshop on Computational Models of Natural Argument, 90-99. CEUR-WS Vol. 3769. [PDF].

• T. van den Belt & H. Prakken, Measuring the complexity of Dutch legislation (extended version). In M. Palmirani et al. (eds.), AI Approaches to the Complexity of Legal Systems. Springer Lecture Notes in Computer science, to appear. [PDF].

2023:

• D. Odekerken, F.J. Bex & H. Prakken, Precedent-based reasoning with incomplete cases. In G. Sileno, J. Spanakis & G. van Dijck (eds.), Legal Knowledge and Information Systems. JURIX 2023: The Thirty-Sixth Annual Conference, 33-42. Amsterdam etc, IOS Press (2023). [PDF].

• W. van Woerkom, D. Grossi, H. Prakken & B. Verheij, Hierarchical a fortiori reasoning with dimensions. In G. Sileno, J. Spanakis & G. van Dijck (eds.), Legal Knowledge and Information Systems. JURIX 2023: The Thirty-Sixth Annual Conference, 43-52. Amsterdam etc, IOS Press (2023). [PDF].

• H. Prakken, Relating abstract and structured accounts of argumentation dynamics: the case of expansions. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 562-571. [PDF]

• M. Robeer, F.J. Bex, A. Feelders & H. Prakken, Explaining model behavior with global causal analysis. In: Longo, L. (ed.) Explainable Artificial Intelligence. xAI 2023. Communications in Computer and Information Science, vol 1901, pp. 299-323. Springer, Cham. [PDF]

• H. Prakken & G. Sartor, A formal framework for combining legal reasoning methods. Proceedings of the 19th International Conference on Artificial Intelligence and Law, Braga (Portugal) 2023. New York: ACM Press 2023, 227-236. [PDF]

• D. Odekerken, F.J. Bex & H. Prakken, Justification, stability and relevance for case-based reasoning with incomplete focus cases. Proceedings of the 19th International Conference on Artificial Intelligence and Law, Braga (Portugal) 2023. New York: ACM Press 2023, 177-186. Winner of the Donald Berman Best Student Paper Award. [PDF]

• J. Peters, F.J. Bex & H. Prakken, Model- and data-agnostic justifications with a fortiori case-based argumentation. Proceedings of the 19th International Conference on Artificial Intelligence and Law, Braga (Portugal) 2023. New York: ACM Press 2023, 207-216. [PDF]

• W. van Woerkom, D. Grossi, H. Prakken & B. Verheij, Hierarchical precedential constraint. Proceedings of the 19th International Conference on Artificial Intelligence and Law, Braga (Portugal) 2023. New York: ACM Press 2023, 333-342. [PDF]

2022:

• H. Prakken, Formalising an aspect of argument strength: degrees of attackability. In F. Toni et al. (eds.): Computational Models of Argument. Proceedings of COMMA 2022. Amsterdam etc, IOS Press 2022, 296-307. [PDF] (typos in Lemma 7 and Proposition 8 corrected on March 7, 2023).

• G. Pisano, R. Calegari, H. Prakken & G. Sartor, arguing about the existence of conflicts. In F. Toni et al. (eds.): Computational Models of Argument. Proceedings of COMMA 2022. Amsterdam etc, IOS Press 2022, 284-295. [PDF]

• J. Peters, H. Prakken & F. Bex, Justifications derived from inconsistent case bases using authoritativeness. In Proceedings of the First International Workshop on Argumentation for eXplainable AI (ArgXAI) CEUR-WS, Vol. 3209. [PDF].

• W. van Woerkom, D. Grossi, H. Prakken & B. Verheij, Justification in case-based reasoning. In Proceedings of the First International Workshop on Argumentation for eXplainable AI (ArgXAI). CEUR-WS, Vol. 3209. [PDF].

• W. van Woerkom, D. Grossi, H. Prakken & B. Verheij, Landmarks in case-based reasoning: from theory to data. In M. Perez-Ortiz & M. Tielman (eds.), HHAI2022: Augmenting Human Intellect. Proceedings of the First International Conference on Hybrid Human-Machine Intelligence. Amsterdam etc, IOS Press (2022), 212-224. [PDF].

• T. van den Belt & H. Prakken, Measuring the complexity of Dutch legislation. In E. Francesconi, G. Borges & C. Sorge (eds.), Legal Knowledge and Information Systems. JURIX 2022: The Thirty-Fifth Annual Conference. Amsterdam etc, IOS Press (2022), 243-248. [PDF].

2021:

• F.J. Bex & H. Prakken, Can predictive justice improve the predictability and consistency of judicial decision-making? In E. Schweighofer (ed.), Legal Knowledge and Information Systems. JURIX 2021: The Thirty-Fourth Annual Conference. Amsterdam etc, IOS Press (2021), 207-214. [PDF] [Publisher's version].

• E. Bezou Vrakatseli, H. Prakken & Ch. P. Janssen, New experiments on reinstatement and gradual acceptability of arguments. Proceedings of the 19th International Workshop on Nonmonotonic Reasoning, Hanoi (Vietnam), 2021. [PDF]

• H. Prakken, Philosophical reflections on argument strength and gradual acceptability. In J. Vejnarova & N. Wilson (eds.): Proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer Lecture Notes in AI 12897, Springer Verlag, Berlin, 2021, 144-158. [PDF].

• F.J. Bex & H. Prakken, On the relevance of algorithmic decision predictors for judicial decision making. Proceedings of the 18th International Conference on Artificial Intelligence and Law, Sao Paolo (Brazil) 2021. New York: ACM Press 2021, 175-179. [PDF]

2020:

• H. Prakken, A top-level model of case-based argumentation for explanation. In Proceedings of the ECAI 2020 Workshop on Dialogue, Explanation and Argumentation for Human-Agent Interaction (DEXA HAI 2020) (typos in examples corrected on Oct 8, 2020). [PDF]

• R. Wieten, F.J. Bex, H. Prakken & S. Renooij, Deductive and abductive reasoning with causal and evidential information. In H. Prakken, S. Bistarelli, F. Santini & C. Taticchi (eds.): Computational Models of Argument. Proceedings of COMMA 2020. Amsterdam etc, IOS Press 2020, 383-394. [PDF].

• H. Prakken, On validating theories of abstract argumentation frameworks: the case of bipolar argumentation frameworks. In Proceedings of the 20th Workshop on Computational Models of Natural Argument,
  Perugia (Italy), 7 September 2020, 21-30. [PDF].

2019:

• H. Prakken, Comparing alternative factor- and precedent-based accounts of precedential constraint. In M. Araszkiewicz & V. Rodriguez-Doncel (eds.), Legal Knowledge and Information Systems. JURIX 2019: The Thirty-Second Annual Conference. Amsterdam etc, IOS Press (2019), 73-82. [PDF]

• R. Wieten, F.J. Bex, H. Prakken & S. Renooij, Constructing Bayesian network graphs from labelled arguments. In G. Kern-Isberner and Z. Ognjanovic (Eds.:) Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Springer LNAI 11726, pp. 99-110, 2019. [PDF].

• H. Prakken, Modelling accrual of arguments in ASPIC+. Proceedings of the 17th International Conference on Artificial Intelligence and Law, Montreal (Canada) 2019. New York: ACM Press 2019, 103-112. [PDF]

• R. Wieten, F.J. Bex, H. Prakken & S. Renooij, Supporting discussions about forensic Bayesian networks using argumentation. Proceedings of the 17th International Conference on Artificial Intelligence and Law, Montreal (Canada) 2019. New York: ACM Press 2019, 143-152. [PDF]

2018:

• R. Wieten, F.J. Bex, H. Prakken & S. Renooij, Exploiting causality in constructing Bayesian network graphs from legal arguments. In M.Palmirani (ed.), Legal Knowledge and Information Systems. JURIX 2018: The Thirty-First Annual Conference. Amsterdam etc, IOS Press (2018), 151-160. [PDF]

• H. Prakken, Probabilistic strength of arguments with structure. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 158-167. [PDF]

• H. Prakken and M. de Winter, Abstraction in argumentation: necessary but dangerous. In S. Modgil et al. (eds.): Computational Models of Argument. Proceedings of COMMA 2018. Amsterdam etc, IOS Press 2018, 85-96. [PDF]

2017:

• H. Prakken, Argument schemes for discussing Bayesian modellings of complex criminal cases. In A.Z. Wyner and G. Casini (eds.), Legal Knowledge and Information Systems. JURIX 2017: The Thirtieth Annual Conference. Amsterdam etc, IOS Press (2017), 69-78. [PDF]

• H. Prakken, On relating abstract and structured probabilistic argumentation: a case study. Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer Lecture Notes in AI 10369, Springer Verlag, Berlin, 2017, 69--79. [PDF conference proceedings version], [PDF corrected version]. A note on the corrections.

• H. Prakken, On making autonomous vehicles respect traffic law: a case study for Dutch law. Proceedings of the 16th International Conference on Artificial Intelligence and Law, London (UK) 2017. New York: ACM Press 2017, 241-244. [PDF]

2016:

• H. Prakken, Rethinking the rationality postulates for argumentation-based inference. In P. Baroni (ed.): Computational Models of Argument. Proceedings of COMMA 2016. Amsterdam etc, IOS Press 2016, 419-430. [PDF] [Slides]

• H. Prakken, On how AI & Law can help autonomous systems obey the law: a position paper. In Proceedings of the ECAI 2016 Workshop on Artificial Intelligence for Justice. [PDF]

2015:

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, Explaining legal Bayesian networks using support graphs. In A. Rotolo (ed.), Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference. Amsterdam etc, IOS Press (2015), 121-130. [PDF]

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, Capturing critical questions in Bayesian network fragments. In A. Rotolo (ed.), Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference. Amsterdam etc, IOS Press (2015), 173-176. [PDF]

• C. Vlek, H. Prakken, S. Renooij & B. Verheij, Representing the quality of crime scenarios in a Bayesian network. In A. Rotolo (ed.), Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference. Amsterdam etc, IOS Press (2015), 131-140. [PDF]

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, Explaining Bayesian networks using argumentation. Proceedings of the Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer Lecture Notes in AI 9161, Springer Verlag, Berlin, 2015, 83--92. Winner of the Donald Berman Best Student Paper Award. [PDF]

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, A structure-guided approach to capturing Bayesian reasoning about legal evidence in argumentation. Proceedings of the 15th International Conference on Artificial Intelligence and Law, San Diego (USA) 2015. New York: ACM Press 2015, 109-118. [PDF]

• C. Vlek, H. Prakken, S. Renooij & B. Verheij, Constructing and understanding Bayesian networks for legal evidence with scenario schemes. Proceedings of the 15th International Conference on Artificial Intelligence and Law, San Diego (USA) 2015. New York: ACM Press 2015, 128-137. [PDF]

2014:

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, Extracting Legal Arguments from Forensic Bayesian Networks. In R. Hoekstra (ed.), Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh Annual Conference. Amsterdam etc, IOS Press (2014), 71-80. [PDF]

• Ch. Vlek, H. Prakken, S. Renooij and B. Verheij, Extracting scenarios from a Bayesian network as explanations for legal evidence. In R. Hoekstra (ed.), Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh Annual Conference. Amsterdam etc, IOS Press (2014), 103-112. [PDF]

• D. Grooters & H. Prakken, Combining paraconsistent logic with argumentation. In S. Parsons, N. Oren, C. Reed & F. Cerutti (eds.): Computational Models of Argument. Proceedings of COMMA 2014. Amsterdam etc, IOS Press 2014, 301-312. [PDF]

• H. Prakken, On support relations in abstract argumentation as abstractions of inferential relations. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), 735-740. [PDF]

2013:

• Ch. Vlek, H. Prakken, S. Renooij and B. Verheij, Unfolding crime scenarios with variations: a method for building a Bayesian network for legal narratives. In K.D. Ashley (ed.), Legal Knowledge and Information Systems. JURIX 2013: The Twenty-sixth Annual Conference. Amsterdam etc, IOS Press (2013), 145-154. [PDF]

• H. Prakken, G. Sartor, Formalising arguments about norms. In K.D. Ashley (ed.), Legal Knowledge and Information Systems. JURIX 2013: The Twenty-sixth Annual Conference. Amsterdam etc, IOS Press (2013), 121-130. [PDF]

• K. Atkinson, T.J. Bench-Capon, H. Prakken and A.Z. Wyner, Argumentation schemes for reasoning about factors with dimensions. In K.D. Ashley (ed.), Legal Knowledge and Information Systems. JURIX 2013: The Twenty-sixth Annual Conference. Amsterdam etc, IOS Press (2013), 39-48. [PDF]

• S. Timmer, J.-J.Ch. Meyer, H. Prakken, S. Renooij and B. Verheij, Inference and Attack in Bayesian networks. In Proceedings of the 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), 199-206. [PDF]

• H. Prakken, D. Ionita & R. Wieringa, Risk assessment as an argumentation game. Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV). Springer Lecture Notes in AI 8143, Springer Verlag, Berlin, 2013, 357-373. [PDF]

• H. Prakken, On direct and indirect probabilistic reasoning in legal proof. Proceedings of the ICAIL-2013 Workshop on Formal Aspects of Evidential Inference, Rome (Italy) 2013. [PDF]

• T.J.M. Bench-Capon, H. Prakken, A.Z. Wyner & K. Atkinson, Argument schemes for reasoning with legal cases using values. Proceedings of the 14th International Conference on Artificial Intelligence and Law, Rome (Italy) 2013. New York: ACM Press 2013, 13-22. [PDF]

• C. Vlek, H. Prakken, S. Renooij & B. Verheij, Modeling crime scenarios in a Bayesian network. Proceedings of the 14th International Conference on Artificial Intelligence and Law, Rome (Italy) 2013. New York: ACM Press 2013, 150-159. [PDF]

2012:

• H. Prakken, Formalising a legal opinion on a legislative proposal in the ASPIC+ framework. In B. Schafer (ed.), Legal Knowledge and Information Systems. JURIX 2012: The Twenty-fifth Annual Conference, 119-128. Amsterdam etc, IOS Press (2012). [PDF]

• S. Modgil & H. Prakken, Resolutions in structured argumentation. In B. Verheij, S. Szeider & S. Woltran (eds.): Computational Models of Argument. Proceedings of COMMA 2012. Amsterdam etc, IOS Press 2012, 310-321. [PDF]

• H. Prakken & S. Modgil, Clarifying some misconceptions on the ASPIC+ framework. In B. Verheij, S. Szeider & S. Woltran (eds.): Computational Models of Argument. Proceedings of COMMA 2012. Amsterdam etc, IOS Press 2012, 442-453. [PDF] [Bibliographical note]

• E. Kok, J.-J.Ch. Meyer, H. Prakken & G. Vreeswijk, Testing the benefits of structured argumentation in multi-agent deliberation dialogues. Proceedings of the 9th International Workshop on Argumentation in Multi-Agent Systems, 87-106. Valencia (Spain), 2012. [PDF]

2011:

• H. Prakken & G. Sartor, On modelling burdens and standards of proof in structured argumentation. In K. Atkinson (ed.), Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference. Amsterdam etc, IOS Press (2011), 83-92. [PDF]

• S. Modgil & H. Prakken, Revisiting preferences and argumentation. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 1021-1026. Barcelona (Spain), 2011. [PDF].

• B. van Gijzel & H. Prakken, Relating Carneades with abstract argumentation. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 1113-1119. Barcelona (Spain), 2011. [PDF]

• T.J.M. Bench-Capon, H. Prakken & W. Visser, Argument schemes for two-phase democratic deliberation. Proceedings of the 13th International Conference on Artificial Intelligence and Law, Pittsburgh, PA, 2011. New York: ACM Press 2011, 21-30. [PDF]

• T. van der Weide, F. Dignum, J.-J.Ch. Meyer, H. Prakken & G. Vreeswijk, Multi-criteria argument selection in persuasion dialogues. Proceedings of the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011), 921-928. Taipeh (Taiwan), 2011. [PDF]

2010:

• S. van Driel & H. Prakken, Visualising the argumentation structure of an expert witness report with Rationale (extended abstract). In A.Z. Wyner (ed.), Proceedings of the Workshop on Modelling Legal Cases and Legal Rules, in conjunction with JURIX-10, Liverpool 2010, pp. 1-8. [PDF]

• T.J.M. Bench-Capon & H. Prakken, A lightweight formal model of two-phase democratic deliberation. In R.G.F. Winkels (ed.) Legal Knowledge and Information Systems. JURIX 2010: The Twenty-Third Annual Conference. Amsterdam etc, IOS Press (2010), 27-36. [PDF]

• F.J. Bex, H. Prakken & C.A. Reed, A formal analysis of the AIF in terms of the ASPIC framework. In P. Baroni, F. Cerutti, M. Giacomin & G.R. Simari (eds.): Computational Models of Argument. Proceedings of COMMA 2010. Amsterdam etc, IOS Press 2010, 99-110. [PDF]

• S. Modgil & H. Prakken, Reasoning about preferences in structured extended argumentation frameworks. In P. Baroni, F. Cerutti, M. Giacomin & G.R. Simari (eds.): Computational Models of Argument. Proceedings of COMMA 2010. Amsterdam etc, IOS Press 2010, 347-358. [PDF]

• E. Kok, J.-J.Ch. Meyer, H. Prakken & G. Vreeswijk, A Formal Argumentation Framework for Deliberation Dialogues. Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, 73-90. Toronto (Canada), 2010. [PDF]

• T. van der Weide, F. Dignum, J.-J.Ch. Meyer, H. Prakken & G. Vreeswijk, Arguing about preferences and decisions. Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, 229-246. Toronto (Canada), 2010. [PDF]

2009:

• T.J.M. Bench-Capon & H. Prakken, A case study of hypothetical and value-based reasoning in US Supreme-Court cases. In G. Governatori (ed.) Legal Knowledge and Information Systems. JURIX 2009: The Twenty-Second Annual Conference. Amsterdam etc, IOS Press (2009), 11-20. [PDF]

• S. Joseph & H. Prakken, Coherence-driven argumentation to norm consensus. Proceedings of the 12th International Conference on Artificial Intelligence and Law, Barcelona, 2009. New York: ACM Press 2009, 58-67. [PDF]

• T. van der Weide, F. Dignum, J.-J.Ch. Meyer, H. Prakken & G. Vreeswijk, Practical reasoning using values. Giving meaning to values. Proceedings of the 6th International Workshop on Argumentation in Multi-Agent Systems, 225-240. Budapest (Hungary), 2009. [PDF]

• T. van der Weide, F. Dignum, J.-J.Ch. Meyer, H. Prakken & G. Vreeswijk, Personality-based practical reasoning. In I. Rahwan & P. Moraitis (eds.) Fifth International Workshop, ArgMas 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, Springer Lecture Notes in AI 5384, Berlin: Springer 2009, 3-18. [PDF] of Workshop version.

2008:

• H. Prakken & G. Sartor, More on presumptions and burdens of proof. In E. Francesconi, G. Sartor & D. Tiscornia (eds.), Legal Knowledge and Information Systems. JURIX 2008: The Twenty-First Annual Conference. Amsterdam etc, IOS Press (2008), 176-185. [PDF]

• S.W. van den Braak, H. van Oostendorp, H. Prakken & G. Vreeswijk, Representing narrative and testimonial knowledge in sense-making software for crime analysis. In E. Francesconi, G. Sartor & D. Tiscornia (eds.), Legal Knowledge and Information Systems. JURIX 2008: The Twenty-First Annual Conference. Amsterdam etc, IOS Press (2008), 160-169. [PDF]

• H. Prakken, Combining modes of reasoning: an application of abstract argumentation. Proceedings of JELIA 2008, The 11th European Conference on Logics in Artificial Intelligence. Springer Lecture Notes in AI 5293, Springer Verlag, Berlin, 2008, 349-361. [PDF]

• S.W. Van den Braak, H. Van Oostendorp, G. Vreeswijk & H. Prakken, Utilizing compression and refinement to handle large cases in crime analysis. Workshop Notes of the ECAI-08 Workshop on Computational Models of Natural Argument, 60-67
  Patras (Greece), 21 July, 2008. [PDF]

• F.J. Bex & H. Prakken, Investigating stories in a formal dialogue game. In Ph. Besnard, S. Doutre & A. Hunter (eds.), Computational Models of Argument. Proceedings of COMMA 2008. Amsterdam etc, IOS Press 2008, 73-84. [PDF]

• S. Modgil & H. Prakken, Applying preferences to dialogue graphs. In Ph. Besnard, S. Doutre & A. Hunter (eds.), Computational Models of Argument. Proceedings of COMMA 2008. Amsterdam etc, IOS Press 2008, 252-263. [PDF]

• R. Riveret, H. Prakken, A. Rotolo & G. Sartor, Heuristics in argumentation: a game-theoretical investigation. In Ph. Besnard, S. Doutre & A. Hunter (eds.), Computational Models of Argument. Proceedings of COMMA 2008. Amsterdam etc, IOS Press 2008, 324-335. [PDF]

2007:

• R. Riveret, A. Rotolo, G. Sartor, H. Prakken & B. Roth, Success chances in argument games: a probabilistic approach to legal disputes. In A.R. Lodder & L. Mommers (ed.), Legal Knowledge and Information Systems. JURIX 2007: The Twentienth Annual Conference. Amsterdam etc, IOS Press (2007), 99-108. [PDF]

• H. Prakken & G. Sartor, Formalising arguments about the burden of persuasion. Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 97-106. [PDF]

• F.J. Bex, H. Prakken & B. Verheij, Formalising argumentative story-based analysis of evidence. Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 1-10. Winner of the Donald Berman Best Student Paper Award. [PDF]

• S.W. van den Braak, G. Vreeswijk & H. Prakken, AVERs: An argument visualization tool for representing stories about evidence. Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 11-15. [PDF]

• P. Dijkstra, H. Prakken & C.N.J. De Vey Mestdagh, An implementation of norm-based agent negotiation. Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 167-175. [PDF]

• J. Sombekke, T.M. van Engers & H. Prakken, Argumentation Structures in Legal Dossiers. Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 277-281. [PDF]

2006:

• H. Prakken & G. Sartor, Presumptions and burdens of proof, In T.M. van Engers (ed.), Legal Knowledge and Information Systems. JURIX 2006: The Nineteenth Annual Conference. Amsterdam etc, IOS Press (2006), 21-30. [PDF]

• F.J. Bex, H. Prakken & B. Verheij, Anchored narratives in reasoning about evidence. In T.M. van Engers (ed.), Legal Knowledge and Information Systems. JURIX 2006: The Nineteenth Annual Conference. Amsterdam etc, IOS Press (2006), 11-20. [PDF]

• T.J.M. Bench-Capon & H. Prakken, Justifying actions by accruing arguments. In P.E. Dunne and T.J.M. Bench-Capon (eds.), Computational Models of Argument. Proceedings of COMMA-06. Amsterdam etc, IOS Press 2006, 247-258. [PDF]

• H. Prakken, Combining sceptical epistemic reasoning with credulous practical reasoning. In P.E. Dunne and T.J.M. Bench-Capon (eds.), Computational Models of Argument. Proceedings of COMMA-06. Amsterdam etc, IOS Press 2006, 311-322. [PDF] (corrected version, May 14, 2007).

• S.W. Van den Braak, H. Van Oostendorp, H., Prakken & G. Vreeswijk, A critical review of argument visualization tools: Do users become better reasoners? Workshop Notes of the ECAI-06 Workshop on Computational Models of Natural Argument
  Riva del Garda (Italy), 28-29 August, 2006. [PDF]

• L. Bodenstaff, H. Prakken & G. Vreeswijk, On formalising dialogue systems for argumentation in the event calculus. Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning, Windermere (UK), 2006, 374-382. [PDF]

• J. van Veenen & H. Prakken, A protocol for arguing about rejections in negotiation. In S. Parsons, N. Maudet, P. Moraitis & I. Rahwan (eds.), Argumentation in Multi-Agent Systems. Springer Lecture Notes in AI 4049, pp. 138-153. Berlin 2006. [PDF]

2005:

• H. Prakken, A study of accrual of arguments, with applications to evidential reasoning. Proceedings of the Tenth International Conference on Artificial Intelligence and Law, Bologna, 2005. New York:ACM Press, 85-94. [PDF]

• H. Prakken, C. Reed & D.N. Walton, Dialogues about the burden of proof. Proceedings of the Tenth International Conference on Artificial Intelligence and Law, Bologna, 2005. New York:ACM Press, 115-124. [PDF]

2004:

• F.J. Bex & H. Prakken, Reinterpreting arguments in dialogue: an application to evidential reasoning. In T.F. Gordon (ed.), Legal Knowledge and Information Systems. JURIX 2004: The Seventeenth Annual Conference. Amsterdam etc, IOS Press (2004), 119-129. [PDF]

• H. Prakken, C. Reed & D.N. Walton, Argumentation schemes and burden of proof. Workshop Notes of the ECAI-04 Workshop on Computational Models of Natural Argument
  Valencia (Spain), 24 August, 2004, pp. 81--86. [PDF]

2003:

• H. Prakken, C. Reed & D.N. Walton, Argumentation schemes and generalisations in reasoning about evidence. Proceedings of the Ninth International Conference on Artificial Intelligence and Law, Edinburgh, 2003. New York:ACM Press, 32-41. [PDF]

2002:

• H. Prakken, Incomplete arguments in legal discourse: a case study. In T.J.M. Bench-Capon, A. Daskalopulu & R. Winkels (eds.), Legal Knowledge and Information Systems. JURIX 2002: The Fifteenth Annual Conference, Amsterdam etc.: IOS Press, 2002, 93-102. [PDF]

• H. de Bruin, H. Prakken & J. Svensson, The use of legal knowledge-based systems in public administration: what can go wrong? In T.J.M. Bench-Capon, A. Daskalopulu & R. Winkels (eds.), Legal Knowledge and Information Systems. JURIX 2002: The Fifteenth Annual Conference, Amsterdam etc.: IOS Press, 2002, 123-132. [PDF]

• H. Prakken, Logical dialectics: the missing link between deductivism and pragma-dialectics. Proceedings of the Fifth Conference of the International Society for the Study of Argumentation (ISSA 2002). Amsterdam: Sic Sat 2003, 857-860. [PDF]

• H. Prakken & Gerard Vreeswijk, Encoding schemes for a discourse support system for legal argument. Workshop Notes of the ECAI-02 Workshop on Computational Models of Natural Argument
  Lyon (France), 22 July, 2002, 31-39. [PDF]

• H. Prakken, Intuitions and the modelling of defeasible reasoning: some case studies. Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Toulouse, 2002, 91-99. [PDF]

2001:

• H. Prakken & Silja Renooij, Reconstructing causal reasoning about evidence: a case study. In B. Verheij, A.R. Lodder, R.P. Loui, A. Muntjewerff (eds.), Legal Knowledge and Information Systems. JURIX 2001: The Fourteenth Annual Conference, Amsterdam etc.: IOS Press, 2001, 131-142. [PDF]

• H. Prakken, Modelling reasoning about evidence in legal procedure. Proceedings of the Eighth International Conference on Artificial Intelligence and Law, St. Louis, 2001. New York:ACM Press, 119-128. [PDF]

2000:

• H. Prakken, On dialogue systems with speech acts, arguments, and counterarguments. Proceedings of JELIA'2000, The 7th European Workshop on Logics in Artificial Intelligence. Springer Lecture Notes in AI 1919, Springer Verlag, Berlin, 2000, 224-238. [PDF]

• G. Vreeswijk & H. Prakken, Credulous and sceptical argument games for preferred semantics. Proceedings of JELIA'2000, The 7th European Workshop on Logics in Artificial Intelligence. Springer Lecture Notes in AI 1919, Springer Verlag, Berlin, 2000, 239-253. [PDF]

1999:

• H. Prakken, Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report). Proceedings of the 4th ModelAge Workshop on Formal Models of Agents. Springer Lecture Notes in AI, Springer Verlag, Berlin 1999, 202-215. [PDF]

• H. Prakken & T.F. Gordon, Rules of order for electronic group decision making - a formalization methodology. Proceedings of the VIM Spring and Winter Workshops on Collaboration between Human and Artificial Societies. Springer Lecture Notes in AI 1624, Springer Verlag, Berlin 1999, 246-263. [PDF]

1995:

• H. Prakken, A Semantic View on Reasoning about Priorities (extended abstract). Proceedings of the second Dutch\German Workshop on Nonmonotonic Reasoning, Utrecht 1995. [PDF]

• H. Prakken, From logic to dialectics in legal argument. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, Washington DC, 1995. New York: ACM Press 1995, 165-174. [PDF]

1993:

• H. Prakken, A logical framework for modelling legal argument. Proceedings of the Fourth International Conference on Artificial Intelligence and Law, Amsterdam, The Netherlands, 1993. New York: ACM Press 1993, 1-9. [PDF]

1991:

• H. Prakken & Joost Schrickx, Isomorphic models for rules and exceptions in legislation. In J.A.P.J. Breuker, R.V. de Mulder, J.C. Hage(eds.): Legal Knowledge Based Systems. Model-Based Legal Reasoning (Proceedings of JURIX'91). Koninklijke Vermande BV, Lelystad 1991, 17-27. [pdf file]

• H. Prakken, A tool in modelling disagreement in law: preferring the most specific argument. Proceedings of the Third International Conference on Artificial Intelligence and Law, Oxford, UK, 1991. New York: ACM Press 1991, 165-174. [PDF]

Technical reports

• H. Prakken, An abstract framework for argumentation with structured arguments. Technical Report UU-CS-2009-019, Department of Information and Computing Sciences, Utrecht University, Utrecht, 2009. [Information] [PDF]

• H. Prakken, Formalising ordinary legal disputes: a case study. Technical Report UU-CS-2007-048, Department of Information and Computing Sciences, Utrecht University, Utrecht, 2007. [Abstract and charts] [PDF]

• H. Prakken, Formalizing Robert's Rules of Order. An Experiment in Automating Mediation of Group Decision Making. GMD Report 12, GMD - German National Research Center for Information Technology, Bonn, 1998. [Abstract] [PostScript] [PDF]

• H. Prakken, Kan de computer juridisch argumenteren? (English title: can computers argue like a lawyer?). Inaugural address Utrecht University, Sept. 9th, 2024. [original Dutch version], [translated English version]

• H. Prakken & J. Dijkstra, Argumentatieve beoordeling van SMBA: Schets van een conceptueel model en van mogelijke ICT-ondersteuning. In Project SMBA, Innovatieve voorstellen voor Sociaal-Medische Beoordeling van Arbeidsvermogen, pp. 89-119 UWV, Amsterdam, December 2009. (In Dutch). [PDF]

• H. Prakken, AI & Law on legal argument: research trends and application prospects. Editorial for ScriptEd, A Journal of Law, Technology & Society, 5:3(2008), 449-454. [online version]

• H. Prakken, Book review of Z. Bankowski, I. White and U. Hahn (editors): Informatics and the Foundations of Legal Reasoning. Argumentation, Vol. 11, No 3 (1997) 377-381. [Full text]

• H. Prakken, Bayesian probability theory and legal reasoning. A report on a talk by Paul Huygen. BNVKI Newsletter Vol 19 (2002), No 6, pp. 154-156. [PDF]

• H. Prakken, The Spirit of St. Louis. An ICAIL-2001 Report. BNVKI Newsletter Vol 19 (2002), No 5, pp. 118-120. [HTML]