{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T10:52:19Z","timestamp":1778237539100,"version":"3.51.4"},"reference-count":175,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s10506-022-09329-4","type":"journal-article","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T10:04:11Z","timestamp":1662458651000},"page":"481-519","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Thirty years of Artificial Intelligence and Law: the first decade"],"prefix":"10.1007","volume":"30","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3975-4398","authenticated-orcid":false,"given":"Trevor","family":"Bench-Capon","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Verheij","sequence":"additional","affiliation":[]},{"given":"Micha\u0142","family":"Araszkiewicz","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Francesconi","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Grabmair","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,6]]},"reference":[{"issue":"08","key":"9329_CR1","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.2020.2996587","volume":"53","author":"Zeynep Akata","year":"2020","unstructured":"Akata Zeynep, Balliet Dan, De Rijke Maarten, Dignum Frank, Dignum Virginia, Eiben Guszti, Fokkens Antske, Grossi Davide, Hindriks Koen, Hoos Holger et al (2020) A research agenda for hybrid intelligence: augmenting human intellect with collaborative, adaptive, responsible, and explainable Artificial Intelligence. Computer 53(08):18\u201328","journal-title":"Computer"},{"issue":"1","key":"9329_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-016-9178-1","volume":"24","author":"Latifa Al-Abdulkarim","year":"2016","unstructured":"Al-Abdulkarim Latifa, Atkinson Katie, Bench-Capon Trevor (2016) A methodology for designing systems to reason with legal cases using ADFs. Artificial Intelligence Law 24(1):1\u201349","journal-title":"Artificial Intelligence Law"},{"key":"9329_CR3","unstructured":"Alchourr\u00f3n Carlos\u00a0E (1986) Conditionality and the representation of legal norms. In Antonio\u00a0A. Martino and Fiorenza Socci-Natali, editors, Automated analysis of legal texts, pages 175\u2013186. North Holland"},{"key":"9329_CR4","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"E Alchourr\u00f3n Carlos","year":"1982","unstructured":"Alchourr\u00f3n Carlos E, David Makinson (1982) On the logic of theory change: contraction functions and their associated revision functions. Theoria 48:14\u201337","journal-title":"Theoria"},{"key":"9329_CR5","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"Carlos E Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n Carlos E, David Makinson (1985) On the logic of theory change: safe contractions. Stud Logica 44:405\u2013422","journal-title":"Stud Logica"},{"issue":"2","key":"9329_CR6","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"E Alchourr\u00f3n Carlos","year":"1985","unstructured":"Alchourr\u00f3n Carlos E, Peter G\u00e4rdenfors, David Makinson (1985) On the logic of theory change: partial meet contraction and revision functions. J Symbolic Logic 50(2):510\u2013530","journal-title":"J Symbolic Logic"},{"issue":"1\u20132","key":"9329_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0004-3702(03)00105-X","volume":"150","author":"Vincent Aleven","year":"2003","unstructured":"Aleven Vincent (2003) Using background knowledge in case-based legal reasoning: a computational model and an intelligent learning environment. Artif Intell 150(1\u20132):183\u2013237","journal-title":"Artif Intell"},{"key":"9329_CR8","unstructured":"Aleven Vincent, Ashley Kevin\u00a0D (1994) An instructional environment for practicing argumentation skills. In Proceedings of AAAI 1994, pages 485\u2013492"},{"key":"9329_CR9","doi-asserted-by":"crossref","unstructured":"Aleven Vincent, Ashley Kevin\u00a0D (1995) Doing things with factors. In Proceedings of the 5th international conference on artificial intelligence and law, pages 31\u201341","DOI":"10.1145\/222092.222106"},{"key":"9329_CR10","first-page":"1","volume":"63","author":"Larry Alexander","year":"1989","unstructured":"Alexander Larry (1989) Constrained by precedent. Southern California Law Rev 63:1","journal-title":"Southern California Law Rev"},{"key":"9329_CR12","doi-asserted-by":"crossref","unstructured":"Araszkiewicz Micha\u0142, Bench-Capon Trevor, Francesconi Enrico, Lauritsen Marc, Rotolo Antonino (2022) Thirty years of ai and law: overviews. Artificial Intelligence Law, 30 (4): This issue","DOI":"10.1007\/s10506-022-09324-9"},{"issue":"4","key":"9329_CR13","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s10506-021-09285-5","volume":"29","author":"Julieth Patricia Castellanos-Ardila","year":"2021","unstructured":"Ardila Julieth Patricia Castellanos, Gallina Barbara, Governatori Guido (2021) Compliance-aware engineering process plans: the case of space software engineering processes. Artif Intell Law 29(4):587\u2013627","journal-title":"Artif Intell Law"},{"key":"9329_CR14","volume-title":"Modeling legal arguments: reasoning with cases and hypotheticals","author":"Kevin D Ashley","year":"1990","unstructured":"Ashley Kevin D (1990) Modeling legal arguments: reasoning with cases and hypotheticals. MIT press, UK"},{"key":"9329_CR15","unstructured":"Ashley Kevin\u00a0D, Aleven Vincent (1991) A computational approach to explaining case-based concepts of relevance in a tutorial context. In Proceedings of the 4th workshop on case-based reasoning, pages 257\u2013268"},{"issue":"2","key":"9329_CR16","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10506-009-9077-9","volume":"17","author":"Kevin D Ashley","year":"2009","unstructured":"Ashley Kevin D, Stefanie Br\u00fcninghaus (2009) Automatically classifying case texts and predicting outcomes. Artif Intell Law 17(2):125\u2013165","journal-title":"Artif Intell Law"},{"key":"9329_CR17","doi-asserted-by":"crossref","unstructured":"Atkinson Katie (2012) editor. Artificial Intelligence and Law: Special Issue on Modelling Popov v Hayashi 20:1","DOI":"10.1007\/s10506-012-9122-y"},{"key":"9329_CR18","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1016\/j.artint.2007.04.009","volume":"171","author":"Katie Atkinson","year":"2007","unstructured":"Atkinson Katie, Bench-Capon Trevor (2007) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171:855\u2013874","journal-title":"Artif Intell"},{"issue":"3","key":"9329_CR19","doi-asserted-by":"publisher","first-page":"417","DOI":"10.3233\/AAC-200543","volume":"12","author":"Katie Atkinson","year":"2021","unstructured":"Atkinson Katie, Bench-Capon Trevor (2021) Argumentation schemes in AI and law. Argument Comput 12(3):417\u2013434","journal-title":"Argument Comput"},{"issue":"3","key":"9329_CR20","first-page":"25","volume":"38","author":"Katie Atkinson","year":"2017","unstructured":"Atkinson Katie, Baroni Pietro, Giacomin Massimiliano, Hunter Anthony, Prakken Henry, Reed Chris, Simari Guillermo, Thimm Matthias, Villata Serena (2017) Toward artificial argumentation. AI Mag 38(3):25\u201336","journal-title":"AI Mag"},{"issue":"4","key":"9329_CR91","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10506-018-9218-0","volume":"26","author":"Islam Mohammad Badiul","year":"2018","unstructured":"Badiul Islam Mohammad, Guido Governatori (2018) Rulers: a rule-based architecture for decision support systems. Artif Intell Law 26(4):315\u2013344","journal-title":"Artif Intell Law"},{"issue":"1\u20132","key":"9329_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/AAC-200901","volume":"11","author":"Pietro Baroni","year":"2020","unstructured":"Baroni Pietro, Toni Francesca, Verheij Bart (2020) Introduction to the special issue \u2018on the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later\u2019. Argument Comput 11(1\u20132):1\u201314","journal-title":"Argument Comput"},{"key":"9329_CR22","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor (1989) Deep models, normative reasoning and legal expert systems. In Proceedings of the 2nd international conference on artificial intelligence and law, pages 37\u201345","DOI":"10.1145\/74014.74020"},{"key":"9329_CR23","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor (1993) Neural networks and open texture. In Proceedings of the 4th international conference on artificial intelligence and law, pages 292\u2013297","DOI":"10.1145\/158976.159012"},{"key":"9329_CR24","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor (1999) Some observations on modelling case based reasoning with formal argument models. In Proceedings of the 7th international conference on artificial intelligence and law, pages 36\u201342","DOI":"10.1145\/323706.323713"},{"issue":"1","key":"9329_CR25","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10506-012-9118-7","volume":"20","author":"Trevor Bench-Capon","year":"2012","unstructured":"Bench-Capon Trevor (2012) Representing Popov v Hayashi with dimensions and factors. Artif Intell Law 20(1):15\u201335","journal-title":"Artif Intell Law"},{"issue":"2","key":"9329_CR26","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10506-017-9201-1","volume":"25","author":"Trevor Bench-Capon","year":"2017","unstructured":"Bench-Capon Trevor (2017) HYPO\u2019s legacy: introduction to the virtual special issue. Artif Intell Law 25(2):205\u2013250","journal-title":"Artif Intell Law"},{"key":"9329_CR27","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor, Atkinson Katie (2021) Precedential constraint: The role of issues. In Proceedings of the 18th international conference on artificial intelligence and law, pages 12\u201321","DOI":"10.1145\/3462757.3466062"},{"issue":"1","key":"9329_CR28","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"Trevor Bench-Capon","year":"1992","unstructured":"Bench-Capon Trevor, Coenen Frans (1992) Isomorphism and legal knowledge based systems. Artif Intell Law 1(1):65\u201386","journal-title":"Artif Intell Law"},{"issue":"10\u201315","key":"9329_CR29","first-page":"619","volume":"171","author":"Trevor Bench-Capon","year":"2007","unstructured":"Bench-Capon Trevor, Dunne Paul (2007) Argumentation in artificial intelligence. artificial. Intelligence 171(10\u201315):619\u2013641","journal-title":"Intelligence"},{"key":"9329_CR30","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor, Forder Justin (1991)Knowledge representation for legal applications. In Trevor Bench-Capon, editor, Knowledge-Based Systems and Legal Applications, pages 245\u2013263. Academic Press","DOI":"10.1016\/B978-0-12-086441-6.50020-9"},{"key":"9329_CR31","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor, Gordon Thomas\u00a0F (2009) Isomorphism and argumentation. In Proceedings of the 12th international conference on artificial intelligence and law, pages 11\u201320","DOI":"10.1145\/1568234.1568237"},{"issue":"1","key":"9329_CR32","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10506-017-9194-9","volume":"25","author":"Trevor Bench-Capon","year":"2017","unstructured":"Bench-Capon Trevor, Modgil Sanjay (2017) Norms and value based reasoning: justifying compliance and violation. Artif Intell Law 25(1):29\u201364","journal-title":"Artif Intell Law"},{"issue":"2","key":"9329_CR33","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10506-010-9094-8","volume":"18","author":"Trevor Bench-Capon","year":"2010","unstructured":"Bench-Capon Trevor, Prakken Henry (2010) Using argument schemes for hypothetical reasoning in law. Artif Intell Law 18(2):153\u2013174","journal-title":"Artif Intell Law"},{"key":"9329_CR34","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor, Sartor Giovanni (2001) Theory based explanation of case law domains. In Proceedings of the 8th international conference on artificial intelligence and law, pages 12\u201321","DOI":"10.1145\/383535.383537"},{"issue":"1\u20132","key":"9329_CR35","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(03)00108-5","volume":"150","author":"Trevor Bench-Capon","year":"2003","unstructured":"Bench-Capon Trevor, Sartor Giovanni (2003) A model of legal reasoning with cases incorporating theories and values. Artif Intell 150(1\u20132):97\u2013143","journal-title":"Artif Intell"},{"key":"9329_CR36","unstructured":"Bench-Capon Trevor, Sergot Marek (1988) Towards a rule-based representation of open texture in law. In: Walter C (ed) Computer power and legal language: the use of computational linguistics. Artificial Intelligence, and Expert Systems in the Law. Quorum Books, New York, pp 39\u201360"},{"key":"9329_CR37","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor, Robinson Gwen, Routen Tom, Sergot Marek (1987) Logic programming for large scale applications in law: A formalisation of Supplementary Benefit legislation. In Proceedings of the 1st international conference on artificial intelligence and law, pages 190\u2013198","DOI":"10.1145\/41735.41757"},{"issue":"2","key":"9329_CR38","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/A:1008308627745","volume":"8","author":"Trevor Bench-Capon","year":"2000","unstructured":"Bench-Capon Trevor, Geldard Tim, Leng Paul (2000) A method for the computational modelling of dialectical argument with dialogue games. Artif Intell Law 8(2):233\u2013254","journal-title":"Artif Intell Law"},{"key":"9329_CR39","doi-asserted-by":"crossref","unstructured":"Berman Donald\u00a0H (1991) Developer\u2019s choice in the legal domain: the Sisyphean journey with CBR or down hill with rules. In Proceedings of the 3rd international conference on artificial intelligence and law, pages 307\u2013309","DOI":"10.1145\/112646.112685"},{"key":"9329_CR40","first-page":"1","volume":"3","author":"Donald H Berman","year":"1987","unstructured":"Berman Donald H, Hafner Carole L (1987) Indeterminacy: a challenge to logic-based models of legal reasoning. Year book Law Comput Technol 3:1\u201335","journal-title":"Year book Law Comput Technol"},{"key":"9329_CR41","doi-asserted-by":"crossref","unstructured":"Berman Donald\u00a0H, Hafner Carole\u00a0L (1993) Representing teleological structure in case-based legal reasoning: the missing link. In Proceedings of the 4th international conference on artificial intelligence and law, pages 50\u201359","DOI":"10.1145\/158976.158982"},{"issue":"2","key":"9329_CR42","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/B:ARTI.0000046007.11806.9a","volume":"11","author":"Floris Bex","year":"2003","unstructured":"Bex Floris, Prakken Henry, Reed Chris, Walton Douglas (2003) Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif Intell Law 11(2):125\u2013165","journal-title":"Artif Intell Law"},{"key":"9329_CR43","doi-asserted-by":"crossref","unstructured":"Bhuiyan Hanif, Governatori Guido, Bond Andy, Demmel Sebastien, Islam Mohammad\u00a0Badiul, Rakotonirainy Andry (2020) Traffic rules encoding using defeasible deontic logic. In Proceedings of JURIX 2020, pages 3\u201312","DOI":"10.3233\/FAIA200844"},{"key":"9329_CR44","doi-asserted-by":"crossref","unstructured":"Biagioli Carlo, Mariani Paola, Tiscornia Daniela (1987) ESPLEX: A rule and conceptual model for representing statutes. In Proceedings of the 1st international conference on artificial intelligence and law, pages 240\u2013251","DOI":"10.1145\/41735.41762"},{"key":"9329_CR45","doi-asserted-by":"crossref","unstructured":"Bochereau Laurent, Bourcier Dani\u00e8le, Bourgine Paul (1991) Extracting legal knowledge by means of a multilayer neural network application to municipal jurisprudence. In Proceedings of the 3rd international conference on artificial intelligence and law, pages 288\u2013296","DOI":"10.1145\/112646.112683"},{"key":"9329_CR46","doi-asserted-by":"crossref","unstructured":"Branting L\u00a0Karl (1991) Reasoning with portions of precedents. In Proceedings of the 3rd international conference on artificial intelligence and law, pages 145\u2013154","DOI":"10.1145\/112646.112664"},{"issue":"1","key":"9329_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00871744","volume":"2","author":"L Karl Branting","year":"1993","unstructured":"Branting L Karl (1993) A computational model of ratio decidendi. Artif Intell Law 2(1):1\u201331","journal-title":"Artif Intell Law"},{"issue":"2","key":"9329_CR48","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10506-020-09273-1","volume":"29","author":"L Karl Branting","year":"2021","unstructured":"Branting L Karl, Pfeifer Craig, Brown Bradford, Ferro Lisa, Aberdeen John, Weiss Brandy, Pfaff Mark, Liao Bill (2021) Scalable and explainable legal prediction. Artif Intell Law 29(2):213\u2013238","journal-title":"Artif Intell Law"},{"key":"9329_CR49","volume-title":"Nonomontonic reason","author":"Gerhard Brewka","year":"1991","unstructured":"Brewka Gerhard (1991) Nonomontonic reason. Logical Foundations of Commonsense. Cambridge University Press, Cambridge"},{"key":"9329_CR50","doi-asserted-by":"crossref","unstructured":"Br\u00fcninghaus Stefanie, Ashley Kevin\u00a0D (2003) Predicting outcomes of case based legal arguments. In Proceedings of the 9th international conference on artificial intelligence and law, pages 233\u2013242. ACM","DOI":"10.1145\/1047788.1047838"},{"issue":"2","key":"9329_CR51","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10506-011-9113-4","volume":"19","author":"Brigitte Burgemeestre","year":"2011","unstructured":"Burgemeestre Brigitte, Hulstijn Joris, Tan Yao-Hua (2011) Value-based argumentation for justifying compliance. Artif Intell Law 19(2):149\u2013186","journal-title":"Artif Intell Law"},{"key":"9329_CR52","doi-asserted-by":"crossref","unstructured":"Chalkidis Ilias, Androutsopoulos Ion, Michos Achilleas (2017) Extracting contract elements. In Proceedings of the 16th international conference on articial intelligence and law, pages 19\u201328","DOI":"10.1145\/3086512.3086515"},{"key":"9329_CR53","doi-asserted-by":"crossref","unstructured":"Chalkidis Ilias, Jana Abhik, Hartung Dirk, Bommarito Michael, Androutsopoulos Ion, Katz Daniel, Aletras Nikolaos (2022) LexGLUE: A benchmark dataset for legal language understanding in English. In Proceedings of the 60th annual meeting of the association for computational linguistics (Volume 1: Long Papers), pages 4310\u20134330","DOI":"10.18653\/v1\/2022.acl-long.297"},{"key":"9329_CR54","unstructured":"Coenen Frans, Bench-Capon Trevor (1991) Exploiting isomorphism: development of a kbs to support british coal insurance claims. In Proceedings of the 3rd international conference on artificial intelligence and law, pages 62\u201368"},{"key":"9329_CR55","doi-asserted-by":"crossref","unstructured":"Coenen Frans, Bench-Capon Trevor (1992) Building knowledge based systems for maintainability. In Proceedings of DEXA 1992, pages 415\u2013420. Springer","DOI":"10.1007\/978-3-7091-7557-6_71"},{"key":"9329_CR56","doi-asserted-by":"crossref","unstructured":"Di\u00a0Giusto Paolo, Governatori Guido (1999) A new approach to base revision. In Pedro Barahona and Jos\u00e9\u00a0J\u00falio Alferes, editors, Progress in Artificial Intelligence, 9th portuguese conference on artificial intelligence, volume 1695 of Lecture Notes in Computer Science, pages 327\u2013341. Springer","DOI":"10.1007\/3-540-48159-1_23"},{"issue":"1","key":"9329_CR57","doi-asserted-by":"publisher","first-page":"50","DOI":"10.15837\/ijccc.2018.1.3142","volume":"13","author":"Du Changshun","year":"2018","unstructured":"Changshun Du, Huang Lei (2018) Text classification research with attention-based recurrent neural networks. Int J Comput Commun Control 13(1):50\u201361","journal-title":"Int J Comput Commun Control"},{"key":"9329_CR58","unstructured":"Dung Phan\u00a0Minh (1993) An argumentation semantics for logic programming with explicit negation. In Proceedings of the 10th international conference on logic programming, pages 616\u2013630"},{"issue":"2","key":"9329_CR59","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"Dung Phan Minh","year":"1995","unstructured":"Dung Phan Minh (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321\u2013357","journal-title":"Artif Intell"},{"issue":"2","key":"9329_CR60","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(03)00076-6","volume":"149","author":"Paul Dunne","year":"2003","unstructured":"Dunne Paul, Bench-Capon Trevor (2003) Two party immediate response disputes: properties and efficiency. Artif Intell 149(2):221\u2013250","journal-title":"Artif Intell"},{"key":"9329_CR61","volume-title":"An Artificial Intelligence approach to legal reasoning","author":"Gardner Anne von der Lieth","year":"1987","unstructured":"Gardner Anne von der Lieth (1987) An Artificial Intelligence approach to legal reasoning. MIT press, USA"},{"issue":"2\u20133","key":"9329_CR62","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"Hector Geffner","year":"1992","unstructured":"Geffner Hector, Pearl Judea (1992) Conditional entailment: bridging two approaches to default reasoning. Artif Intell 53(2\u20133):209\u2013244","journal-title":"Artif Intell"},{"key":"9329_CR63","doi-asserted-by":"crossref","unstructured":"Goldman Seth\u00a0R, Dyer Michael\u00a0C, Flowers Margot (1987) Precedent-based legal reasoning and knowledge acquisition in contract law: A process model. In Proceedings of the 1st international conference on artificial intelligence and law, pages 210\u2013221","DOI":"10.1145\/41735.41759"},{"key":"9329_CR64","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0020-7373(07)80009-5","volume":"35","author":"Thomas F Gordon","year":"1991","unstructured":"Gordon Thomas F (1991) An abductive theory of legal issues. Int J Man Mach Stud 35:95\u2013118","journal-title":"Int J Man Mach Stud"},{"issue":"4","key":"9329_CR65","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00871972","volume":"2","author":"Thomas F Gordon","year":"1993","unstructured":"Gordon Thomas F (1993) The pleadings game. Artif Intell Law 2(4):239\u2013292","journal-title":"Artif Intell Law"},{"key":"9329_CR66","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8447-0","volume-title":"The pleadings game: an artificial intelligence model of procedural justice","author":"F Gordon Thomas","year":"1995","unstructured":"Gordon Thomas F (1995) The pleadings game: an artificial intelligence model of procedural justice. Springer, London"},{"key":"9329_CR67","doi-asserted-by":"crossref","unstructured":"Gordon Thomas\u00a0F (2013) Introducing the Carneades Web application. In Proceedings of the 14th international conference on artificial intelligence and law, pages 243\u2013244","DOI":"10.1145\/2514601.2514637"},{"issue":"1","key":"9329_CR68","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10506-012-9120-0","volume":"20","author":"Thomas F Gordon","year":"2012","unstructured":"Gordon Thomas F, Walton Douglas (2012) A Carneades reconstruction of Popov v Hayashi. Artif Intell Law 20(1):37\u201356","journal-title":"Artif Intell Law"},{"key":"9329_CR69","unstructured":"Gordon Thomas\u00a0F, Walton Douglas (2016) Formalizing balancing arguments. In Proceedings of COMMA 2016, pages 327\u2013338"},{"issue":"10\u201315","key":"9329_CR70","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"Thomas F Gordon","year":"2007","unstructured":"Gordon Thomas F, Prakken Henry, Walton Douglas (2007) The Carneades model of argument and burden of proof. Artif Intell 171(10\u201315):875\u2013896","journal-title":"Artif Intell"},{"issue":"2\u20133","key":"9329_CR71","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"Guido Governatori","year":"2005","unstructured":"Governatori Guido (2005) Representing business contracts in RuleML. Int J Cooperative Inform Syst 14(2\u20133):181\u2013216","journal-title":"Int J Cooperative Inform Syst"},{"key":"9329_CR72","doi-asserted-by":"crossref","unstructured":"Governatori Guido (2015) Thou shalt is not you will. In Proceedings of the 15th international conference on artificial intelligence and law, pages 63\u201368","DOI":"10.1145\/2746090.2746105"},{"key":"9329_CR73","doi-asserted-by":"crossref","unstructured":"Governatori Guido, Olivieri Francesco (2021) Unravel legal references in defeasible deontic logic. In Proceedings of the 18th international conference on artificial intelligence and law, pages 69\u201378","DOI":"10.1145\/3462757.3466080"},{"issue":"3","key":"9329_CR74","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"Guido Governatori","year":"2009","unstructured":"Governatori Guido, Padmanabhan Vineet, Rotolo Antonino, Sattar Abdul (2009) A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic J IGPL 17(3):227\u2013265","journal-title":"Logic J IGPL"},{"issue":"4","key":"9329_CR75","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10506-018-9223-3","volume":"26","author":"Guido Governatori","year":"2018","unstructured":"Governatori Guido, Idelberger Florian, Milosevic Zoran, Riveret R\u00e9gis, Sartor Giovanni, Xiwei Xu (2018) On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif Intell Law 26(4):377\u2013409","journal-title":"Artif Intell Law"},{"key":"9329_CR76","unstructured":"Grabmair Matthias (2016) Modeling purposive legal argumentation and case outcome prediction using argument schemes in the value judgment formalism. PhD thesis, University of Pittsburgh"},{"key":"9329_CR77","doi-asserted-by":"crossref","unstructured":"Grabmair Matthias (2017) Predicting Trade Secret case outcomes using argument schemes and learned quantitative value effect tradeoffs. In Proceedings of the 16th international conference on artificial intelligence and law, pages 89\u201398","DOI":"10.1145\/3086512.3086521"},{"issue":"1","key":"9329_CR78","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1023\/A:1019516031847","volume":"10","author":"Carole D Hafner","year":"2002","unstructured":"Hafner Carole D, Berman Donald H (2002) The role of context in case-based legal reasoning: teleological, temporal, and procedural. Artif Intell Law 10(1):19\u201364","journal-title":"Artif Intell Law"},{"key":"9329_CR79","doi-asserted-by":"crossref","unstructured":"Hage Jaap (1993) Monological Reason-Based Logic: A low level integration of rule-based reasoning and case-based reasoning. In Proceedings of the 4th international conference on artificial intelligence and law, pages 30\u201339","DOI":"10.1145\/158976.158980"},{"issue":"3","key":"9329_CR80","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00118493","volume":"4","author":"Jaap Hage","year":"1996","unstructured":"Hage Jaap (1996) A theory of legal reasoning and a logic to match. Artif Intell Law 4(3):199\u2013273","journal-title":"Artif Intell Law"},{"key":"9329_CR81","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8873-7","volume-title":"Reasoning with rules","author":"Jaap Hage","year":"1997","unstructured":"Hage Jaap (1997) Reasoning with rules. Kluwer Academic Publishers, An Essay on Legal Reasoning and Its Underlying Logic"},{"issue":"2","key":"9329_CR82","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1008348321016","volume":"8","author":"Jaap Hage","year":"2000","unstructured":"Hage Jaap (2000) Dialectical models in artificial intelligence and law. Artif Intell Law 8(2):137\u2013172","journal-title":"Artif Intell Law"},{"issue":"2","key":"9329_CR83","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF00871759","volume":"2","author":"Jaap Hage","year":"1993","unstructured":"Hage Jaap, Leenes Ronald, Lodder Arno R (1993) Hard cases: a procedural approach. Artif Intell Law 2(2):113\u2013167","journal-title":"Artif Intell Law"},{"issue":"3","key":"9329_CR84","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10506-017-9215-8","volume":"26","author":"Mustafa Hashmi","year":"2018","unstructured":"Hashmi Mustafa, Governatori Guido (2018) Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation. Artif Intell Law 26(3):251\u2013305","journal-title":"Artif Intell Law"},{"key":"9329_CR85","doi-asserted-by":"crossref","unstructured":"Herrestad Henning (1991) Norms and formalization. In Proceedings of the 3rd international conference on artificial intelligence and law, pages 175\u2013184","DOI":"10.1145\/112646.112667"},{"issue":"8","key":"9329_CR86","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","volume":"9","author":"Sepp Hochreiter","year":"1997","unstructured":"Hochreiter Sepp, Schmidhuber J\u00fcrgen (1997) Long short-term memory. Neural Comput 9(8):1735\u20131780","journal-title":"Neural Comput"},{"key":"9329_CR87","doi-asserted-by":"crossref","unstructured":"Holzenberger Nils, Van\u00a0Durme Benjamin (2021) Factoring statutory reasoning as language understanding challenges. In Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th international joint conference on natural language processing (Volume 1: Long Papers), pages 2742\u20132758","DOI":"10.18653\/v1\/2021.acl-long.213"},{"key":"9329_CR88","doi-asserted-by":"crossref","unstructured":"Horty John\u00a0F (2011) Reasons and precedent. In Proceedings of the 13th international conference on artificial intelligence and law, pages 41\u201350","DOI":"10.1145\/2018358.2018363"},{"issue":"2","key":"9329_CR89","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10506-012-9125-8","volume":"20","author":"John F Horty","year":"2012","unstructured":"Horty John F, Bench-Capon Trevor (2012) A factor-based definition of precedential constraint. Artif Intell Law 20(2):181\u2013214","journal-title":"Artif Intell Law"},{"issue":"2","key":"9329_CR90","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/A:1008301122056","volume":"7","author":"Dan Hunter","year":"1999","unstructured":"Hunter Dan (1999) Out of their minds: legal theory in neural networks. Artif Intell Law 7(2):129\u2013151","journal-title":"Artif Intell Law"},{"key":"9329_CR149","volume-title":"Kunnen Computers Rechtspreken? (Can Computers Decide Legal Cases?)","author":"H Jaap van den Herik","year":"1991","unstructured":"Jaap van den Herik H (1991) Kunnen Computers Rechtspreken? (Can Computers Decide Legal Cases?). Gouda Quint, Arnhem"},{"issue":"1","key":"9329_CR92","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00118478","volume":"1","author":"Andrew Jones","year":"1992","unstructured":"Jones Andrew, Sergot Marek (1992) Deontic logic in the representation of law: towards a methodology. Artif Intell Law 1(1):45\u201364","journal-title":"Artif Intell Law"},{"issue":"1","key":"9329_CR93","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1352325205050019","volume":"11","author":"Grant Lamond","year":"2005","unstructured":"Lamond Grant (2005) Do precedents create rules? Leg Theory 11(1):1\u201326","journal-title":"Leg Theory"},{"issue":"1","key":"9329_CR94","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s10506-015-9163-0","volume":"23","author":"Marc Lauritsen","year":"2015","unstructured":"Lauritsen Marc (2015) On balance. Artif Intell Law 23(1):23\u201342","journal-title":"Artif Intell Law"},{"key":"9329_CR95","doi-asserted-by":"crossref","unstructured":"Leenes Ronald (2001) Burden of proof in dialogue games and Dutch civil procedure. In Proceedings of the 8th international conference on artificial intelligence and law, pages 109\u2013118","DOI":"10.1145\/383535.383549"},{"key":"9329_CR96","unstructured":"Liu Fenrong, Marra Alessandra, Portner Paul, Van De\u00a0Putte Frederik (2021) editors. Deontic logic and normative systems, DEON 2020\/2021. College Publications"},{"key":"9329_CR97","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3957-1","volume-title":"DiaLaw: on legal justification and dialogical models of argumentation","author":"Arno R Lodder","year":"1999","unstructured":"Lodder Arno R (1999) DiaLaw: on legal justification and dialogical models of argumentation. Kluwer Academic Publishers, Dordrecht"},{"issue":"23","key":"9329_CR98","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1008327629468","volume":"8","author":"Arno R Lodder","year":"2000","unstructured":"Lodder Arno R, Gordon Thomas F (2000) The pleadings game \u2013 an artificial intelligence model of procedural justice. Artif Intel Law 8(23):255\u2013264","journal-title":"Artif Intel Law"},{"issue":"3","key":"9329_CR99","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00872529","volume":"3","author":"Ronald P Loui","year":"1995","unstructured":"Loui Ronald P, Norman Jeff (1995) Rationales and argument moves. Artif Intell Law 3(3):159\u2013189","journal-title":"Artif Intell Law"},{"issue":"4","key":"9329_CR100","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/s10726-014-9405-7","volume":"24","author":"Geraldine Mackenzie","year":"2015","unstructured":"Mackenzie Geraldine, Vincent Andrew, Zeleznikow John (2015) Negotiating about charges and pleas: balancing interests and justice. Group Decis Negot 24(4):577\u2013594","journal-title":"Group Decis Negot"},{"key":"9329_CR101","doi-asserted-by":"crossref","unstructured":"Mackenzie James\u00a0D (1979) Question-begging in non-cumulative systems. J Philosoph Logic, pages 117\u2013133","DOI":"10.1007\/BF00258422"},{"key":"9329_CR102","doi-asserted-by":"crossref","unstructured":"Maranh\u00e3o Juliano (2001) Refinement: A tool to deal with inconsistencies. In Proceedings of the 8th international conference on artificial intelligence and law, pages 52\u201359","DOI":"10.1145\/383535.383541"},{"key":"9329_CR103","doi-asserted-by":"crossref","unstructured":"Thorne McCarty L (1997) Some arguments about legal arguments. In Proceedings of the 6th international conference on artificial intelligence and law, pages 215\u2013224","DOI":"10.1145\/261618.261656"},{"key":"9329_CR104","unstructured":"Thorne McCarty L (1984) Intelligent legal information systems: problems and prospects. In C.\u00a0Campbell, editor, Data processing and the Law, pages 125\u2013151. Sweet and Maxwell, London"},{"key":"9329_CR105","first-page":"1","volume":"24","author":"Shah Jahan Miah","year":"2020","unstructured":"Miah Shah Jahan, Blake Jacqueline, Kerr Don (2020) Meta-design knowledge for clinical decision support systems. Australas J Inf Syst 24:1\u201326","journal-title":"Australas J Inf Syst"},{"key":"9329_CR106","unstructured":"Miller David (2021) Justice. In E.\u00a0N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Stanford University, Stanford"},{"key":"9329_CR107","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/j.artint.2012.10.008","volume":"195","author":"Sanjay Modgil","year":"2013","unstructured":"Modgil Sanjay, Prakken Henry (2013) A general account of argumentation with preferences. Artif Intell 195:361\u2013397","journal-title":"Artif Intell"},{"issue":"1","key":"9329_CR108","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/19462166.2013.869766","volume":"5","author":"Sanjay Modgil","year":"2014","unstructured":"Modgil Sanjay, Prakken Henry (2014) The ASPIC+ framework for structured argumentation: a tutorial. Argument Comput 5(1):31\u201362","journal-title":"Argument Comput"},{"issue":"3","key":"9329_CR109","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1023\/A:1015023512975","volume":"17","author":"Bernard Moulin","year":"2002","unstructured":"Moulin Bernard, Irandoust Hengameh, B\u00e9langer Micheline, Desbordes Ga\u00eblle (2002) Explanation and argumentation capabilities: towards the creation of more persuasive agents. Artif Intell Rev 17(3):169\u2013222","journal-title":"Artif Intell Rev"},{"key":"9329_CR110","doi-asserted-by":"crossref","unstructured":"Neill James\u00a0O\u2019, Buitelaar Paul, Robin Cecile, Brien Leona\u00a0O\u2019 (2017) Classifying sentential modality in legal language: a use case in financial regulations, acts and directives. In Proceedings of the 16th international conference on articial intelligence and law, pages 159\u2013168","DOI":"10.1145\/3086512.3086528"},{"issue":"2","key":"9329_CR111","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10506-018-9225-1","volume":"26","author":"Truong-Son Nguyen","year":"2018","unstructured":"Nguyen Truong-Son, Nguyen Le-Minh, Tojo Satoshi, Satoh Ken, Shimazu Akira (2018) Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts. Artif Intell Law 26(2):169\u2013199","journal-title":"Artif Intell Law"},{"issue":"1","key":"9329_CR112","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"John L Pollock","year":"1992","unstructured":"Pollock John L (1992) How to reason defeasibly. Artif Intell 57(1):1\u201342","journal-title":"Artif Intell"},{"key":"9329_CR113","doi-asserted-by":"crossref","unstructured":"Prakken Henry (1995) From logic to dialectics in legal argument. In Proceedings of the 5th international conference on artificial intelligence and law, pages 165\u2013174","DOI":"10.1145\/222092.222230"},{"key":"9329_CR114","doi-asserted-by":"crossref","unstructured":"Prakken Henry (1997a) Logical tools for modelling legal argument. a study of defeasible reasoning in law. Springer Science and Business Media B.V., Dordrecht","DOI":"10.1007\/978-94-015-8975-8"},{"key":"9329_CR115","doi-asserted-by":"crossref","unstructured":"Prakken Henry (1997b) Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report). In ModelAge workshop on formal models of agents, pages 202\u2013215. Springer","DOI":"10.1007\/3-540-46581-2_14"},{"key":"9329_CR116","doi-asserted-by":"crossref","unstructured":"Prakken Henry (2005) A study of accrual of arguments, with applications to evidential reasoning. In Proceedings of the 10th international conference on artificial intelligence and law, pages 85\u201394","DOI":"10.1145\/1165485.1165500"},{"issue":"3","key":"9329_CR117","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10506-008-9066-4","volume":"16","author":"Henry Prakken","year":"2008","unstructured":"Prakken Henry (2008) A formal model of adjudication dialogues. Artif Intell Law 16(3):305\u2013328","journal-title":"Artif Intell Law"},{"issue":"2","key":"9329_CR118","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"Henry Prakken","year":"2010","unstructured":"Prakken Henry (2010) An abstract framework for argumentation with structured arguments. Argument Comput 1(2):93\u2013124","journal-title":"Argument Comput"},{"issue":"1","key":"9329_CR119","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10506-012-9117-8","volume":"20","author":"Henry Prakken","year":"2012","unstructured":"Prakken Henry (2012) Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics. Artif Intell Law 20(1):57\u201382","journal-title":"Artif Intell Law"},{"issue":"3","key":"9329_CR120","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10506-017-9210-0","volume":"25","author":"Henry Prakken","year":"2017","unstructured":"Prakken Henry (2017) On the problem of making autonomous vehicles conform to traffic law. Artif Intell Law 25(3):341\u2013363","journal-title":"Artif Intell Law"},{"key":"9329_CR121","doi-asserted-by":"crossref","unstructured":"Prakken Henry (2019) Modelling accrual of arguments in ASPIC+. In Proceedings of the 17th international conference on artificial intelligence and law, pages 103\u2013112","DOI":"10.1145\/3322640.3326703"},{"issue":"4","key":"9329_CR122","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10506-021-09284-6","volume":"29","author":"Henry Prakken","year":"2021","unstructured":"Prakken Henry (2021) A formal analysis of some factor-and precedent-based accounts of precedential constraint. Artif Intell Law 29(4):559\u2013585","journal-title":"Artif Intell Law"},{"key":"9329_CR123","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00118496","volume":"4","author":"Henry Prakken","year":"1996","unstructured":"Prakken Henry, Sartor Giovanni (1996) A dialectical model of assessing conflicting arguments in legal reasoning. Artif Intell Law 4:3\u20134","journal-title":"Artif Intell Law"},{"issue":"2\u20134","key":"9329_CR124","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1008278309945","volume":"6","author":"Henry Prakken","year":"1998","unstructured":"Prakken Henry, Sartor Giovanni (1998) Modelling reasoning with precedents in a formal dialogue game. Artif Intell Law 6(2\u20134):231\u2013287","journal-title":"Artif Intell Law"},{"key":"9329_CR125","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.artint.2015.06.005","volume":"227","author":"Henry Prakken","year":"2015","unstructured":"Prakken Henry, Sartor Giovanni (2015) Law and logic: a review from an argumentation perspective. Artif Intell 227:214\u2013245","journal-title":"Artif Intell"},{"issue":"5","key":"9329_CR126","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1093\/logcom\/ext010","volume":"25","author":"Henry Prakken","year":"2015","unstructured":"Prakken Henry, Wyner Adam, Bench-Capon Trevor, Atkinson Katie (2015) A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J Log Comput 25(5):1141\u20131166","journal-title":"J Log Comput"},{"key":"9329_CR127","doi-asserted-by":"crossref","unstructured":"Reed Chris, Norman Tim (eds) (2004) Argumentation machines. new frontiers in argument and computation. Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-94-017-0431-1"},{"issue":"2","key":"9329_CR128","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10506-015-9166-x","volume":"23","author":"Adam Rigoni","year":"2015","unstructured":"Rigoni Adam (2015) An improved factor based approach to precedential constraint. Artif Intell Law 23(2):133\u2013160","journal-title":"Artif Intell Law"},{"key":"9329_CR129","unstructured":"Rissland Edwina L (1983) Examples in legal reasoning: Legal hypotheticals. In Proceedings of the 8th international joint conference on artificial intelligence, pages 90\u201393"},{"key":"9329_CR130","unstructured":"Rissland Edwina\u00a0L (2013) From UUM and CEG to CBR and ICAIL: A journey in AI and Law. In From Knowledge representation to argumentation in AI, law and policy making. a festschrift in honour of trevor bench-capon on the occasion of his 60th birthday, pages 191\u2013212. College Publications, London"},{"key":"9329_CR131","doi-asserted-by":"crossref","unstructured":"Rissland Edwina\u00a0L, Ashley Kevin\u00a0D (1987) A case-based system for Trade Secrets law. In Proceedings of the 1st international conference on artificial intelligence and law, pages 60\u201366","DOI":"10.1145\/41735.41743"},{"key":"9329_CR132","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1016\/0020-7373(91)90013-W","volume":"34","author":"Edwina L Rissland","year":"1991","unstructured":"Rissland Edwina L, Skalak David B (1991) Cabaret: statutory interpretation in a hybrid architecture. Int J Man Mach Stud 34:839\u2013887","journal-title":"Int J Man Mach Stud"},{"key":"9329_CR133","unstructured":"Rissland Edwina\u00a0L, Valcarce Eduardo\u00a0M, Ashley Kevin\u00a0D (1984) Explaining and arguing with examples. In Proceedings of the 4th AAAI conference on artificial intelligence, pages 288\u2013294"},{"issue":"1","key":"9329_CR134","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00123994","volume":"4","author":"Edwina L Rissland","year":"1996","unstructured":"Rissland Edwina L, Skalak David B, Friedman M Timur (1996) Bankxx: supporting legal arguments through heuristic retrieval. Artif Intell Law 4(1):1\u201371","journal-title":"Artif Intell Law"},{"issue":"1","key":"9329_CR135","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008215000938","volume":"5","author":"Edwina L Rissland","year":"1997","unstructured":"Rissland Edwina L, Skalak David B, Friedman M Timur (1997) Evaluating a legal argument program: the bankxx experiments. Artif Intell Law 5(1):1\u201374","journal-title":"Artif Intell Law"},{"key":"9329_CR11","volume-title":"A theory of legal argumentation","author":"Robert Alexy","year":"1989","unstructured":"Robert Alexy (1989) A theory of legal argumentation. Clarendon Press, London"},{"issue":"2\u20133","key":"9329_CR136","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00114921","volume":"1","author":"Giovanni Sartor","year":"1992","unstructured":"Sartor Giovanni (1992) Normative conflicts in legal reasoning. Artif Intell Law 1(2\u20133):209\u2013235","journal-title":"Artif Intell Law"},{"key":"9329_CR137","doi-asserted-by":"crossref","unstructured":"Sartor Giovanni, Araszkiewicz Micha\u0142, Atkinson Katie, Bench-Capon Trevor, Bex Floris, Engers Tom van, Francesconi Enrico, Prakken Henry, Sileno Giovanni (2022) Thirty years of AI and Law: The second decade. Artificial Intelligence and Law, 30 (4): This issue","DOI":"10.1007\/s10506-022-09326-7"},{"issue":"5","key":"9329_CR138","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"Marek J Sergot","year":"1986","unstructured":"Sergot Marek J, Sadri Fariba, Kowalski Robert A, Kriwaczek Frank, Hammond Peter, Cory H Terese (1986) The British nationality act as a logic program. Commun ACM 29(5):370\u2013386","journal-title":"Commun ACM"},{"key":"9329_CR139","doi-asserted-by":"crossref","unstructured":"Sergot Marek\u00a0J, Kamble A\u00a0S, Bajaj K\u00a0K (1991) Indian central civil service pension rules: A case study in logic programming applied to regulations. In Proceedings of the 3rd international conference on artificial intelligence and law, pages 118\u2013127","DOI":"10.1145\/112646.112661"},{"issue":"1","key":"9329_CR140","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/3495564","volume":"65","author":"Esther Shein","year":"2021","unstructured":"Shein Esther (2021) Converting laws to programs. Commun ACM 65(1):15\u201316","journal-title":"Commun ACM"},{"key":"9329_CR141","doi-asserted-by":"crossref","unstructured":"Sherman David\u00a0M (1987) A Prolog model of the Income Tax Act of Canada. In Proceedings of the 1st international conference on artificial intelligence and law, pages 127\u2013136","DOI":"10.1145\/41735.41750"},{"key":"9329_CR142","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"Guillermo Simari","year":"1992","unstructured":"Simari Guillermo, Loui Ronald P (1992) A mathematical treatment of defeasible reasoning and its applications. Artif Intell 53:125\u2013157","journal-title":"Artif Intell"},{"issue":"2","key":"9329_CR143","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"Evren Sirin","year":"2007","unstructured":"Sirin Evren, Parsia Bijan, Grau Bernardo Cuenca, Kalyanpur Aditya, Katz Yarden (2007) Pellet: a practical OWL-DL reasoner. J Web Semantics 5(2):51\u201353","journal-title":"J Web Semantics"},{"issue":"1","key":"9329_CR144","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00118477","volume":"1","author":"David B Skalak","year":"1992","unstructured":"Skalak David B, Rissland Edwina L (1992) Arguments and cases: an inevitable intertwining. Artif Intell Law 1(1):3\u201344","journal-title":"Artif Intell Law"},{"key":"9329_CR145","doi-asserted-by":"crossref","unstructured":"Steging Cor, Renooij Silja, Verheij Bart (2021) Discovering the rationale of decisions: towards a method for aligning learning and reasoning. In Proceedings of the 18th international conference on artificial intelligence and law, pages 235\u2013239","DOI":"10.1145\/3462757.3466059"},{"key":"9329_CR146","first-page":"1146","volume":"1998","author":"Andrew Stranieri","year":"1998","unstructured":"Stranieri Andrew, Zeleznikow John (1998) Split up: the use of an argument based knowledge representation to meet expectations of different users for discretionary decision making. In Proc AAAI\/IAAI 1998:1146\u20131151","journal-title":"In Proc AAAI\/IAAI"},{"issue":"2","key":"9329_CR147","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/A:1008325826599","volume":"7","author":"Andrew Stranieri","year":"1999","unstructured":"Stranieri Andrew, Zeleznikow John, Gawler Mark, Lewis Bryn (1999) A hybrid rule-neural approach for the automation of legal reasoning in the discretionary domain of family law in Australia. Artif Intell Law 7(2):153\u2013183","journal-title":"Artif Intell Law"},{"key":"9329_CR148","volume-title":"The uses of argument","author":"E Toulmin Stephen","year":"1958","unstructured":"Toulmin Stephen E (1958) The uses of argument. Cambridge University Press, Cambridge"},{"issue":"3","key":"9329_CR150","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/logcom\/13.3.319","volume":"13","author":"Bart Verheij","year":"2003","unstructured":"Verheij Bart (2003) Deflog: on the logical interpretation of prima facie justified assumptions. J Log Comput 13(3):319\u2013346","journal-title":"J Log Comput"},{"issue":"2","key":"9329_CR151","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:ARTI.0000046008.49443.36","volume":"11","author":"Bart Verheij","year":"2003","unstructured":"Verheij Bart (2003) Dialectical argumentation with argumentation schemes: an approach to legal logic. Artif Intell Law 11(2):167\u2013195","journal-title":"Artif Intell Law"},{"key":"9329_CR152","unstructured":"Verheij Bart (2005) Virtual arguments. on the design of argument assistants for lawyers and other arguers. T.M.C. Asser Press, The Hague"},{"key":"9329_CR153","doi-asserted-by":"crossref","unstructured":"Verheij Bart (2017) Formalizing arguments, rules and cases. In Proceedings of the 16th international conference on artificial intelligence and law, pages 199\u2013208","DOI":"10.1145\/3086512.3086533"},{"issue":"2","key":"9329_CR154","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10506-020-09266-0","volume":"28","author":"Bart Verheij","year":"2020","unstructured":"Verheij Bart (2020) Artificial intelligence as law. Artif Intell Law 28(2):181\u2013206","journal-title":"Artif Intell Law"},{"issue":"1","key":"9329_CR155","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1008247812801","volume":"6","author":"Bart Verheij","year":"1998","unstructured":"Verheij Bart, Hage Jaap, van den Herik H Jaap (1998) An integrated view on rules and principles. Artif Intell Law 6(1):3\u201326","journal-title":"Artif Intell Law"},{"key":"9329_CR156","doi-asserted-by":"crossref","unstructured":"Villata Serena, Araszkiewicz Micha\u0142, Ashley Kevin, Bench-Capon Trevor, Branting L\u00a0Karl, Conrad Jack\u00a0G, Wyner Adam (2022) Thirty years of AI and Law: The third decade. Artif Intell Law, 30 (4): This issue","DOI":"10.1007\/s10506-022-09327-6"},{"key":"9329_CR157","unstructured":"Visser Pepijn (1995) Knowledge specification for multiple legal tasks; a case study of the interaction problem in the legal domain. Kluwer Law International"},{"issue":"1","key":"9329_CR158","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1008251913710","volume":"6","author":"Pepijn Visser","year":"1998","unstructured":"Visser Pepijn, Bench-Capon Trevor (1998) A comparison of four ontologies for the design of legal knowledge systems. Artif Intell Law 6(1):27\u201357","journal-title":"Artif Intell Law"},{"key":"9329_CR159","doi-asserted-by":"crossref","unstructured":"von Wright, George Henrik (1951) Deontic logic. Mind 60:1\u201315","DOI":"10.1093\/mind\/LX.237.1"},{"key":"9329_CR160","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"Gerard Vreeswijk","year":"1997","unstructured":"Vreeswijk Gerard (1997) Abstract argumentation systems. Artif Intell 90:225\u2013279","journal-title":"Artif Intell"},{"key":"9329_CR161","doi-asserted-by":"crossref","unstructured":"Vreeswik Gerard, Prakken Henry (2000) Credulous and sceptical argument games for preferred semantics. In European workshop on logics in artificial intelligence, pages 239\u2013253. Springer","DOI":"10.1007\/3-540-40006-0_17"},{"key":"9329_CR162","unstructured":"Walton Douglas (1996) Argumentation schemes for presumptive reasoning. Lawrence Erlbaum Associates"},{"issue":"1","key":"9329_CR163","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/B:ARTI.0000013333.96215.a9","volume":"11","author":"Douglas Walton","year":"2003","unstructured":"Walton Douglas (2003) Is there a burden of questioning? Artif Intell Law 11(1):1\u201343","journal-title":"Artif Intell Law"},{"issue":"3","key":"9329_CR164","doi-asserted-by":"publisher","first-page":"273","DOI":"10.22329\/il.v35i3.4286","volume":"35","author":"Douglas Walton","year":"2015","unstructured":"Walton Douglas (2015) The basic slippery slope argument. Informal Logic 35(3):273\u2013311","journal-title":"Informal Logic"},{"key":"9329_CR165","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511802034","volume-title":"Argumention schemes","author":"Douglas Walton","year":"2008","unstructured":"Walton Douglas, Reed Chris, Macagno Fabrizio (2008) Argumention schemes. Cambridge University Press, Cambridge"},{"issue":"3","key":"9329_CR166","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10506-009-9078-8","volume":"17","author":"Maya Wardeh","year":"2009","unstructured":"Wardeh Maya, Bench-Capon Trevor, Coenen Frans (2009) Padua: a protocol for argumentation dialogue using association rules. Artif Intell Law 17(3):183\u2013215","journal-title":"Artif Intell Law"},{"key":"9329_CR167","unstructured":"Wyner Adam, Bench-Capon Trevor (2007) Argument schemes for legal case-based reasoning. In Proceedings of JURIX 2007, pages 139\u2013149. Citeseer"},{"issue":"1","key":"9329_CR168","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.knosys.2008.04.009","volume":"22","author":"Xu Zhengchuan","year":"2009","unstructured":"Zhengchuan Xu, Yuan Yufei (2009) Principle-based dispute resolution for consumer protection. Knowl-Based Syst 22(1):18\u201327","journal-title":"Knowl-Based Syst"},{"issue":"2","key":"9329_CR169","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1016\/j.dss.2004.07.004","volume":"41","author":"John L Yearwood","year":"2006","unstructured":"Yearwood John L, Stranieri Andrew (2006) The generic\/actual argument model of practical reasoning. Decis Support Syst 41(2):358\u2013379","journal-title":"Decis Support Syst"},{"key":"9329_CR170","doi-asserted-by":"crossref","unstructured":"Zeleznikow John, Stranieri Andrew (1995) The Split-Up system: integrating neural networks and rule-based reasoning in the legal domain. In Proceedings of the 5th international conference on artificial intelligence and law, pages 185\u2013194","DOI":"10.1145\/222092.222235"},{"key":"9329_CR171","doi-asserted-by":"crossref","unstructured":"Zeleznikow John, Stranieri Andrew (1997) Knowledge discovery in the Split-Up project. In Proceedings of the 6th international conference on artificial intelligence and law, pages 89\u201397","DOI":"10.1145\/261618.261638"},{"issue":"2","key":"9329_CR172","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1093\/ijlit\/6.2.190","volume":"6","author":"John Zeleznikow","year":"1998","unstructured":"Zeleznikow John, Stranieri Andrew (1998) Split-Up: an intelligent decision support system which provides advice upon property division following divorce. Int J Law Inform Technol 6(2):190\u2013213","journal-title":"Int J Law Inform Technol"},{"key":"9329_CR173","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF00871852","volume":"3","author":"John Zeleznikow","year":"1995","unstructured":"Zeleznikow John, Stranieri Andrew, Gawler Mark (1995) Project report: split-up - a legal expert system which determines property division upon divorce. Artif Intell Law 3:267","journal-title":"Artif Intell Law"},{"key":"9329_CR174","doi-asserted-by":"crossref","unstructured":"Zheng Heng, Grossi Davide, Verheij Bart (2021a) Hardness of case-based decisions: a formal theory. In Proceedings of the 18th international conference on artificial intelligence and law, pages 149\u2013158","DOI":"10.1145\/3462757.3466071"},{"key":"9329_CR175","doi-asserted-by":"crossref","unstructured":"Zheng Lucia, Guha Neel, Anderson Brandon\u00a0R, Henderson Peter, Ho Daniel\u00a0E (2021b) When does pretraining help? Assessing self-supervised learning for law and the CaseHOLD dataset of 53,000+ legal holdings. In Proceedings of the 18th international conference on artificial intelligence and law, pages 159\u2013168","DOI":"10.1145\/3462757.3466088"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-022-09329-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-022-09329-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-022-09329-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,19]],"date-time":"2022-11-19T21:38:23Z","timestamp":1668893903000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-022-09329-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":175,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["9329"],"URL":"https:\/\/doi.org\/10.1007\/s10506-022-09329-4","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,6]]},"assertion":[{"value":"14 August 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 September 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}