![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Henry Prakken
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j60]Henry Prakken:
An abstract and structured account of dialectical argument strength. Artif. Intell. 335: 104193 (2024) - 2023
- [j59]Henry Prakken
:
When is argumentation deductive? J. Appl. Non Class. Logics 33(3-4): 212-223 (2023) - [c109]Daniela Schuster, Jan M. Broersen, Henry Prakken:
On Floating Conclusions. DEON 2023: 199-215 - [c108]Daphne Odekerken
, Floris Bex
, Henry Prakken
:
Justification, stability and relevance for case-based reasoning with incomplete focus cases. ICAIL 2023: 177-186 - [c107]Joeri G. T. Peters
, Floris J. Bex
, Henry Prakken
:
Model- and data-agnostic justifications with A Fortiori Case-Based Argumentation. ICAIL 2023: 207-216 - [c106]Henry Prakken
, Giovanni Sartor
:
A Formal Framework for Combining Legal Reasoning Methods. ICAIL 2023: 227-236 - [c105]Wijnand van Woerkom
, Davide Grossi
, Henry Prakken
, Bart Verheij
:
Hierarchical Precedential Constraint. ICAIL 2023: 333-342 - [c104]Daphne Odekerken
, Floris Bex, Henry Prakken:
Precedent-Based Reasoning with Incomplete Cases. JURIX 2023: 33-42 - [c103]Wijnand van Woerkom, Davide Grossi
, Henry Prakken, Bart Verheij
:
Hierarchical a Fortiori Reasoning with Dimensions. JURIX 2023: 43-52 - [c102]Henry Prakken:
Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions. KR 2023: 562-571 - [c101]Marcel Robeer
, Floris Bex
, Ad Feelders
, Henry Prakken
:
Explaining Model Behavior with Global Causal Analysis. xAI (1) 2023: 299-323 - 2022
- [j58]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
:
Thirty years of Artificial Intelligence and Law: the second decade. Artif. Intell. Law 30(4): 521-557 (2022) - [j57]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
:
Correction: thirty years of Artificial Intelligence and Law: the second decade. Artif. Intell. Law 30(4): 559 (2022) - [j56]Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij
:
Deductive and abductive argumentation based on information graphs. Argument Comput. 13(1): 49-91 (2022) - [j55]Henry Prakken, Rosa Ratsma:
A top-level model of case-based argumentation for explanation: Formalisation and experiments. Argument Comput. 13(2): 159-194 (2022) - [c100]Joeri Peters, Floris Bex, Henry Prakken:
Justifications Derived from Inconsistent Case Bases Using Authoritativeness. ArgXAI@COMMA 2022 - [c99]Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
:
Arguing About the Existence of Conflicts. COMMA 2022: 284-295 - [c98]Henry Prakken:
Formalising an Aspect of Argument Strength: Degrees of Attackability. COMMA 2022: 296-307 - [c97]Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij:
Justification in Case-Based Reasoning. ArgXAI@COMMA 2022 - [c96]Wijnand van Woerkom, Davide Grossi
, Henry Prakken, Bart Verheij
:
Landmarks in Case-Based Reasoning: From Theory to Data. HHAI 2022: 212-224 - [c95]Tim van den Belt, Henry Prakken:
Measuring the Complexity of Dutch Legislation. JURIX 2022: 249-254 - 2021
- [j54]Henry Prakken
:
A formal analysis of some factor- and precedent-based accounts of precedential constraint. Artif. Intell. Law 29(4): 559-585 (2021) - [j53]Remi Wieten
, Floris Bex
, Henry Prakken, Silja Renooij
:
Information graphs and their use for Bayesian network graph construction. Int. J. Approx. Reason. 136: 249-280 (2021) - [c94]Henry Prakken
:
Philosophical Reflections on Argument Strength and Gradual Acceptability. ECSQARU 2021: 144-158 - [c93]Floris Bex, Henry Prakken:
On the relevance of algorithmic decision predictors for judicial decision making. ICAIL 2021: 175-179 - [c92]Floris Bex, Henry Prakken:
Can Predictive Justice Improve the Predictability and Consistency of Judicial Decision-Making? JURIX 2021: 207-214 - 2020
- [j52]Henry Prakken:
A new use case for argumentation support tools: supporting discussions of Bayesian analyses of complex criminal cases. Artif. Intell. Law 28(1): 27-49 (2020) - [j51]Katie Atkinson, Trevor J. M. Bench-Capon
, Floris Bex, Thomas F. Gordon, Henry Prakken, Giovanni Sartor
, Bart Verheij
:
In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law. Artif. Intell. Law 28(3): 281-326 (2020) - [j50]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:
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 53(8): 18-28 (2020) - [j49]Henry Prakken
, Floris Bex, Anne Ruth Mackor:
Editors' Review and Introduction: Models of Rational Proof in Criminal Law. Top. Cogn. Sci. 12(4): 1053-1067 (2020) - [j48]Henry Prakken:
An Argumentation-Based Analysis of the Simonshaven Case. Top. Cogn. Sci. 12(4): 1068-1091 (2020) - [j47]Alejandro Javier García, Henry Prakken
, Guillermo Ricardo Simari
:
A Comparative Study of Some Central Notions of ASPIC+ and DeLP. Theory Pract. Log. Program. 20(3): 358-390 (2020) - [c91]Henry Prakken:
On Validating Theories of Abstract Argumentation Frameworks: The Case of Bipolar Argumentation Frameworks. CMNA@COMMA 2020: 21-30 - [c90]Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij
:
Deductive and Abductive Reasoning with Causal and Evidential Information. COMMA 2020: 383-394 - [e2]Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi:
Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020. Frontiers in Artificial Intelligence and Applications 326, IOS Press 2020, ISBN 978-1-64368-106-1 [contents]
2010 – 2019
- 2019
- [c89]Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij
:
Constructing Bayesian Network Graphs from Labeled Arguments. ECSQARU 2019: 99-110 - [c88]Henry Prakken:
Modelling Accrual of Arguments in ASPIC+. ICAIL 2019: 103-112 - [c87]Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij
:
Supporting Discussions About Forensic Bayesian Networks Using Argumentation. ICAIL 2019: 143-152 - [c86]Henry Prakken:
Comparing Alternative Factor- and Precedent-Based Accounts of Precedential Constraint. JURIX 2019: 73-82 - [i4]Alejandro Javier García, Henry Prakken, Guillermo Ricardo Simari:
A Comparative Study of Some Central Notions of ASPIC+ and DeLP. CoRR abs/1909.02810 (2019) - 2018
- [j46]Sanjay Modgil, Henry Prakken:
Corrigendum to "A general account of argumentation with preferences" [Artif. Intell. 195 (2013) 361-397]. Artif. Intell. 263: 107-110 (2018) - [c85]Henry Prakken, Michiel De Winter:
Abstraction in Argumentation: Necessary but Dangerous. COMMA 2018: 85-96 - [c84]Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij
:
Exploiting Causality in Constructing Bayesian Network Graphs from Legal Arguments. JURIX 2018: 151-160 - [c83]Henry Prakken:
Probabilistic Strength of Arguments with Structure. KR 2018: 158-167 - [i3]Sanjay Modgil, Henry Prakken:
A General Account of Argumentation with Preferences. CoRR abs/1804.06763 (2018) - 2017
- [j45]Floris Bex, Henry Prakken, Tom M. van Engers
, Bart Verheij
:
Introduction to the special issue on Artificial Intelligence for Justice (AI4J). Artif. Intell. Law 25(1): 1-3 (2017) - [j44]Henry Prakken:
On the problem of making autonomous vehicles conform to traffic law. Artif. Intell. Law 25(3): 341-363 (2017) - [j43]Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter
, Henry Prakken, Chris Reed
, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata:
Towards Artificial Argumentation. AI Mag. 38(3): 25-36 (2017) - [j42]Sanjay Modgil, Henry Prakken:
Abstract Rule-Based Argumentation. FLAP 4(8) (2017) - [j41]Henry Prakken:
Historical Overview of Formal Argumentation. FLAP 4(8) (2017) - [j40]Sjoerd T. Timmer
, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij
:
A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. 80: 475-494 (2017) - [c82]Remi Wieten, Floris Bex, Linda C. van der Gaag, Henry Prakken, Silja Renooij
:
Refining a Heuristic for Constructing Bayesian Networks from Structured Arguments. BNCAI 2017: 32-45 - [c81]Henry Prakken:
On Relating Abstract and Structured Probabilistic Argumentation: A Case Study. ECSQARU 2017: 69-79 - [c80]Henry Prakken:
On making autonomous vehicles respect traffic law: a case study for dutch law. ICAIL 2017: 241-244 - [c79]Henry Prakken:
Argument Schemes for Discussing Bayesian Modellings of Complex Criminal Cases. JURIX 2017: 69-78 - 2016
- [j39]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij
:
A method for explaining Bayesian networks for legal evidence with scenarios. Artif. Intell. Law 24(3): 285-324 (2016) - [j38]Bin Wei, Henry Prakken:
An analysis of critical-link semantics with variable degrees of justification. Argument Comput. 7(1): 35-53 (2016) - [j37]Diana Grooters, Henry Prakken:
Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency. J. Artif. Intell. Res. 56: 197-245 (2016) - [c78]Henry Prakken:
Rethinking the Rationality Postulates for Argumentation-Based Inference. COMMA 2016: 419-430 - 2015
- [j36]Henry Prakken, Giovanni Sartor
:
Law and logic: A review from an argumentation perspective. Artif. Intell. 227: 214-245 (2015) - [j35]Henry Prakken, Adam Z. Wyner
, Trevor J. M. Bench-Capon
, Katie Atkinson:
A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J. Log. Comput. 25(5): 1141-1166 (2015) - [c77]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij
:
Explaining Bayesian Networks Using Argumentation. ECSQARU 2015: 83-92 - [c76]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij
:
A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL 2015: 109-118 - [c75]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij
:
Constructing and understanding Bayesian networks for legal evidence with scenario schemes. ICAIL 2015: 128-137 - [c74]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij
:
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL 2015: 233-234 - [c73]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij:
Explaining Legal Bayesian Networks Using Support Graphs. JURIX 2015: 121-130 - [c72]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Representing the Quality of Crime Scenarios in a Bayesian Network. JURIX 2015: 131-140 - [c71]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij:
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX 2015: 173-176 - [p6]Henry Prakken:
Formalising Debates About Law-Making Proposals as Practical Reasoning. Logic in the Theory and Practice of Lawmaking 2015: 301-321 - 2014
- [j34]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Building Bayesian networks for legal evidence with narratives: a case study evaluation. Artif. Intell. Law 22(4): 375-421 (2014) - [j33]Philippe Besnard, Alejandro Javier García, Anthony Hunter
, Sanjay Modgil
, Henry Prakken, Guillermo Ricardo Simari, Francesca Toni
:
Introduction to structured argumentation. Argument Comput. 5(1): 1-4 (2014) - [j32]Sanjay Modgil
, Henry Prakken:
The ASPIC+ framework for structured argumentation: a tutorial. Argument Comput. 5(1): 31-62 (2014) - [c70]Diana Grooters, Henry Prakken:
Combining Paraconsistent Logic with Argumentation. COMMA 2014: 301-312 - [c69]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij
:
A Tool for the Generation of Arguments from Bayesian Networks. COMMA 2014: 479-480 - [c68]Henry Prakken:
On support relations in abstract argumentation as abstractions of inferential relations. ECAI 2014: 735-740 - [c67]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij:
Extracting Legal Arguments from Forensic Bayesian Networks. JURIX 2014: 71-80 - [c66]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. JURIX 2014: 103-112 - 2013
- [j31]Sanjay Modgil
, Henry Prakken:
A general account of argumentation with preferences. Artif. Intell. 195: 361-397 (2013) - [j30]Floris Bex, Sanjay Modgil
, Henry Prakken, Chris Reed
:
On logical specifications of the Argument Interchange Format. J. Log. Comput. 23(5): 951-989 (2013) - [c65]Henry Prakken, Dan Ionita
, Roel J. Wieringa:
Risk Assessment as an Argumentation Game. CLIMA 2013: 357-373 - [c64]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network. CMN 2013: 315-332 - [c63]Trevor J. M. Bench-Capon
, Henry Prakken, Adam Z. Wyner
, Katie Atkinson:
Argument schemes for reasoning with legal cases using values. ICAIL 2013: 13-22 - [c62]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Modeling crime scenarios in a Bayesian network. ICAIL 2013: 150-159 - [c61]Katie Atkinson, Trevor J. M. Bench-Capon
, Henry Prakken, Adam Z. Wyner
:
Argumentation Schemes for Reasoning about Factors with Dimensions. JURIX 2013: 39-48 - [c60]Henry Prakken, Giovanni Sartor
:
Formalising arguments about norms. JURIX 2013: 121-130 - [c59]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. JURIX 2013: 145-154 - 2012
- [j29]Henry Prakken:
Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics. Artif. Intell. Law 20(1): 57-82 (2012) - [j28]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:
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. Law 20(3): 215-319 (2012) - [j27]Henry Prakken, John F. Horty:
An appreciation of John Pollock's work on the computational study of argument. Argument Comput. 3(1): 1-19 (2012) - [j26]Bas van Gijzel, Henry Prakken:
Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation. Argument Comput. 3(1): 21-47 (2012) - [c58]Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Testing the benfits of structured argumentation in multi-agent deliberation dialogues. AAMAS 2012: 1411-1412 - [c57]Henry Prakken:
Some Reflections on Two Current Trends in Formal Argumentation. Logic Programs, Norms and Action 2012: 249-272 - [c56]Sanjay Modgil, Henry Prakken:
Resolutions in Structured Argumentation. COMMA 2012: 310-321 - [c55]Henry Prakken, Sanjay Modgil:
Clarifying some misconceptions on the ASPIC+ framework. COMMA 2012: 442-453 - [c54]Henry Prakken:
Formalising a legal opinion on a legislative proposal in the ASPIC+ framework. JURIX 2012: 119-128 - 2011
- [c53]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS 2011: 136-153 - [c52]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Multi-criteria argument selection in persuasion dialogues. AAMAS 2011: 921-928 - [c51]Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk:
A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. EUMAS 2011: 160-174 - [c50]Trevor J. M. Bench-Capon
, Henry Prakken, Wietske Visser:
Argument schemes for two-phase democratic deliberation. ICAIL 2011: 21-30 - [c49]Sanjay Modgil, Henry Prakken:
Revisiting Preferences and Argumentation. IJCAI 2011: 1021-1026 - [c48]Bas van Gijzel, Henry Prakken:
Relating Carneades with Abstract Argumentation. IJCAI 2011: 1113-1119 - [c47]Henry Prakken, Giovanni Sartor
:
On modelling burdens and standards of proof in structured argumentation. JURIX 2011: 83-92 - 2010
- [j25]Floris J. Bex, Peter J. van Koppen, Henry Prakken, Bart Verheij:
A hybrid formal theory of arguments, stories and criminal evidence. Artif. Intell. Law 18(2): 123-152 (2010) - [j24]Trevor J. M. Bench-Capon
, Henry Prakken:
Using argument schemes for hypothetical reasoning in law. Artif. Intell. Law 18(2): 153-174 (2010) - [j23]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:
Reports of the AAAI 2009 Fall Symposia. AI Mag. 31(1): 88-94 (2010) - [j22]Henry Prakken:
An abstract framework for argumentation with structured arguments. Argument Comput. 1(2): 93-124 (2010) - [c46]Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS 2010: 31-48 - [c45]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Arguing about Preferences and Decisions. ArgMAS 2010: 68-85 - [c44]Floris Bex, Henry Prakken, Chris Reed
:
A formal analysis of the AIF in terms of the ASPIC framework. COMMA 2010: 99-110 - [c43]Sanjay Modgil, Henry Prakken:
Reasoning about Preferences in Structured Extended Argumentation Frameworks. COMMA 2010: 347-358 - [c42]Trevor J. M. Bench-Capon
, Henry Prakken:
A lightweight formal model of two-phase democratic deliberation. JURIX 2010: 27-36
2000 – 2009
- 2009
- [j21]Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Research challenges for argumentation. Comput. Sci. Res. Dev. 23(1): 27-34 (2009) - [j20]Trevor J. M. Bench-Capon
, Henry Prakken:
Editorial: Logic and Law Corner. J. Log. Comput. 19(6): 899 (2009) - [c41]Trevor J. M. Bench-Capon, Simon Parsons, Henry Prakken:
Preface. AAAI Fall Symposium: The Uses of Computational Argumentation 2009 - [c40]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Practical Reasoning Using Values. ArgMAS 2009: 79-93 - [c39]Sindhu Joseph, Henry Prakken:
Coherence-driven argumentation to norm consensus. ICAIL 2009: 58-67 - [c38]Trevor J. M. Bench-Capon
, Henry Prakken:
A case study of hypothetical and value-based reasoning in US Supreme-Court cases. JURIX 2009: 11-20 - [p5]Henry Prakken:
Models of Persuasion Dialogue. Argumentation in Artificial Intelligence 2009: 281-300 - [p4]Trevor J. M. Bench-Capon
, Henry Prakken, Giovanni Sartor
:
Argumentation in Legal Reasoning. Argumentation in Artificial Intelligence 2009: 363-382 - 2008
- [j19]Henry Prakken:
A formal model of adjudication dialogues. Artif. Intell. Law 16(3): 305-328 (2008) - [j18]Henry Prakken:
Formalising ordinary legal disputes: a case study. Artif. Intell. Law 16(4): 333-359 (2008) - [j17]Trevor J. M. Bench-Capon
, Henry Prakken:
Introducing the Logic and Law Corner. J. Log. Comput. 18(1): 1-12 (2008) - [c37]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Personality-Based Practical Reasoning. ArgMAS 2008: 3-18 - [c36]Floris Bex, Henry Prakken:
Investigating Stories in a Formal Dialogue Game. COMMA 2008: 73-84 - [c35]Sanjay Modgil, Henry Prakken:
Applying Preferences to Dialogue Graphs. COMMA 2008: 252-263 - [c34]Régis Riveret, Henry Prakken, Antonino Rotolo, Giovanni Sartor:
Heuristics in Argumentation: A Game Theory Investigation. COMMA 2008: 324-335 - [c33]Susan W. van den Braak, Herre van Oostendorp, Gerard Vreeswijk, Henry Prakken:
The role of compression and refinement in visualization tools for crime analysts. ICLS (3) 2008: 143-144 - [c32]Henry Prakken:
Combining Modes of Reasoning: An Application of Abstract Argumentation. JELIA 2008: 349-361 - [c31]Susan W. van den Braak
, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk:
Representing narrative and testimonial knowledge in sense-making software for crime analysis. JURIX 2008: 160-169 - [c30]Henry Prakken, Giovanni Sartor
:
More on Presumptions and Burdens of Proof. JURIX 2008: 176-185 - [e1]Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Perspectives Workshop: Theory and Practice of Argumentation Systems, 20.01. - 23.01.2008. Dagstuhl Seminar Proceedings 08042, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [i2]Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Research Challenges for Argumentation. Perspectives Workshop: Theory and Practice of Argumentation Systems 2008 - 2007
- [j16]Thomas F. Gordon, Henry Prakken, Douglas Walton:
The Carneades model of argument and burden of proof. Artif. Intell. 171(10-15): 875-896 (2007) - [c29]Floris J. Bex, Henry Prakken, Bart Verheij:
Formalising argumentative story-based analysis of evidence. ICAIL 2007: 1-10 - [c28]Susan W. van den Braak
, Gerard Vreeswijk, Henry Prakken:
AVERs: an argument visualization tool for representing stories about evidence. ICAIL 2007: 11-15 - [c27]Henry Prakken, Giovanni Sartor
:
Formalising arguments about the burden of persuasion. ICAIL 2007: 97-106 - [c26]Pieter Dijkstra, Henry Prakken, Kees de Vey Mestdagh:
An implementation of norm-based agent negotiation. ICAIL 2007: 167-175 - [c25]Jobien Sombekke, Tom M. van Engers
, Henry Prakken:
Argumentation structures in legal dossiers. ICAIL 2007: 277-281 - [c24]Régis Riveret, Antonino Rotolo, Giovanni Sartor, Henry Prakken, Bram Roth:
Success chances in argument games: a probabilistic approach to legal disputes. JURIX 2007: 99-108 - 2006
- [j15]Henry Prakken:
Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21(2): 163-188 (2006) - [c23]Trevor J. M. Bench-Capon, Henry Prakken:
Justifying Actions by Accruing Arguments. COMMA 2006: 247-258 - [c22]Henry Prakken:
Combining sceptical epistemic reasoning with credulous practical reasoning. COMMA 2006: 311-322 - [c21]Floris Bex, Henry Prakken, Bart Verhey:
Anchored Narratives in Reasoning about Evidence. JURIX 2006: 11-20 - [c20]Henry Prakken, Giovanni Sartor:
Presumptions and Burdens of Proof. JURIX 2006: 21-30 - [p3]Henry Prakken:
Artificial Intelligence & Law, Logic and Argument Schemes. Arguing on the Toulmin Model 2006: 231-245 - 2005
- [j14]Pieter Dijkstra, Floris Bex, Henry Prakken, Kees de Vey Mestdagh:
Towards a multi-agent system for regulated information exchange in crime investigations. Artif. Intell. Law 13(1): 133-151 (2005) - [j13]Henry Prakken:
Coherence and Flexibility in Dialogue Games for Argumentation. J. Log. Comput. 15(6): 1009-1040 (2005) - [c19]Jelle van Veenen, Henry Prakken:
A Protocol for Arguing About Rejections in Negotiation. ArgMAS 2005: 138-153 - [c18]Jelle van Veenen, Henry Prakken:
A verifiable protocol for arguing about rejections in negotiation. AAMAS 2005: 1165-1166 - [c17]Henry Prakken:
A study of accrual of arguments, with applications to evidential reasoning. ICAIL 2005: 85-94 - [c16]Henry Prakken, Chris Reed
, Douglas Walton:
Dialogues about the burden of proof. ICAIL 2005: 115-124 - 2004
- [p2]Trevor J. M. Bench-Capon
, James B. Freeman, Hanns Hohmann, Henry Prakken:
Computational Models, Argumentation Theories and Legal Practice. Argumentation Machines 2004: 85-120 - 2003
- [j12]Floris Bex, Henry Prakken, Chris Reed
, Douglas Walton:
Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations. Artif. Intell. Law 11(2-3): 125-165 (2003) - [j11]Gerhard Brewka, Henry Prakken, Gerard Vreeswijk:
Special Issue on Computational Dialectics: an Introduction. J. Log. Comput. 13(3): 317-318 (2003) - [c15]Hugo de Bruin, Henry Prakken, Jörgen S. Svensson:
The use of legal knowledge-based systems in public administration: what can go wrong? Evaluation of Legal Reasoning and Problem-Solving Systems 2003: 14-16 - [c14]Henry Prakken, Chris Reed
, Douglas Walton:
Argumentation Schemes and Generalizations in Reasoning about Evidence. ICAIL 2003: 32-41 - 2002
- [j10]Henry Prakken:
An exercise in formalising teleological case-based reasoning. Artif. Intell. Law 10(1-3): 113-133 (2002) - [c13]Henry Prakken, Giovanni Sartor:
The Role of Logic in Computational Models of Legal Argument: A Critical Survey. Computational Logic: Logic Programming and Beyond 2002: 342-381 - [c12]Henry Prakken:
Intuitions and the modelling of defeasible reasoning: some case studies. NMR 2002: 91-102 - [i1]Henry Prakken:
Intuitions and the modelling of defeasible reasoning: some case studies. CoRR cs.AI/0207031 (2002) - 2001
- [j9]Henry Prakken:
Modelling Defeasibility in Law: Logic or Procedure? Fundam. Informaticae 48(2-3): 253-271 (2001) - [j8]Henry Prakken:
Relating Protocols For Dynamic Dispute With Logics For Defeasible Argumentation. Synth. 127(1-2): 187-219 (2001) - [c11]Henry Prakken:
Modelling reasoning about evidence in legal procedure. ICAIL 2001: 119-128 - 2000
- [j7]Eveline T. Feteris, Henry Prakken:
Introduction: Dialectical legal argument: Formal and informal models. Artif. Intell. Law 8(2/3): 107-113 (2000) - [c10]Henry Prakken:
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. JELIA 2000: 224-238 - [c9]Gerard Vreeswijk, Henry Prakken:
Credulous and Sceptical Argument Games for Preferred Semantics. JELIA 2000: 239-253
1990 – 1999
- 1999
- [c8]Henry Prakken, Thomas F. Gordon:
Rules of Order for Electronic Group Decision Making - A Formalization Methodology. Collaboration between Human and Artificial Societies 1999: 246-263 - [p1]Henry Prakken, Giovanni Sartor:
A System for Defeasible Argumentation, with Defeasible Priorities. Artificial Intelligence Today 1999: 365-379 - 1998
- [j6]Henry Prakken, Giovanni Sartor:
Modelling Reasoning with Precedents in a Formal Dialogue Game. Artif. Intell. Law 6(2-4): 231-287 (1998) - 1997
- [j5]Henry Prakken, Giovanni Sartor:
Argument-Based Extended Logic Programming with Defeasible Priorities. J. Appl. Non Class. Logics 7(1): 25-75 (1997) - [c7]Henry Prakken, Giovanni Sartor:
Reasoning with Precedents in a Dialogue Game. ICAIL 1997: 1-9 - [c6]Henry Prakken:
Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report). ModelAge Workshop 1997: 202-215 - 1996
- [j4]Henry Prakken, Giovanni Sartor:
A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning. Artif. Intell. Law 4(3-4): 331-368 (1996) - [j3]Henry Prakken:
Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Stud Logica 57(1): 73-90 (1996) - [j2]Henry Prakken, Marek J. Sergot:
Contrary-to-Duty Obligations. Stud Logica 57(1): 91-115 (1996) - [c5]Henry Prakken, Giovanni Sartor:
A System for Defeasible Argumentation, with Defeasible Priorities. FAPR 1996: 510-524 - 1995
- [c4]Henry Prakken, Giovanni Sartor:
On the Relation Between Legal Language and Legal Argument: Assumptions, Applicability and Dynamic Priorities. ICAIL 1995: 1-10 - [c3]Henry Prakken:
From Logic to Dialectics in Legal Argument. ICAIL 1995: 165-174 - 1993
- [j1]Henry Prakken:
An Argumentation Framework in Default Logic. Ann. Math. Artif. Intell. 9(1-2): 93-132 (1993) - [c2]Henry Prakken:
A Logical Framework for Modelling Legal Argument. ICAIL 1993: 1-9 - 1991
- [c1]Henry Prakken:
A Tool in Modelling Disagreement in Law: Preferring the Most Specific Argument. ICAIL 1991: 165-174
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint