Selected publications of Henry Prakken

Full list of publications in PDF.

My Google profile

Books

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

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

• Paul 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]

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

Journal articles

• H. Prakken, A.Z. Wyner, T.J.M. Bench-Capon & K.D. Atkinson, A formalisation of argumentation schemes for legal case-based reasoning in ASPIC+. Journal of Logic and Computation 2013, in press. [PDF]

• S.J. Modgil & H. Prakken, A general account of argumentation with preferences. Artificial Intelligence 195 (2013): 361-397. [PDF]. (Version at AI Journal homepage).

• F.J. Bex & S.J. Modgil & H. Prakken & C. Reed, On logical specifications of the Argument Interchange Format. Journal of Logic and Computation 2013, in press. [PDF]

• 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]

• 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]

• 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.

• 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]

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

• T.J.M. Bench-Capon & H. Prakken, Introducing the Logic and Law Corner. Journal of Logic and Computation 18 (2008): 1-12. [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]

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

• 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]

• 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]

• 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]

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

• 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]

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

• 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]

• 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]

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

Book chapters

• 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]

• 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]

• 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, 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]

• 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]

• 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]

• 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]

• 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]

• 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]

Refereed papers in international conferences and workshops

• T.J.M. Bench-Capon, H. Prakken, A.Z. Wyner & K.D. 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, ***-***. [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, ***-***. [PDF]

• 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]

• H. Prakken & G. Sartor, On modelling burdens and standards of proof in structured argumentation. In K.D. 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]

• 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]

• 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.

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

• 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]

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]

Other publications

• 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]