A formal model of adjudication dialogues

[1]  Giovanni Sartor,et al.  Defeasibility in Legal Reasoning , 2009 .

[2]  Bart Verheij,et al.  About the logical relations between cases and rules , 2008, JURIX.

[3]  C. L. Hamblin.  Mathematical models of dialogue1 , 2008 .

[4]  Giovanni Sartor,et al.  Legal Knowledge and Information Systems , 2008 .

[5]  Henry Prakken,et al.  Formalising arguments about the burden of persuasion , 2007, ICAIL.

[6]  Henry Prakken,et al.  Presumptions and Burdens of Proof , 2006, JURIX.

[7]  Henry Prakken,et al.  DOI: 10.1017/S000000000000000 Printed in the United Kingdom Formal systems for persuasion dialogue , 2022 .

[8]  Henry Prakken,et al.  Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..

[9]  Henry Prakken,et al.  Dialogues about the burden of proof , 2005, ICAIL '05.

[10]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[11]  Ronald Prescott Loui.  Jaap Hage, Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic. Law and Philosophy Library , 2004, Artificial Intelligence and Law.

[12]  Jaap Hage,et al.  Dialectical models in artificial intelligence and law , 2000, Artificial Intelligence and Law.

[13]  Gerard Vreeswijk,et al.  Representation of formal dispute with astanding order , 2000, Artificial Intelligence and Law.

[14]  Trevor J. M. Bench-Capon,et al.  A method for the computational modelling of dialectical argument with dialogue games , 2000, Artificial Intelligence and Law.

[15]  Aleksander Peczenik,et al.  Jumps and logic in the law , 1996, Artificial Intelligence and Law.

[16]  Jaap Hage,et al.  Hard cases: A procedural approach , 1993, Artificial Intelligence and Law.

[17]  G. Sartor,et al.  The Role of Logic in Computational Models of Legal Argument: A Critical Survey , 2002, Computational Logic: Logic Programming and Beyond.

[18]  Henry Prakken,et al.  Modelling Defeasibility in Law: Logic or Procedure? , 2001, Fundam. Informaticae.

[19]  Henry Prakken,et al.  Modelling reasoning about evidence in legal procedure , 2001, ICAIL '01.

[20]  Ronald E. Leenes.  Burden of proof in dialogue games and Dutch civil procedure , 2001, ICAIL '01.

[21]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[22]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[23]  A. Lodder.  DiaLaw: On Legal Justification and Dialogical Models of Argumentation , 1999 .

[24]  Henry Prakken,et al.  Rules of Order for Electronic Group Decision Making - A Formalization Methodology , 1999, Collaboration between Human and Artificial Societies.

[25]  Ronald Prescott Loui,et al.  Process and Policy: Resource‐Bounded NonDemonstrative Reasoning , 1998, Comput. Intell..

[26]  Jaap Hage,et al.  Reasoning with Rules , 1997 .

[27]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[28]  J. Hage.  Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic , 1996 .

[29]  D. Walton,et al.  Commitment In Dialogue , 1995 .

[30]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[31]  Thomas F. Gordon,et al.  The pleadings game: formalizing procedural justice , 1993, ICAIL '93.

[32]  Lauri Carlson.  Dialogue Games: An Approach to Discourse Analysis , 1982 .

[33]  N. Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge. , 1979 .

[34]  Jim D. Mackenzie,et al.  Question-begging in non-cumulative systems , 1979, J. Philos. Log..

[35]  Nicholas Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .

[36]  N. Bridge.  Presumptions And Burdens , 1949 .