Henry Prakken

According to our database, Henry Prakken authored at least 176 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

An abstract and structured account of dialectical argument strength.

Henry Prakken

Artif. Intell., 2024

On Evaluating Legal-Reasoning Capabilities of Generative AI.

Henry Prakken

Proceedings of the 24th Workshop on Computational Models of Natural Argument co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

Arguments Based on Domain Rules in Prediction Justifications.

Joeri Peters, Floris Bex, Henry Prakken

Proceedings of the 24th Workshop on Computational Models of Natural Argument co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

2023

When is argumentation deductive?

Henry Prakken

J. Appl. Non Class. Logics, October, 2023

Explaining Model Behavior with Global Causal Analysis.

Marcel Robeer, Floris Bex, Ad Feelders, Henry Prakken

Proceedings of the Explainable Artificial Intelligence, 2023

Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions.

Henry Prakken

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Hierarchical a Fortiori Reasoning with Dimensions.

Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2023

Precedent-Based Reasoning with Incomplete Cases.

Daphne Odekerken, Floris Bex, Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2023

Hierarchical Precedential Constraint.

Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

A Formal Framework for Combining Legal Reasoning Methods.

Henry Prakken, Giovanni Sartor

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Model- and data-agnostic justifications with A Fortiori Case-Based Argumentation.

Joeri G. T. Peters, Floris J. Bex, Henry Prakken

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Justification, stability and relevance for case-based reasoning with incomplete focus cases.

Daphne Odekerken, Floris Bex, Henry Prakken

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

On Floating Conclusions.

Daniela Schuster, Jan M. Broersen, Henry Prakken

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Deductive and abductive argumentation based on information graphs.

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij

Argument Comput., 2022

A top-level model of case-based argumentation for explanation: Formalisation and experiments.

Henry Prakken, Rosa Ratsma

Argument Comput., 2022

Correction: thirty years of Artificial Intelligence and Law: the second decade.

Giovanni Sartor, Michal Araszkiewicz, Katie Atkinson, Floris Bex, Tom M. van Engers, Enrico Francesconi, Henry Prakken, Giovanni Sileno, Frank Schilder, Adam Wyner, Trevor J. M. Bench-Capon

Artif. Intell. Law, 2022

Thirty years of Artificial Intelligence and Law: the second decade.

Giovanni Sartor, Michal Araszkiewicz, Katie Atkinson, Floris Bex, Tom M. van Engers, Enrico Francesconi, Henry Prakken, Giovanni Sileno, Frank Schilder, Adam Wyner, Trevor J. M. Bench-Capon

Artif. Intell. Law, 2022

Measuring the Complexity of Dutch Legislation.

Tim van den Belt, Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2022

Landmarks in Case-Based Reasoning: From Theory to Data.

Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij

Proceedings of the HHAI 2022: Augmenting Human Intellect, 2022

Justification in Case-Based Reasoning.

Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij

Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

Formalising an Aspect of Argument Strength: Degrees of Attackability.

Henry Prakken

Proceedings of the Computational Models of Argument, 2022

Arguing About the Existence of Conflicts.

Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor

Proceedings of the Computational Models of Argument, 2022

Justifications Derived from Inconsistent Case Bases Using Authoritativeness.

Joeri Peters, Floris Bex, Henry Prakken

Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2021

Information graphs and their use for Bayesian network graph construction.

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij

Int. J. Approx. Reason., 2021

A formal analysis of some factor- and precedent-based accounts of precedential constraint.

Henry Prakken

Artif. Intell. Law, 2021

Can Predictive Justice Improve the Predictability and Consistency of Judicial Decision-Making?

Floris Bex, Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2021

On the relevance of algorithmic decision predictors for judicial decision making.

Floris Bex, Henry Prakken

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Philosophical Reflections on Argument Strength and Gradual Acceptability.

Henry Prakken

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020

A Comparative Study of Some Central Notions of ASPIC+ and DeLP.

Alejandro Javier García, Henry Prakken, Guillermo Ricardo Simari

Theory Pract. Log. Program., 2020

Editors' Review and Introduction: Models of Rational Proof in Criminal Law.

Henry Prakken, Floris Bex, Anne Ruth Mackor

Top. Cogn. Sci., 2020

An Argumentation-Based Analysis of the Simonshaven Case.

Henry Prakken

Top. Cogn. Sci., 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.

