| 2026 | AAAI | A Fortiori Case-Based Reasoning: From Theory to Data (Abstract Reprint). | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2025 | IC3K | An Overview of AI & Law Models of Case-Based Reasoning, with Applications in Decision Analysis and Explainable AI. | Henry Prakken |
| 2025 | ICAIL | Justifying Black-Box Predictions with Domain Knowledge. | Joeri Peters, Floris Bex, Henry Prakken |
| 2025 | ICAIL | Modelling Cause-in-Fact in Legal Cases through Defeasible Argumentation. | Giuseppe Pisano, Henry Prakken, Giovanni Sartor, Ruta Liepina |
| 2025 | JURIX | Defending the Hierarchical Result Models of Precedential Constraint. | Henry Prakken, Wijnand van Woerkom |
| 2024 | JURIX | An Application of Case-Based Reasoning to Decision-Making in Dutch Administrative Law. | Joep Nouwens, AnneMarie Borg, Henry Prakken |
| 2024 | JURIX | A Case-Based-Reasoning Analysis of the COMPAS Dataset. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2023 | ICAIL | Justification, stability and relevance for case-based reasoning with incomplete focus cases. | Daphne Odekerken, Floris Bex, Henry Prakken |
| 2023 | ICAIL | Model- and data-agnostic justifications with A Fortiori Case-Based Argumentation. | Joeri G. T. Peters, Floris J. Bex, Henry Prakken |
| 2023 | ICAIL | A Formal Framework for Combining Legal Reasoning Methods. | Henry Prakken, Giovanni Sartor |
| 2023 | ICAIL | Hierarchical Precedential Constraint. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2023 | JURIX | Precedent-Based Reasoning with Incomplete Cases. | Daphne Odekerken, Floris Bex, Henry Prakken |
| 2023 | JURIX | Hierarchical a Fortiori Reasoning with Dimensions. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2023 | KR | Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions. | Henry Prakken |
| 2022 | COMMA | Justifications Derived from Inconsistent Case Bases Using Authoritativeness. | Joeri Peters, Floris Bex, Henry Prakken |
| 2022 | COMMA | Arguing About the Existence of Conflicts. | Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor |
| 2022 | COMMA | Formalising an Aspect of Argument Strength: Degrees of Attackability. | Henry Prakken |
| 2022 | COMMA | Justification in Case-Based Reasoning. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2022 | JURIX | Measuring the Complexity of Dutch Legislation. | Tim van den Belt, Henry Prakken |
| 2021 | ECSQARU | Philosophical Reflections on Argument Strength and Gradual Acceptability. | Henry Prakken |
| 2021 | ICAIL | On the relevance of algorithmic decision predictors for judicial decision making. | Floris Bex, Henry Prakken |
| 2021 | JURIX | Can Predictive Justice Improve the Predictability and Consistency of Judicial Decision-Making? | Floris Bex, Henry Prakken |
| 2020 | COMMA | On Validating Theories of Abstract Argumentation Frameworks: The Case of Bipolar Argumentation Frameworks. | Henry Prakken |
| 2020 | COMMA | Deductive and Abductive Reasoning with Causal and Evidential Information. | Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij |
| 2019 | ECSQARU | Constructing Bayesian Network Graphs from Labeled Arguments. | Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij |
| 2019 | ICAIL | Modelling Accrual of Arguments in ASPIC+. | Henry Prakken |
| 2019 | ICAIL | Supporting Discussions About Forensic Bayesian Networks Using Argumentation. | Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij |
| 2019 | JURIX | Comparing Alternative Factor- and Precedent-Based Accounts of Precedential Constraint. | Henry Prakken |
| 2018 | COMMA | Abstraction in Argumentation: Necessary but Dangerous. | Henry Prakken, Michiel De Winter |
| 2018 | JURIX | Exploiting Causality in Constructing Bayesian Network Graphs from Legal Arguments. | Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij |
| 2018 | KR | Probabilistic Strength of Arguments with Structure. | Henry Prakken |
| 2017 | ECSQARU | On Relating Abstract and Structured Probabilistic Argumentation: A Case Study. | Henry Prakken |
| 2017 | ICAIL | On making autonomous vehicles respect traffic law: a case study for dutch law. | Henry Prakken |
| 2017 | JURIX | Argument Schemes for Discussing Bayesian Modellings of Complex Criminal Cases. | Henry Prakken |
| 2016 | COMMA | Rethinking the Rationality Postulates for Argumentation-Based Inference. | Henry Prakken |
| 2015 | ECSQARU | Explaining Bayesian Networks Using Argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | Constructing and understanding Bayesian networks for legal evidence with scenario schemes. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Explaining Legal Bayesian Networks Using Support Graphs. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Representing the Quality of Crime Scenarios in a Bayesian Network. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | COMMA | Combining Paraconsistent Logic with Argumentation. | Diana Grooters, Henry Prakken |
| 2014 | COMMA | A Tool for the Generation of Arguments from Bayesian Networks. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | ECAI | On support relations in abstract argumentation as abstractions of inferential relations. | Henry Prakken |
| 2014 | JURIX | Extracting Legal Arguments from Forensic Bayesian Networks. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | JURIX | Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2013 | ICAIL | Argument schemes for reasoning with legal cases using values. | Trevor J. M. Bench-Capon, Henry Prakken, Adam Z. Wyner, Katie Atkinson |
| 2013 | ICAIL | Modeling crime scenarios in a Bayesian network. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2013 | JURIX | Argumentation Schemes for Reasoning about Factors with Dimensions. | Katie Atkinson, Trevor J. M. Bench-Capon, Henry Prakken, Adam Z. Wyner |
| 2013 | JURIX | Formalising arguments about norms. | Henry Prakken, Giovanni Sartor |
| 2013 | JURIX | Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2012 | AAMAS | Testing the benfits of structured argumentation in multi-agent deliberation dialogues. | Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
| 2012 | COMMA | Resolutions in Structured Argumentation. | Sanjay Modgil, Henry Prakken |
| 2012 | COMMA | Clarifying some misconceptions on the ASPIC | Henry Prakken, Sanjay Modgil |
| 2012 | JURIX | Formalising a legal opinion on a legislative proposal in the ASPIC | Henry Prakken |
| 2011 | EUMAS | A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. | Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk |
| 2011 | ICAIL | Argument schemes for two-phase democratic deliberation. | Trevor J. M. Bench-Capon, Henry Prakken, Wietske Visser |
| 2011 | IJCAI | Relating Carneades with Abstract Argumentation. | Bas van Gijzel, Henry Prakken |
| 2011 | IJCAI | Revisiting Preferences and Argumentation. | Sanjay Modgil, Henry Prakken |
| 2011 | JURIX | On modelling burdens and standards of proof in structured argumentation. | Henry Prakken, Giovanni Sartor |
| 2010 | COMMA | A formal analysis of the AIF in terms of the ASPIC framework. | Floris Bex, Henry Prakken, Chris Reed |
| 2010 | COMMA | Reasoning about Preferences in Structured Extended Argumentation Frameworks. | Sanjay Modgil, Henry Prakken |
| 2010 | JURIX | A lightweight formal model of two-phase democratic deliberation. | Trevor J. M. Bench-Capon, Henry Prakken |
| 2009 | ICAIL | Coherence-driven argumentation to norm consensus. | Sindhu Joseph, Henry Prakken |
| 2009 | JURIX | A case study of hypothetical and value-based reasoning in US Supreme-Court cases. | Trevor J. M. Bench-Capon, Henry Prakken |
| 2008 | COMMA | Investigating Stories in a Formal Dialogue Game. | Floris Bex, Henry Prakken |
| 2008 | COMMA | Applying Preferences to Dialogue Graphs. | Sanjay Modgil, Henry Prakken |
| 2008 | COMMA | Heuristics in Argumentation: A Game Theory Investigation. | Rgis Riveret, Henry Prakken, Antonino Rotolo, Giovanni Sartor |
| 2008 | JELIA | Combining Modes of Reasoning: An Application of Abstract Argumentation. | Henry Prakken |
| 2008 | JURIX | Representing narrative and testimonial knowledge in sense-making software for crime analysis. | Susan W. van den Braak, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk |
| 2008 | JURIX | More on Presumptions and Burdens of Proof. | Henry Prakken, Giovanni Sartor |
| 2007 | ICAIL | Formalising argumentative story-based analysis of evidence. | Floris J. Bex, Henry Prakken, Bart Verheij |
| 2007 | ICAIL | Untitled record | Susan W. van den Braak, Gerard Vreeswijk, Henry Prakken |
| 2007 | ICAIL | An implementation of norm-based agent negotiation. | Pieter Dijkstra, Henry Prakken, Kees de Vey Mestdagh |
| 2007 | ICAIL | Formalising arguments about the burden of persuasion. | Henry Prakken, Giovanni Sartor |
| 2007 | ICAIL | Argumentation structures in legal dossiers. | Jobien Sombekke, Tom M. van Engers, Henry Prakken |
| 2007 | JURIX | Success chances in argument games: a probabilistic approach to legal disputes. | Rgis Riveret, Antonino Rotolo, Giovanni Sartor, Henry Prakken, Bram Roth |
| 2006 | COMMA | Justifying Actions by Accruing Arguments. | Trevor J. M. Bench-Capon, Henry Prakken |
| 2006 | COMMA | Combining sceptical epistemic reasoning with credulous practical reasoning. | Henry Prakken |
| 2006 | JURIX | Anchored Narratives in Reasoning about Evidence. | Floris Bex, Henry Prakken, Bart Verhey |
| 2006 | JURIX | Presumptions and Burdens of Proof. | Henry Prakken, Giovanni Sartor |
| 2005 | ICAIL | A study of accrual of arguments, with applications to evidential reasoning. | Henry Prakken |
| 2005 | ICAIL | Dialogues about the burden of proof. | Henry Prakken, Chris Reed, Douglas Walton |
| 2003 | ICAIL | The use of legal knowledge-based systems in public administration: what can go wrong? | Hugo de Bruin, Henry Prakken, Jrgen S. Svensson |
| 2003 | ICAIL | Argumentation Schemes and Generalizations in Reasoning about Evidence. | Henry Prakken, Chris Reed, Douglas Walton |
| 2001 | ICAIL | Modelling reasoning about evidence in legal procedure. | Henry Prakken |
| 2000 | JELIA | On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. | Henry Prakken |
| 2000 | JELIA | Credulous and Sceptical Argument Games for Preferred Semantics. | Gerard Vreeswijk, Henry Prakken |
| 1997 | ICAIL | Reasoning with Precedents in a Dialogue Game. | Henry Prakken, Giovanni Sartor |
| 1995 | ICAIL | From Logic to Dialectics in Legal Argument. | Henry Prakken |
| 1995 | ICAIL | On the Relation Between Legal Language and Legal Argument: Assumptions, Applicability and Dynamic Priorities. | Henry Prakken, Giovanni Sartor |
| 1993 | ICAIL | A Logical Framework for Modelling Legal Argument. | Henry Prakken |
| 1991 | ICAIL | A Tool in Modelling Disagreement in Law: Preferring the Most Specific Argument. | Henry Prakken |