Resolving counterintuitive consequences in law using legal debugging

[1]  K. Branting,et al.  Building Explanations from Rules and Structured Cases , 1991, Int. J. Man Mach. Stud..

[2]  Bart Verheij,et al.  Formalizing value-guided argumentation for ethical systems design , 2016, Artificial Intelligence and Law.

[3]  Stephen Muggleton,et al.  Non-monotonic learning , 1991 .

[4]  Michael Thielscher,et al.  The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..

[5]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[6]  Douglas Walton,et al.  Statutory Interpretation as Argumentation , 2018 .

[7]  Edward Hirsch Levi,et al.  An Introduction to Legal Reasoning , 1950 .

[8]  Michael P. Healy.  Communis Opinio and the Methods of Statutory Interpretation: Interpreting Law or Changing Law , 2001 .

[9]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[10]  Vincent A. W. M. M. Aleven,et al.  Teaching case-based argumentation through a model and examples , 1997 .

[11]  Marina De Vos,et al.  A model-based approach to the automatic revision of secondary legislation , 2013, ICAIL.

[12]  Trevor J. M. Bench-Capon,et al.  AGATHA: Using heuristic search to automate the construction of case law theories , 2005, Artificial Intelligence and Law.

[13]  Adam Rigoni.  An improved factor based approach to precedential constraint , 2015, Artificial Intelligence and Law.

[14]  Gordon Plotkin,et al.  A Note on Inductive Generalization , 2008 .

[15]  Kevin D. Ashley,et al.  A case-based system for trade secrets law , 1987, ICAIL '87.

[16]  Trevor J. M. Bench-Capon,et al.  Describing the Development of Case Law , 2019, ICAIL.

[17]  D. M. Sherman.  A Prolog model of the income tax act of Canada , 1987, ICAIL '87.

[18]  Trevor J. M. Bench-Capon,et al.  PADUA: a protocol for argumentation dialogue using association rules , 2009, Artificial Intelligence and Law.

[19]  Carole D. Hafner,et al.  Understanding precedents in a temporal context of evolving legal doctrine , 1995, ICAIL '95.

[20]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[21]  Edwina L. Rissland,et al.  CABARET: Rule Interpretation in a Hybrid Architecture , 1991, Int. J. Man Mach. Stud..

[22]  Ken Satoh,et al.  Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming , 2009, JURIX.

[23]  Henry Prakken,et al.  A tool in modelling disagreement in law: preferring the most specific argument , 1991, ICAIL '91.

[24]  Michal Araszkiewicz,et al.  The Concept of Normative Consequence and Legislative Discourse , 2015, Logic in the Theory and Practice of Lawmaking.

[25]  Trevor J. M. Bench-Capon,et al.  Argument Based Machine Learning Applied to Law , 2005, Artificial Intelligence and Law.

[26]  Vincent Aleven,et al.  Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment , 2003, Artif. Intell..

[27]  Krysia Broda,et al.  Automated Inference of Rules with Exception from Past Legal Cases Using ASP , 2015, LPNMR.

[28]  Edwina L. Rissland,et al.  Detecting change in legal concepts , 1995, ICAIL '95.