Zeynep Akata, Dan Balliet, Maarten de Rijke, Frank Dignum, Virginia Dignum, Guszti Eiben, Antske Fokkens, Davide Grossi, Koen V. Hindriks, Holger H. Hoos, Hayley Hung, Catholijn M. Jonker, Christof Monz, Mark A. Neerincx, Frans A. Oliehoek, Henry Prakken, Stefan Schlobach, Linda C. van der Gaag, Frank van Harmelen, Herke van Hoof, Birna van Riemsdijk, Aimee van Wynsberghe, Rineke Verbrugge, Bart Verheij, Piek Vossen, Max Welling

Computer, 2020

A new use case for argumentation support tools: supporting discussions of Bayesian analyses of complex criminal cases.

Henry Prakken

Artif. Intell. Law, 2020

In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law.

Katie Atkinson, Trevor J. M. Bench-Capon, Floris Bex, Thomas F. Gordon, Henry Prakken, Giovanni Sartor, Bart Verheij

Artif. Intell. Law, 2020

Deductive and Abductive Reasoning with Causal and Evidential Information.

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij

Proceedings of the Computational Models of Argument, 2020

On Validating Theories of Abstract Argumentation Frameworks: The Case of Bipolar Argumentation Frameworks.

Henry Prakken

Proceedings of the 20th Workshop on Computational Models of Natural Argument co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

2019

Comparing Alternative Factor- and Precedent-Based Accounts of Precedential Constraint.

Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2019

Supporting Discussions About Forensic Bayesian Networks Using Argumentation.

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Modelling Accrual of Arguments in ASPIC+.

Henry Prakken

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Constructing Bayesian Network Graphs from Labeled Arguments.

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Corrigendum to "A general account of argumentation with preferences" [Artif. Intell. 195 (2013) 361-397].

Sanjay Modgil, Henry Prakken

Artif. Intell., 2018

Probabilistic Strength of Arguments with Structure.

Henry Prakken

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Exploiting Causality in Constructing Bayesian Network Graphs from Legal Arguments.

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij

Proceedings of the Legal Knowledge and Information Systems, 2018

Abstraction in Argumentation: Necessary but Dangerous.

Henry Prakken, Michiel De Winter

Proceedings of the Computational Models of Argument, 2018

2017

A two-phase method for extracting explanatory arguments from Bayesian networks.

Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij

Int. J. Approx. Reason., 2017

Historical Overview of Formal Argumentation.

Henry Prakken

FLAP, 2017

Abstract Rule-Based Argumentation.

Sanjay Modgil, Henry Prakken

FLAP, 2017

Towards Artificial Argumentation.

Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata

AI Mag., 2017

On the problem of making autonomous vehicles conform to traffic law.

Henry Prakken

Artif. Intell. Law, 2017

Introduction to the special issue on Artificial Intelligence for Justice (AI4J).

Floris Bex, Henry Prakken, Tom M. van Engers, Bart Verheij

Artif. Intell. Law, 2017

Argument Schemes for Discussing Bayesian Modellings of Complex Criminal Cases.

Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2017

On making autonomous vehicles respect traffic law: a case study for dutch law.

Henry Prakken

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

On Relating Abstract and Structured Probabilistic Argumentation: A Case Study.

Henry Prakken

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

Refining a Heuristic for Constructing Bayesian Networks from Structured Arguments.

Remi Wieten, Floris Bex, Linda C. van der Gaag, Henry Prakken, Silja Renooij

Proceedings of the Artificial Intelligence - 29th Benelux Conference, 2017

2016

Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency.

Diana Grooters, Henry Prakken

J. Artif. Intell. Res., 2016

An analysis of critical-link semantics with variable degrees of justification.

Bin Wei, Henry Prakken

Argument Comput., 2016

A method for explaining Bayesian networks for legal evidence with scenarios.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Artif. Intell. Law, 2016

Rethinking the Rationality Postulates for Argumentation-Based Inference.

Henry Prakken

Proceedings of the Computational Models of Argument, 2016

2015

A formalization of argumentation schemes for legal case-based reasoning in ASPIC+.

Henry Prakken, Adam Z. Wyner, Trevor J. M. Bench-Capon, Katie Atkinson

J. Log. Comput., 2015

Law and logic: A review from an argumentation perspective.

Henry Prakken, Giovanni Sartor

Artif. Intell., 2015

Representing the Quality of Crime Scenarios in a Bayesian Network.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2015

Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract.

Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2015

Explaining Legal Bayesian Networks Using Support Graphs.

Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2015

Constructing and understanding Bayesian networks for legal evidence with scenario schemes.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

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

Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

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

Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Explaining Bayesian Networks Using Argumentation.

Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Formalising Debates About Law-Making Proposals as Practical Reasoning.

Henry Prakken

Proceedings of the Logic in the Theory and Practice of Lawmaking, 2015

2014

The <i>ASPIC</i>⁺ framework for structured argumentation: a tutorial.

Sanjay Modgil, Henry Prakken

Argument Comput., 2014

Introduction to structured argumentation.

Philippe Besnard, Alejandro Javier García, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Ricardo Simari, Francesca Toni

Argument Comput., 2014

Building Bayesian networks for legal evidence with narratives: a case study evaluation.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Artif. Intell. Law, 2014

Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2014

Extracting Legal Arguments from Forensic Bayesian Networks.

Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2014

On support relations in abstract argumentation as abstractions of inferential relations.

Henry Prakken

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Tool for the Generation of Arguments from Bayesian Networks.

Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Computational Models of Argument, 2014

Combining Paraconsistent Logic with Argumentation.

Diana Grooters, Henry Prakken

Proceedings of the Computational Models of Argument, 2014

2013

On logical specifications of the Argument Interchange Format.

Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed

J. Log. Comput., 2013

A general account of argumentation with preferences.

Sanjay Modgil, Henry Prakken

Artif. Intell., 2013

Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the Legal Knowledge and Information Systems, 2013

Formalising arguments about norms.

Henry Prakken, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2013

Argumentation Schemes for Reasoning about Factors with Dimensions.

Katie Atkinson, Trevor J. M. Bench-Capon, Henry Prakken, Adam Z. Wyner

Proceedings of the Legal Knowledge and Information Systems, 2013

Modeling crime scenarios in a Bayesian network.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Argument schemes for reasoning with legal cases using values.

Trevor J. M. Bench-Capon, Henry Prakken, Adam Z. Wyner, Katie Atkinson

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network.

Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij

Proceedings of the 2013 Workshop on Computational Models of Narrative, 2013

Risk Assessment as an Argumentation Game.

Henry Prakken, Dan Ionita, Roel J. Wieringa

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

An appreciation of John Pollock's work on the computational study of argument.

Henry Prakken, John F. Horty

Argument Comput., 2012

Relating Carneades with abstract argumentation via the ASPIC⁺ framework for structured argumentation.

Bas van Gijzel, Henry Prakken

Argument Comput., 2012

Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics.

Henry Prakken

Artif. Intell. Law, 2012

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.

Trevor J. M. Bench-Capon, Michal Araszkiewicz, Kevin D. Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Danièle Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald Prescott Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton, Adam Z. Wyner

Artif. Intell. Law, 2012

Formalising a legal opinion on a legislative proposal in the ASPIC⁺ framework.

Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2012

Clarifying some misconceptions on the ASPIC⁺ framework.

Henry Prakken, Sanjay Modgil

Proceedings of the Computational Models of Argument, 2012

Resolutions in Structured Argumentation.

Sanjay Modgil, Henry Prakken

Proceedings of the Computational Models of Argument, 2012

Some Reflections on Two Current Trends in Formal Argumentation.

Henry Prakken

Proceedings of the Logic Programs, Norms and Action, 2012

Testing the benfits of structured argumentation in multi-agent deliberation dialogues.

Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

On modelling burdens and standards of proof in structured argumentation.

Henry Prakken, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2011

Revisiting Preferences and Argumentation.

Sanjay Modgil, Henry Prakken

Proceedings of the IJCAI 2011, 2011

Relating Carneades with Abstract Argumentation.

Bas van Gijzel, Henry Prakken

Proceedings of the IJCAI 2011, 2011

Argument schemes for two-phase democratic deliberation.

Trevor J. M. Bench-Capon, Henry Prakken, Wietske Visser

Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

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

Proceedings of the Multi-Agent Systems - 9th European Workshop, 2011

Multi-criteria Argument Selection in Persuasion Dialogues.

Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk

Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

2010

An abstract framework for argumentation with structured arguments.

Henry Prakken

Argument Comput., 2010

Reports of the AAAI 2009 Fall Symposia.

Roger Azevedo, Trevor J. M. Bench-Capon, Gautam Biswas, Ted Carmichael, Nancy L. Green, Mirsad Hadzikadic, Oluwasanmi Koyejo, Unmesh Kurup, Simon Parsons, Roberto Pirrone, Henry Prakken, Alexei V. Samsonovich, Donia Scott, Richard Souvenir

AI Mag., 2010

A hybrid formal theory of arguments, stories and criminal evidence.

Floris J. Bex, Peter J. van Koppen, Henry Prakken, Bart Verheij

Artif. Intell. Law, 2010

Using argument schemes for hypothetical reasoning in law.

Trevor J. M. Bench-Capon, Henry Prakken

Artif. Intell. Law, 2010

A lightweight formal model of two-phase democratic deliberation.

Trevor J. M. Bench-Capon, Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2010

Reasoning about Preferences in Structured Extended Argumentation Frameworks.

Sanjay Modgil, Henry Prakken

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

A formal analysis of the AIF in terms of the ASPIC framework.

Floris Bex, Henry Prakken, Chris Reed

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Arguing about Preferences and Decisions.

Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

A Formal Argumentation Framework for Deliberation Dialogues.

Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2009

Editorial: Logic and Law Corner.

Trevor J. M. Bench-Capon, Henry Prakken

J. Log. Comput., 2009

Research challenges for argumentation.

Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari

Comput. Sci. Res. Dev., 2009

A case study of hypothetical and value-based reasoning in US Supreme-Court cases.

Trevor J. M. Bench-Capon, Henry Prakken

Proceedings of the Legal Knowledge and Information Systems, 2009

Coherence-driven argumentation to norm consensus.

Sindhu Joseph, Henry Prakken

Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

Practical Reasoning Using Values.

Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk

Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

Preface.

Trevor J. M. Bench-Capon, Simon Parsons, Henry Prakken

Proceedings of the Uses of Computational Argumentation, 2009

Models of Persuasion Dialogue.

Henry Prakken

Proceedings of the Argumentation in Artificial Intelligence, 2009

Argumentation in Legal Reasoning.

Trevor J. M. Bench-Capon, Henry Prakken, Giovanni Sartor

Proceedings of the Argumentation in Artificial Intelligence, 2009

2008

Introducing the Logic and Law Corner.

Trevor J. M. Bench-Capon, Henry Prakken

J. Log. Comput., 2008

Formalising ordinary legal disputes: a case study.

Henry Prakken

Artif. Intell. Law, 2008

A formal model of adjudication dialogues.

Henry Prakken

Artif. Intell. Law, 2008

More on Presumptions and Burdens of Proof.

Henry Prakken, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2008

Representing narrative and testimonial knowledge in sense-making software for crime analysis.

Susan W. van den Braak, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk

Proceedings of the Legal Knowledge and Information Systems, 2008

Combining Modes of Reasoning: An Application of Abstract Argumentation.

Henry Prakken

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

The role of compression and refinement in visualization tools for crime analysts.

Susan W. van den Braak, Herre van Oostendorp, Gerard Vreeswijk, Henry Prakken

Proceedings of the Cre8ing a learning world: Proceedings of the 8th International Conference for the Learning Sciences, 2008

Heuristics in Argumentation: A Game Theory Investigation.

Régis Riveret, Henry Prakken, Antonino Rotolo, Giovanni Sartor

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Applying Preferences to Dialogue Graphs.

Sanjay Modgil, Henry Prakken

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Investigating Stories in a Formal Dialogue Game.

Floris Bex, Henry Prakken

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Personality-Based Practical Reasoning.

Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

The Carneades model of argument and burden of proof.

Thomas F. Gordon, Henry Prakken, Douglas Walton

Artif. Intell., 2007

Success chances in argument games: a probabilistic approach to legal disputes.

Régis Riveret, Antonino Rotolo, Giovanni Sartor, Henry Prakken, Bram Roth

Proceedings of the Legal Knowledge and Information Systems, 2007

Argumentation structures in legal dossiers.

Jobien Sombekke, Tom M. van Engers, Henry Prakken

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Formalising arguments about the burden of persuasion.

Henry Prakken, Giovanni Sartor

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

An implementation of norm-based agent negotiation.

Pieter Dijkstra, Henry Prakken, Kees de Vey Mestdagh

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

<i>AVERs</i>: an argument visualization tool for representing stories about evidence.

Susan W. van den Braak, Gerard Vreeswijk, Henry Prakken

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Formalising argumentative story-based analysis of evidence.

Floris J. Bex, Henry Prakken, Bart Verheij

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

2006

Artificial Intelligence & Law, Logic and Argument Schemes.

Henry Prakken

Proceedings of the Arguing on the Toulmin Model, 2006

Formal systems for persuasion dialogue.

Henry Prakken

Knowl. Eng. Rev., 2006

Presumptions and Burdens of Proof.

Henry Prakken, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2006

Anchored Narratives in Reasoning about Evidence.

Floris Bex, Henry Prakken, Bart Verhey

Proceedings of the Legal Knowledge and Information Systems, 2006

Combining sceptical epistemic reasoning with credulous practical reasoning.

Henry Prakken

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

Justifying Actions by Accruing Arguments.

Trevor J. M. Bench-Capon, Henry Prakken

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2005

Coherence and Flexibility in Dialogue Games for Argumentation.

Henry Prakken

J. Log. Comput., 2005

Towards a multi-agent system for regulated information exchange in crime investigations.

Pieter Dijkstra, Floris Bex, Henry Prakken, Kees de Vey Mestdagh

Artif. Intell. Law, 2005

Dialogues about the burden of proof.

Henry Prakken, Chris Reed, Douglas Walton

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

A study of accrual of arguments, with applications to evidential reasoning.

Henry Prakken

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

A verifiable protocol for arguing about rejections in negotiation.

Jelle van Veenen, Henry Prakken

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A Protocol for Arguing About Rejections in Negotiation.

Jelle van Veenen, Henry Prakken

Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

2004

Computational Models, Argumentation Theories and Legal Practice.

Trevor J. M. Bench-Capon, James B. Freeman, Hanns Hohmann, Henry Prakken

Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004

2003

Special Issue on Computational Dialectics: an Introduction.

Gerhard Brewka, Henry Prakken, Gerard Vreeswijk

J. Log. Comput., 2003

Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations.

Floris Bex, Henry Prakken, Chris Reed, Douglas Walton

Artif. Intell. Law, 2003

Argumentation Schemes and Generalizations in Reasoning about Evidence.

Henry Prakken, Chris Reed, Douglas Walton

Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

The use of legal knowledge-based systems in public administration: what can go wrong?

Hugo de Bruin, Henry Prakken, Jörgen S. Svensson

Proceedings of the Evaluation of Legal Reasoning and Problem-Solving Systems, 2003

2002

An exercise in formalising teleological case-based reasoning.

Henry Prakken

Artif. Intell. Law, 2002

Intuitions and the modelling of defeasible reasoning: some case studies.

Henry Prakken

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

The Role of Logic in Computational Models of Legal Argument: A Critical Survey.

Henry Prakken, Giovanni Sartor

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Relating Protocols For Dynamic Dispute With Logics For Defeasible Argumentation.

Henry Prakken

Synth., 2001

Modelling Defeasibility in Law: Logic or Procedure?

Henry Prakken

Fundam. Informaticae, 2001

Modelling reasoning about evidence in legal procedure.

Henry Prakken

Proceedings of the Eigths International Conference on Artificial Intelligence and Law, 2001

2000

Introduction: Dialectical legal argument: Formal and informal models.

Eveline T. Feteris, Henry Prakken

Artif. Intell. Law, 2000

Credulous and Sceptical Argument Games for Preferred Semantics.

Gerard Vreeswijk, Henry Prakken

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

On Dialogue Systems with Speech Acts, Arguments, and Counterarguments.

Henry Prakken

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

Rules of Order for Electronic Group Decision Making - A Formalization Methodology.

Henry Prakken, Thomas F. Gordon

Proceedings of the Collaboration between Human and Artificial Societies, 1999

A System for Defeasible Argumentation, with Defeasible Priorities.

Henry Prakken, Giovanni Sartor

Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

1998

Modelling Reasoning with Precedents in a Formal Dialogue Game.

Henry Prakken, Giovanni Sartor

Artif. Intell. Law, 1998

1997

Argument-Based Extended Logic Programming with Defeasible Priorities.

Henry Prakken, Giovanni Sartor

J. Appl. Non Class. Logics, 1997

Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report).

Henry Prakken

Proceedings of the Formal Models of Agents, 1997

Reasoning with Precedents in a Dialogue Game.

Henry Prakken, Giovanni Sartor

Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

1996

Contrary-to-Duty Obligations.

Henry Prakken, Marek J. Sergot

Stud Logica, 1996

Two Approaches to the Formalisation of Defeasible Deontic Reasoning.

Henry Prakken

Stud Logica, 1996

A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning.

Henry Prakken, Giovanni Sartor

Artif. Intell. Law, 1996

A System for Defeasible Argumentation, with Defeasible Priorities.

Henry Prakken, Giovanni Sartor

Proceedings of the Practical Reasoning, 1996

1995

On the Relation Between Legal Language and Legal Argument: Assumptions, Applicability and Dynamic Priorities.

Henry Prakken, Giovanni Sartor

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

From Logic to Dialectics in Legal Argument.

Henry Prakken

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

1993

An Argumentation Framework in Default Logic.

Henry Prakken

Ann. Math. Artif. Intell., 1993

A Logical Framework for Modelling Legal Argument.

Henry Prakken

Proceedings of the Fourth International Conference on Artificial intelligence and Law, 1993

1991

A Tool in Modelling Disagreement in Law: Preferring the Most Specific Argument.

Henry Prakken

Proceedings of the Third International Conference on Artificial Intelligence and Law, 1991