{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T10:40:14Z","timestamp":1776681614779,"version":"3.51.2"},"reference-count":287,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s10506-012-9131-x","type":"journal-article","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T12:26:31Z","timestamp":1349007991000},"page":"215-319","source":"Crossref","is-referenced-by-count":124,"title":["A history of AI and Law in 50 papers: 25\u00a0years of the international conference on AI and Law"],"prefix":"10.1007","volume":"20","author":[{"given":"Trevor","family":"Bench-Capon","sequence":"first","affiliation":[]},{"given":"Micha\u0142","family":"Araszkiewicz","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Ashley","sequence":"additional","affiliation":[]},{"given":"Katie","family":"Atkinson","sequence":"additional","affiliation":[]},{"given":"Floris","family":"Bex","sequence":"additional","affiliation":[]},{"given":"Filipe","family":"Borges","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Bourcier","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Bourgine","sequence":"additional","affiliation":[]},{"given":"Jack G.","family":"Conrad","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Francesconi","sequence":"additional","affiliation":[]},{"given":"Thomas F.","family":"Gordon","sequence":"additional","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"given":"Jochen L.","family":"Leidner","sequence":"additional","affiliation":[]},{"given":"David D.","family":"Lewis","sequence":"additional","affiliation":[]},{"given":"Ronald P.","family":"Loui","sequence":"additional","affiliation":[]},{"given":"L. Thorne","family":"McCarty","sequence":"additional","affiliation":[]},{"given":"Henry","family":"Prakken","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Schilder","sequence":"additional","affiliation":[]},{"given":"Erich","family":"Schweighofer","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Thompson","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Tyrrell","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Verheij","sequence":"additional","affiliation":[]},{"given":"Douglas N.","family":"Walton","sequence":"additional","affiliation":[]},{"given":"Adam Z.","family":"Wyner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,9,29]]},"reference":[{"key":"9131_CR1","unstructured":"\u00c5gotnes T, van der Hoek W, Tennenholtz M, Wooldridge M (2009) Power in normative systems. In: Proceedings of AAMAS 2009, pp 145\u2013152"},{"issue":"4","key":"9131_CR2","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1017\/S0890060400000974","volume":"8","author":"L Adelman","year":"1994","unstructured":"Adelman L, Gualtieri J, Riedl SL (1994) A multifaceted approach to evaluating expert systems. Artif Intell Des Anal Manufact 8(4):289\u2013306","journal-title":"Artif Intell Design Anal Manufact"},{"key":"9131_CR3","unstructured":"Aleven V (1997) Teaching case-based argumentation through an example and models. PhD Thesis, University of Pittsburgh, Pittsburgh, PA, USA"},{"key":"9131_CR4","doi-asserted-by":"crossref","unstructured":"Aleven V, Ashley KD (1997) Evaluating a learning environment for case-based argumentation skills. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 170\u2013179","DOI":"10.1145\/261618.261650"},{"key":"9131_CR5","volume-title":"Theorie der juristischen Argumentation. Die Theorie des rationalen Diskurses als eine Theorie der juristischen Begr\u00fcndung","author":"R Alexy","year":"1978","unstructured":"Alexy R (1978) Theorie der juristischen Argumentation. Die Theorie des rationalen Diskurses als eine Theorie der juristischen Begr\u00fcndung. Suhrkamp Verlag, Frankfurt am Main"},{"key":"9131_CR6","volume-title":"Theorie der Grundrechte","author":"R Alexy","year":"1985","unstructured":"Alexy R (1985) Theorie der Grundrechte. Suhrkamp Verlag, Frankfurt am Main"},{"key":"9131_CR8","doi-asserted-by":"crossref","unstructured":"Al-Kofahi K, Grom B, Jackson P (1999) Anaphora resolution in the extraction of treatment history language from court opinions by partial parsing. In: Proceedings of the seventh international conference on AI and Law. ACM Press, New York, pp 138\u2013146","DOI":"10.1145\/323706.323788"},{"key":"9131_CR9","doi-asserted-by":"crossref","unstructured":"Al-Kofahi K, Tyrrell A, Vachher A, Jackson P (2001) A machine learning approach to prior case retrieval. In: Proceedings of the eighth international conference on AI and Law. ACM Press, New York, pp 88\u201393","DOI":"10.1145\/383535.383545"},{"key":"9131_CR10","unstructured":"Allen LE, Saxon CS (1995) Better language, better thought, better communication: the A-Hohfeld language for legal analysis. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 219\u2013228"},{"key":"9131_CR11","doi-asserted-by":"crossref","unstructured":"Allen LE, Saxon CS (1997) Achieving fluency in modernized and formalized hohfeld: puzzles and games for the LEGAL RELATIONS Language. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 19\u201328","DOI":"10.1145\/261618.261623"},{"issue":"4","key":"9131_CR12","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/s10506-007-9050-4","volume":"15","author":"A Amaya","year":"2000","unstructured":"Amaya A (2000) Formal models of coherence and legal epistemology. Artif Intell Law 15(4):429\u2013447","journal-title":"Artif Intell Law"},{"key":"9131_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511610585","volume-title":"Analysis of evidence, 2nd edn","author":"TJ Anderson","year":"2005","unstructured":"Anderson TJ, Schum DA, Twining WL (2005) Analysis of evidence, 2nd edn. Cambridge University Press, Cambridge"},{"issue":"5","key":"9131_CR14","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1002\/int.20008","volume":"19","author":"G Antoniou","year":"2004","unstructured":"Antoniou G (2004) Defeasible logic with dynamic priorities. Int J Intell Syst 19(5):463\u2013472","journal-title":"Int J Intell Syst"},{"key":"9131_CR15","first-page":"7","volume-title":"Legal knowledge and information systems: Jurix 2010","author":"M Araszkiewicz","year":"2010","unstructured":"Araszkiewicz M (2010) Balancing of legal principles and constraint satisfaction. In: Winkels R (ed) Legal knowledge and information systems: Jurix 2010. IOS Press, Amsterdam, pp 7\u201316"},{"key":"9131_CR16","doi-asserted-by":"crossref","unstructured":"Ashley KD (1989) Toward a computational theory of arguing with precedents. In: Proceedings of the second international conference on artificial intelligence and law. ACM Press, New York, pp 93\u2013102","DOI":"10.1145\/74014.74028"},{"key":"9131_CR17","volume-title":"Modeling legal argument: reasoning with cases and hypotheticals","author":"KD Ashley","year":"1990","unstructured":"Ashley KD (1990) Modeling legal argument: reasoning with cases and hypotheticals. MIT Press, USA"},{"key":"9131_CR18","unstructured":"Ashley KD (2009) Ontological requirements for analogical, teleological, and hypothetical legal reasoning In: Proceedings of the twelfth international conference on artificial intelligence and law. ACM Press, New York, pp 1\u201310"},{"key":"9131_CR19","first-page":"153","volume-title":"Proceedings of Jurix 2003","author":"KD Ashley","year":"2003","unstructured":"Ashley KD, Br\u00fcninghaus S (2003) A predictive role for intermediate legal concepts. In: Bourcier D (ed) Proceedings of Jurix 2003. IOS Press, Amsterdam, pp 153\u2013162"},{"issue":"2","key":"9131_CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10506-009-9077-9","volume":"17","author":"KD Ashley","year":"2009","unstructured":"Ashley KD, Br\u00fcninghaus S (2009) Automatically classifying case texts and predicting outcomes. Artif Intell Law 17(2):125\u2013165","journal-title":"Artif Intell Law"},{"issue":"1","key":"9131_CR21","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s10506-006-9003-3","volume":"13","author":"K Atkinson","year":"2005","unstructured":"Atkinson K, Bench-Capon TJM (2005) Legal case-based reasoning as practical reasoning. Artif Intell Law 13(1):93\u2013131","journal-title":"Artif Intell Law"},{"issue":"10-15","key":"9131_CR22","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/j.artint.2007.04.009","volume":"171","author":"K Atkinson","year":"2007","unstructured":"Atkinson K, Bench-Capon TJM (2007a) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171(10\u201315):855\u2013874","journal-title":"Artif Intell"},{"key":"9131_CR144","doi-asserted-by":"crossref","unstructured":"Atkinson K, Bench-Capon TJM (2007b) Argumentation and standards of proof. In: Proceedings of the eleventh international conference on artificial intelligence and law. ACM Press, New York, pp 107\u2013116","DOI":"10.1145\/1276318.1276339"},{"key":"9131_CR23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11229-005-3488-2","volume":"152","author":"K Atkinson","year":"2006","unstructured":"Atkinson K, Bench-Capon TJM, McBurney P (2006) Computational representation of persuasive argument. Synthese 152:157\u2013206","journal-title":"Synthese"},{"key":"9131_CR145","doi-asserted-by":"crossref","unstructured":"Atkinson K, Bench-Capon TJM, Cartwright D, Wyner AZ (2011) Semantic models for policy deliberation. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 81\u201390","DOI":"10.1145\/2018358.2018369"},{"key":"9131_CR24","unstructured":"Baron JR, Thompson P (2007) The search problem posed by large heterogeneous data sets in litigation: possible future approaches to research. In: proceedings of the eleventh international conference on artificial intelligence and law. ACM Press, New York, pp 141\u2013147"},{"key":"9131_CR25","doi-asserted-by":"crossref","unstructured":"Belew RK (1987) A connectionist approach to conceptual information retrieval. In: Proceedings of the first international conference on artificial intelligence and law. ACM Press, New York, pp 116\u2013126","DOI":"10.1145\/41735.41749"},{"key":"9131_CR26","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM (1989) Deep models, normative reasoning and legal expert systems. In: Proceedings of the second international conference on artificial intelligence and law. ACM Press, New York, pp 37\u201345","DOI":"10.1145\/74014.74020"},{"key":"9131_CR27","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM (1993) Neural networks and open texture. In: Proceedings of the fourth international conference on AI and Law. ACM Press, New York, pp 292\u2013297","DOI":"10.1145\/158976.159012"},{"key":"9131_CR28","unstructured":"Bench-Capon TJM (1998) Specification and implementation of Toulmin dialogue game. In: Hage J et al (eds) Legal knowledge-based systems. Jurix 1998. Gerard Noodt Instituut, Nijmegen, pp 5\u201319"},{"issue":"1-3","key":"9131_CR29","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1019501830692","volume":"10","author":"TJM Bench-Capon","year":"2002","unstructured":"Bench-Capon TJM (2002) The missing link revisited: the role of teleology in representing legal argument. Artif Intell Law 10(1\u20133):79\u201394","journal-title":"Artif Intell Law"},{"issue":"3","key":"9131_CR30","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"TJM Bench-Capon","year":"2003","unstructured":"Bench-Capon TJM (2003) Persuasion in practical argument using value-based argumentation frameworks. J Logic Comput 13(3):429\u2013448","journal-title":"J Logic Comput"},{"key":"9131_CR31","first-page":"13","volume-title":"Legal knowledge-based systems. Jurix 2011","author":"TJM Bench-Capon","year":"2012","unstructured":"Bench-Capon TJM (2012) Relating values in a series of supreme court decisions. In: Atkinson K (ed) Legal knowledge-based systems. Jurix 2011. IOS Press, Amsterdam, pp 13\u201322"},{"issue":"1","key":"9131_CR32","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"TJM Bench-Capon","year":"1992","unstructured":"Bench-Capon TJM, Coenen FP (1992) Isomorphism and legal knowledge based systems. Artif Intell Law 1(1):65\u201386","journal-title":"Artif Intell Law"},{"key":"9131_CR33","first-page":"73","volume-title":"Legal knowledge and information systems: Jurix 2000","author":"TJM Bench-Capon","year":"2000","unstructured":"Bench-Capon TJM, Sartor G (2000) Using values and theories to resolve disagreement in law. In: Breuker J, Leenes R, Winkels R (eds) Legal knowledge and information systems: Jurix 2000. IOS Press, Amsterdam, pp 73\u201384"},{"key":"9131_CR34","first-page":"53","volume-title":"Legal knowledge and information systems: Jurix 2001","author":"TJM Bench-Capon","year":"2001","unstructured":"Bench-Capon TJM, Sartor G (2001) A quantitative approach to theory coherence. In: Lodder A, Loui R, Muntjewerff A (eds) Legal knowledge and information systems: Jurix 2001. IOS Press, Amsterdam, pp 53\u201362"},{"issue":"1-2","key":"9131_CR35","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(03)00108-5","volume":"150","author":"TJM Bench-Capon","year":"2003","unstructured":"Bench-Capon TJM, Sartor G (2003) A model of legal reasoning with cases incorporating theories and values. Artif Intell 150(1\u20132):97\u2013143","journal-title":"Artif Intell"},{"key":"9131_CR36","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM, Gordon F (2009) Isomorphism and argumentation. In: Proceedings of the twelfth international conference on artificial intelligence and law. ACM Press, New York, pp 11\u201320","DOI":"10.1145\/1568234.1568237"},{"key":"9131_CR37","first-page":"247","volume-title":"Computational models of argument. Proceedings of COMMA 2006","author":"TJM Bench-Capon","year":"2006","unstructured":"Bench-Capon TJM, Prakken H (2006) Justifying actions by accruing arguments. In: Dunne PE, Bench-Capon TJM (eds) Computational models of argument. Proceedings of COMMA 2006. IOS Press, Amsterdam, pp 247\u2013258"},{"key":"9131_CR38","first-page":"41","volume-title":"Legal knowledge and information systems: Jurix 2001","author":"TJM Bench-Capon","year":"2001","unstructured":"Bench-Capon TJM, Rissland EL (2001) Back to the future: dimensions revisited. In: Lodder A, Loui R, Muntjewerff A (eds) Legal knowledge and information systems: Jurix 2001. IOS Press, Amsterdam, pp 41\u201352"},{"key":"9131_CR39","unstructured":"Bench-Capon TJM, Staniford G (1995) PLAID\u2014proactive legal assistance. Proceedings of the fifth international conference on AI and Law. ACM Press, New York, pp 81\u201388"},{"key":"9131_CR40","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM, Visser PRS (1997) Ontologies in legal information systems; the need for explicit specifications of domain conceptualizations. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 132\u2013141","DOI":"10.1145\/261618.261646"},{"key":"9131_CR41","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM, Robinson GO, Routen TW, Sergot MJ (1987) Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. In: Proceedings of the first international conference on artificial intelligence and law. ACM Press, New York, pp 190\u2013198","DOI":"10.1145\/41735.41757"},{"key":"9131_CR42","unstructured":"Bench-Capon TJM, Dunne PE, Leng PH (1992) A dialogue game for dialectical interaction with expert systems. In: Rault JC (ed) Proceedings of the twelfth annual conference on expert systems and their applications, vol 1. Nanterre, pp 105\u2013113"},{"key":"9131_CR43","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM, Prakken H, Visser W (2011) Argument schemes for two-phase democratic deliberation. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 21\u201330","DOI":"10.1145\/2018358.2018361"},{"key":"9131_CR44","first-page":"183","volume-title":"Computer power and legal language: the use of computational linguistics, artificial intelligence, and expert systems in the law","author":"DH Berman","year":"1988","unstructured":"Berman DH, Hafner CD (1988) Obstacles to the development of logic-based models of legal reasoning. In: Walter C (ed) Computer power and legal language: the use of computational linguistics, artificial intelligence, and expert systems in the law. Quorum Books, Westport CT, pp 183\u2013214"},{"key":"9131_CR45","unstructured":"Berman DH, Hafner CD (1993) Representing teleological structure in case-based legal reasoning: the missing link. In: Proceedings of the fourth international conference on artificial intelligence and law, Amsterdam. ACM Press, New York, pp 50\u201359"},{"key":"9131_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0140-3","volume-title":"Arguments, stories and criminal evidence: a formal hybrid theory","author":"FJ Bex","year":"2011","unstructured":"Bex FJ (2011) Arguments, stories and criminal evidence: a formal hybrid theory. Springer, Dordrecht"},{"key":"9131_CR47","first-page":"119","volume-title":"Legal knowledge and information systems. Jurix 2004","author":"FJ Bex","year":"2004","unstructured":"Bex FJ, Prakken H (2004) Reinterpreting arguments in dialogue: an application to evidential reasoning. In: Gordon TF (ed) Legal knowledge and information systems. Jurix 2004. IOS Press, Amsterdam, pp 119\u2013129"},{"key":"9131_CR48","first-page":"73","volume-title":"Computational models of argument: proceedings of COMMA 2008","author":"FJ Bex","year":"2010","unstructured":"Bex FJ, Prakken H (2010) Investigating stories in a formal dialogue game. In: Besnard P, Doutre S, Hunter A (eds) Computational models of argument: proceedings of COMMA 2008. IOS Press, Amsterdam, pp 73\u201384"},{"key":"9131_CR49","unstructured":"Bex FJ, Verheij B (2011) Legal shifts in the process of proof. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 11\u201320"},{"issue":"2-3","key":"9131_CR50","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/B:ARTI.0000046007.11806.9a","volume":"11","author":"FJ Bex","year":"2003","unstructured":"Bex FJ, Prakken H, Reed C, Walton DN (2003) Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif Intell Law 11(2\u20133):125\u2013165","journal-title":"Artif Intell Law"},{"key":"9131_CR51","doi-asserted-by":"crossref","unstructured":"Bex FJ, Prakken H, Verheij B (2007) Formalising argumentative story-based analysis of evidence. In: Proceedings of the eleventh international conference on artificial intelligence and law. ACM Press, New York, pp 1\u201310","DOI":"10.1145\/1276318.1276320"},{"issue":"1-4","key":"9131_CR52","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1093\/lpr\/mgm007","volume":"6","author":"FJ Bex","year":"2007","unstructured":"Bex FJ, van den Braak SW, van Oostendorp H, Prakken H, Verheij B, Vreeswijk GAW (2007) Sense-making software for crime investigation: how to combine stories and arguments? Law Prob Risk 6(1\u20134):145\u2013168","journal-title":"Law Prob Risk"},{"issue":"2","key":"9131_CR53","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10506-010-9092-x","volume":"18","author":"FJ Bex","year":"2010","unstructured":"Bex FJ, van Koppen PJ, Prakken H, Verheij B (2010) A hybrid formal theory of arguments, stories and criminal evidence. Artif Intell Law 18(2):123\u2013152","journal-title":"Artif Intell Law"},{"key":"9131_CR54","unstructured":"Bex FJ, Bench-Capon TJM, Verheij B (2011) What makes a story plausible? The need for precedents. In: Atkinson K (ed) Legal knowledge and information systems. Jurix 2011: the twenty fourth annual conference. IOS Press, Amsterdam, pp 23\u201332"},{"key":"9131_CR55","volume-title":"Handbook of legal information retrieval","year":"1984","unstructured":"Bing J (ed) (1984) Handbook of legal information retrieval. North-Holland, Amsterdam"},{"key":"9131_CR56","doi-asserted-by":"crossref","unstructured":"Bing J (1987) Designing text retrieval systems for conceptual searching. In: ICAIL \u201987: proceedings of the first international conference on artificial intelligence and law. ACM Press, New York, pp 43\u201351","DOI":"10.1145\/41735.41741"},{"key":"9131_CR57","first-page":"187","volume":"79","author":"J Bing","year":"1987","unstructured":"Bing J (1987) Performance of legal text retrieval systems: the curse of Boole. Law Library J 79:187\u2013202","journal-title":"Law Library J"},{"key":"9131_CR58","volume-title":"Legal decisions and information systems","author":"J Bing","year":"1977","unstructured":"Bing J, Harwold T (1977) Legal decisions and information systems. Universitetsforlaget, Oslo"},{"issue":"3","key":"9131_CR59","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3166.3197","volume":"28","author":"DC Blair","year":"1985","unstructured":"Blair DC, Maron ME (1985) An evaluation of retrieval effectiveness for a full-text document-retrieval system. Commun ACM 28(3):289\u2013299","journal-title":"Commun ACM"},{"key":"9131_CR60","volume-title":"Characteristics of software quality","author":"BW Boehm","year":"1978","unstructured":"Boehm BW, Brown JR, Kaspar H, Lipow M, McLeod G, Merritt M (1978) Characteristics of software quality. TRW Software Series, New Holland"},{"key":"9131_CR61","doi-asserted-by":"crossref","unstructured":"Boer A, van Engers TM (2011) An agent-based legal knowledge acquisition methodology for agile public administration. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 171\u2013180","DOI":"10.1145\/2018358.2018383"},{"key":"9131_CR62","doi-asserted-by":"crossref","unstructured":"Boer A, van Engers TM, Winkels R (2003) Using ontologies for comparing and harmonizing legislation. In: Proceedings of the ninth international conference on artificial intelligence and law. ACM Pres, New York, pp 161\u2013172","DOI":"10.1145\/1047788.1047798"},{"key":"9131_CR63","doi-asserted-by":"crossref","unstructured":"Br\u00fcninghaus S, Ashley KD (2003) Predicting outcomes of case-based legal arguments. In: Proceedings of the ninth international conference on artificial intelligence and law. ACM Press, NewYork, pp 233\u2013242","DOI":"10.1145\/1047788.1047838"},{"key":"9131_CR64","doi-asserted-by":"crossref","unstructured":"Branting LK (1991a) Reasoning with portions of precedents. In: Proceedings of the third international conference on artificial intelligence and law. ACM Press, New York, pp 145\u2013154","DOI":"10.1145\/112646.112664"},{"issue":"6","key":"9131_CR65","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1016\/0020-7373(91)90012-V","volume":"34","author":"LK Branting","year":"1991","unstructured":"Branting LK (1991b) Building explanations from rules and structured cases. Int J Man Mach Stud 34(6):797\u2013837","journal-title":"Int J Man Mach Stud"},{"key":"9131_CR66","doi-asserted-by":"crossref","unstructured":"Branting LK (1993a) A reduction-graph model of ratio decidendi. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 40\u201349","DOI":"10.1145\/158976.158981"},{"issue":"1","key":"9131_CR67","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00871744","volume":"2","author":"LK Branting","year":"1993","unstructured":"Branting LK (1993b) A computational model of ratio decidendi. Artif Intell Law 2(1):1\u201331","journal-title":"Artif Intell Law"},{"issue":"1-2","key":"9131_CR68","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0004-3702(03)00102-4","volume":"150","author":"LK Branting","year":"2003","unstructured":"Branting LK (2003) A reduction-graph model of precedent in legal analysis. Artif Intell 150(1\u20132):59\u201395","journal-title":"Artif Intell"},{"key":"9131_CR69","doi-asserted-by":"crossref","unstructured":"Breuker J, den Haan N (1991) Separating world and regulation knowledge: where is the logic In: Proceedings of the third international conference on artificial intelligence and law. ACM Press, New York, pp 92\u201397","DOI":"10.1145\/112646.112658"},{"key":"9131_CR70","unstructured":"Breuker J, Hoekstra R (2004) Epistemology and ontology in core ontologies: FOLaw and LRICore, two core ontologies for law. In: Proceedings of EKAW workshop on core ontologies. CEUR"},{"issue":"2","key":"9131_CR71","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0020-7373(87)80093-7","volume":"26","author":"T Bylander","year":"1987","unstructured":"Bylander T, Chandrasekaran B (1987) Generic tasks for knowledge-based reasoning: the \u201cright\u201d level of abstraction for knowledge acquisition. Int J Man Mach Stud 26(2):231\u2013243","journal-title":"Int J Man Mach Stud"},{"issue":"5","key":"9131_CR72","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MIS.2009.104","volume":"24","author":"D Cartwright","year":"2009","unstructured":"Cartwright D, Atkinson K (2009) Using computational argumentation to support e-participation. IEEE Intell Syst 24(5):42\u201352","journal-title":"IEEE Intell Syst"},{"key":"9131_CR135","volume-title":"Cases and text on property","author":"A James Casner","year":"1964","unstructured":"Casner AJ, Barton LW (1964) Cases and text on property. Little Brown, Boston"},{"issue":"3","key":"9131_CR73","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/MEX.1986.4306977","volume":"1","author":"B Chandrasekaran","year":"1986","unstructured":"Chandrasekaran B (1986) Generic tasks in knowledge-based reasoning: high-level building blocks for expert system design. IEEE Exp 1(3):23\u201330","journal-title":"IEEE Exp"},{"issue":"2","key":"9131_CR74","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/3327064","volume":"24","author":"R Chisholm","year":"1963","unstructured":"Chisholm R (1963) Contrary-to-duty imperative and deontic logic. Analysis 24(2):33\u201336","journal-title":"Analysis"},{"issue":"1","key":"9131_CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10506-006-9004-2","volume":"13","author":"C Alison","year":"2005","unstructured":"Chorley A, Bench-Capon TJM (2005) AGATHA: using heuristic search to automate the construction of case law theories. Artif Intell Law 13(1):9\u201351","journal-title":"Artif Intell Law"},{"key":"9131_CR75","unstructured":"Clancey W (1981) The epistemology of a rule-based expert system: a framework for explanation. Technical Report STAN-CS-81-896, Stanford University, Department of Computer Science"},{"key":"9131_CR238","volume-title":"Precedent in English law, 3rd edn","author":"C Rupert","year":"1979","unstructured":"Cross R (1979) Precedent in English Law, 3rd edn. Oxford University Press, Oxford"},{"key":"9131_CR76","unstructured":"Conrad JG, Dabney DP (2001) A cognitive approach to judicial opinion structure: applying domain expertise to component analysis. In: Proceedings of the eighth international conference on AI and Law. ACM Press, New York, pp 1\u201311"},{"key":"9131_CR77","unstructured":"Conrad JG, Schilder F (2007) Opinion mining in legal blogs. In: Proceedings of the eleventh international conference on AI and Law. ACM Press, New York, pp 231\u2013236"},{"key":"9131_CR78","doi-asserted-by":"crossref","unstructured":"Conrad JG, Leidner JL, Schilder F, Kondadadi R (2009) Query-based opinion summarization for legal blog entries. In: Proceedings of the twelfth international conference on AI and Law. ACM Press, New York, pp 167\u2013176","DOI":"10.1145\/1568234.1568253"},{"key":"9131_CR79","unstructured":"Dayal S, Johnson P (2000) A web-based revolution in Australian public administration. In: Proceedings of law via the internet (reprinted in J Inform Law Technol 1)"},{"key":"9131_CR272","unstructured":"de Waard A, Kircz J (2008) Modeling scientific research articles\u2014shifting perspectives and persistent issues. In: Proceedings of ELPUB 2008 international conference on electronic publishing. Toronto, Canada. ELPUB Digital Library, pp 234\u2013245"},{"key":"9131_CR80","first-page":"153","volume-title":"Expert systems in the micro-electronic age","author":"R Duda","year":"1979","unstructured":"Duda R, Gasching J, Hart P (1979) Model design in the PROSPECTOR consultant system for mineral exploration. In: Michie D (ed) Expert systems in the micro-electronic age. Edinburgh University Press, Edinburgh, pp 153\u2013167"},{"issue":"2","key":"9131_CR81","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung PM (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"},{"key":"9131_CR82","unstructured":"Farley AM, Freeman K (1995) Burden of proof in legal argumentation. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 156\u2013164"},{"key":"9131_CR83","unstructured":"Farzindar A, Guy L (2004) LetSum, an automatic legal text summarizing system. In: Lodder A, Loui R, Muntjewerff A (eds) Proceedings of the seventeenth annual conference on legal knowledge and information systems, Jurix 2004. IOS Press, Amsterdam, pp 11\u201318"},{"key":"9131_CR84","first-page":"90","volume":"43","author":"MO Finkelstein","year":"2003","unstructured":"Finkelstein MO, Levin B (2003) On the probative value of evidence from a screening search. Jurimetrics 43:265\u201390","journal-title":"Jurimetrics"},{"issue":"1","key":"9131_CR85","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10506-008-9072-6","volume":"17","author":"E Francesconi","year":"2008","unstructured":"Francesconi E, Peruginelli G (2008) Integrated access to legal literature through automated semantic classification. Artif Intell Law 17(1):31\u201349","journal-title":"Artif Intell Law"},{"key":"9131_CR86","doi-asserted-by":"crossref","DOI":"10.1515\/9783110875843","volume-title":"Dialectics and the macrostructure of arguments: a theory of argument structure","author":"JB Freeman","year":"1991","unstructured":"Freeman JB (1991) Dialectics and the macrostructure of arguments: a theory of argument structure. Foris Publications, Berlin"},{"key":"9131_CR87","unstructured":"Freeman K (1993) Towards formalizing dialectical argumentation. Phd thesis, University of Oregon"},{"issue":"3-4","key":"9131_CR88","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00118492","volume":"4","author":"K Freeman","year":"1996","unstructured":"Freeman K, Farley AM (1996) A model of argumentation and its application to legal reasoning. Artif Intell Law 4(3\u20134):163\u2013197","journal-title":"Artif Intell Law"},{"key":"9131_CR89","doi-asserted-by":"crossref","unstructured":"Galgani F, Hoffman A (2010) LEXA: towards automatic legal citation classification. In: Proceedings of the twenty-third australian joint conference on artificial intelligence, pp 445\u2013454","DOI":"10.1007\/978-3-642-17432-2_45"},{"key":"9131_CR90","volume-title":"Computers and intractability: a guide to the theory of NP-completeness","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. W. H. Freeman, New York"},{"issue":"2","key":"9131_CR92","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2307\/790205","volume":"40","author":"A Goodhart","year":"1930","unstructured":"Goodhart A (1930) Determining the ratio decidendi of a case. Yale Law J 40(2):161\u2013183","journal-title":"Yale Law J"},{"key":"9131_CR93","doi-asserted-by":"crossref","unstructured":"Gordon TF (1987) Oblog-2: a hybrid knowledge representation system for defeasible reasoning. In: Proceedings of the first international conference on artificial intelligence and law. ACM Press, New York, pp 231\u2013239","DOI":"10.1145\/41735.41761"},{"key":"9131_CR94","doi-asserted-by":"crossref","unstructured":"Gordon TF (1993) The pleadings game; an artificial intelligence model of procedural justice. Ph.d., Technical University of Darmstadt","DOI":"10.1145\/158976.158978"},{"key":"9131_CR95","doi-asserted-by":"crossref","unstructured":"Gordon TF (1993) The pleadings game: formalizing procedural justice. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 10\u201319","DOI":"10.1145\/158976.158978"},{"key":"9131_CR96","volume-title":"The pleadings game. An artificial intelligence model of procedural justice","author":"TF Gordon","year":"1995","unstructured":"Gordon TF (1995) The pleadings game. an artificial intelligence model of procedural justice. Kluwer, Dordrecht"},{"key":"9131_CR97","doi-asserted-by":"crossref","unstructured":"Gordon TF, Karacapilidis N (1997) The Zeno argumentation framework. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 10\u201318","DOI":"10.1145\/261618.261622"},{"key":"9131_CR98","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-0-387-98197-0_12","volume-title":"Argumentation in artificial intelligence","author":"TF Gordon","year":"2009","unstructured":"Gordon TF, Walton DN (2009) Proof burdens and standards. In: Rahwan I, Simari G (ed) Argumentation in artificial intelligence. Springer, Berlin, pp 239\u2013260"},{"issue":"10-15","key":"9131_CR99","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"TF Gordon","year":"2007","unstructured":"Gordon TF, Prakken H, Walton DN (2007) The Carneades model of argument and burden of proof. Artif Intell 171(10\u201315):875\u2013896","journal-title":"Artif Intell"},{"key":"9131_CR100","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/3-540-61313-7_80","volume-title":"Practical reasoning","author":"G Governatori","year":"1996","unstructured":"Governatori G (1996) Labelling ideality and subideality. In: Gabbay DM, Ohlbach HJ (eds) Practical reasoning. Springer, Berlin, pp 291\u2013304"},{"issue":"2-3","key":"9131_CR101","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori G (2005) Representing business contracts in RuleML. Int J Cooper Inform Syst 14(2\u20133):181\u2013216","journal-title":"Int J Cooper Inform Syst"},{"key":"9131_CR102","doi-asserted-by":"crossref","unstructured":"Governatori G, Olivieri F, Scannapieco S, Cristani M (2010) Superiority based revision of defeasible theories. In: Dean M, Hall J, Rotolo A, Tabet S (eds) RuleML. Computer Science, Springer, Berlin, pp 104\u2013118","DOI":"10.1007\/978-3-642-16289-3_10"},{"key":"9131_CR103","doi-asserted-by":"crossref","unstructured":"Grabmair M, Ashley KD (2011) Facilitating case comparison using value judgments and intermediate legal concepts. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 50\u201359","DOI":"10.1145\/2018358.2018382"},{"key":"9131_CR104","doi-asserted-by":"crossref","unstructured":"Greenwood K, Bench-Capon TJM, McBurney P (2003) Towards a computational account of persuasion in law. In: Proceedings of the ninth international conference on artificial intelligence and law. ACM Press, New York, pp 22\u201331","DOI":"10.1145\/1047788.1047792"},{"issue":"5-6","key":"9131_CR105","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"TR Gruber","year":"1995","unstructured":"Gruber TR (1995) Toward principles for the design of ontologies used for knowledge sharing. Int J Human Comput Stud 43(5\u20136):907\u2013928","journal-title":"Int J Human Comput Stud"},{"key":"9131_CR107","doi-asserted-by":"crossref","unstructured":"Hachey B, Grover C (2005) Automatic legal text summarisation: experiments with summary structuring. In: Proceedings of the tenth international conference on artificial intelligence and law. ACM Press, New York, pp 75\u201384","DOI":"10.1145\/1165485.1165498"},{"key":"9131_CR108","doi-asserted-by":"crossref","unstructured":"Hafner CD (1987) Conceptual organization of case law knowledge bases. In: Proceedings of the first international conference on artificial intelligence and law. ACM Press, New York, pp 35\u201342","DOI":"10.1145\/41735.41740"},{"issue":"1-3","key":"9131_CR109","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1023\/A:1019516031847","volume":"10","author":"CD Hafner","year":"2002","unstructured":"Hafner CD, Berman DH (2002) The role of context in case-based legal reasoning: teleological, temporal, and procedural. Artif Intell Law 10(1\u20133):19\u201364","journal-title":"Artif Intell Law"},{"key":"9131_CR110","doi-asserted-by":"crossref","unstructured":"Hage J (1993) Monological reason-based logic: a low-level integration of rule-based reasoning and case-based reasoning. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 30\u201339","DOI":"10.1145\/158976.158980"},{"key":"9131_CR111","doi-asserted-by":"crossref","unstructured":"Hage J (1995) Teleological reasoning in reason-based logic. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 11\u201332","DOI":"10.1145\/222092.222098"},{"key":"9131_CR112","volume-title":"Reasoning with rules. An essay on legal reasoning and its underlying logic","author":"J Hage","year":"1997","unstructured":"Hage J (1997) Reasoning with rules. An essay on legal reasoning and its underlying logic. Kluwer, Dordrecht"},{"key":"9131_CR113","first-page":"59","volume-title":"Legal knowledge and information systems: Jurix 2000","author":"J Hage","year":"2000","unstructured":"Hage J (2000) Goal-based theory evaluation. In: Breuker J, Leenes R, Winkels R (eds) Legal knowledge and information systems: Jurix 2000. IOS Press, Amsterdam, pp 59\u201372"},{"key":"9131_CR131","doi-asserted-by":"crossref","unstructured":"Hage J (2001) Formalizing legal coherence. In: Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, pp 22\u201331","DOI":"10.1145\/383535.383538"},{"key":"9131_CR114","volume-title":"Studies in legal logic","author":"J Hage","year":"2005","unstructured":"Hage J (2005) Studies in legal Logic. Springer, Berlin"},{"issue":"3","key":"9131_CR115","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1111\/1467-9337.00158","volume":"13","author":"J Hage","year":"2000","unstructured":"Hage J, Peczenik A (2000) Law, morals, and defeasibility. Ratio Juris 13(3):305\u2013325","journal-title":"Ratio Juris"},{"key":"9131_CR116","unstructured":"Hage J, Peczenik A (2001) Legal internalism. In: Chiassoni P (ed) The legal ought. Proceedings of the IVR mid-term congress. Genoa, pp 141\u2013170"},{"issue":"2-3","key":"9131_CR117","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1080\/13600834.1994.9965701","volume":"3","author":"J Hage","year":"1994","unstructured":"Hage J, Verheij B (1994) Reason-based logic: a logic for reasoning with rules and reasons. Inform Commun Technol Law 3(2\u20133):171\u2013209","journal-title":"Inform Commun Technol Law"},{"key":"9131_CR118","unstructured":"Hage J, Span G, Lodder AR (1992) A dialogical model of legal reasoning. In: Grutters C et al (eds) Legal knowledge-based systems: Jurix 92. Koninklijjke Vermade, Lelystad, pp 135\u2013145"},{"issue":"2","key":"9131_CR119","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF00871759","volume":"2","author":"J Hage","year":"1993","unstructured":"Hage J, Leenes RE, Lodder AR (1993) Hard cases: a procedural approach. Artif Intell Law 2(2):113\u2013166","journal-title":"Artif Intell Law"},{"key":"9131_CR120","doi-asserted-by":"crossref","unstructured":"Hall J, Zeleznikow J (2001) Acknowledging insufficiency in the evaluation of legal knowledge-based systems: strategies towards a broad based evaluation model. In: Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, pp 147\u201350","DOI":"10.1145\/383535.383553"},{"key":"9131_CR121","unstructured":"Hammond P (1983) Representation of DHSS regulations as a logic program. Department of Computing: Research report DoC, Imperial College"},{"key":"9131_CR122","volume-title":"The concept of law","author":"HLA Hart","year":"1961","unstructured":"Hart HLA (1961) The concept of law. Clarendon Press, Oxford"},{"issue":"1-4","key":"9131_CR124","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1093\/lpr\/mgm005","volume":"6","author":"AR Hepler","year":"2007","unstructured":"Hepler AR, Dawid AP, Leucari V (2007) Object-oriented graphical representations of complex patterns of evidence. Law Prob Risk 6(1\u20134):275\u2013293","journal-title":"Law Prob Risk"},{"key":"9131_CR125","doi-asserted-by":"crossref","unstructured":"Herrestad H (1991) Norms and formalization. In: Proceedings of the third international conference on artificial intelligence and law. ACM Press, New York, pp 175\u2013184","DOI":"10.1145\/112646.112667"},{"issue":"3","key":"9131_CR127","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1207\/s15516709cog1303_1","volume":"13","author":"KJ Holyoak","year":"1989","unstructured":"Holyoak KJ, Thagard P (1989) Analogical mapping by constraint satisfaction. Cogn Sci 13(3):295\u2013355","journal-title":"Cogn Sci"},{"key":"9131_CR128","doi-asserted-by":"crossref","unstructured":"Horty JF (2011) Reasons and precedent. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 41\u201350","DOI":"10.1145\/2018358.2018363"},{"key":"9131_CR129","doi-asserted-by":"crossref","unstructured":"Hume D (1739) A treatise on human nature. Available as: A Treatise of human nature, edited by Selby-Bigge LA, 2nd edn. (revised by Nidditch PH, Clarendon Press, Oxford, 1975)","DOI":"10.1093\/oseo\/instance.00046221"},{"issue":"2-3","key":"9131_CR130","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1008301122056","volume":"7","author":"D Hunter","year":"1999","unstructured":"Hunter D (1999) Out of their minds: legal theory in neural networks. Artif Intell Law 7(2\u20133):129\u2013151","journal-title":"Artif Intell Law"},{"key":"9131_CR132","first-page":"417","volume-title":"Strukturierung der Juristischen Semantik\u2014Structuring Legal Semantics.","author":"P Jackson","year":"2011","unstructured":"Jackson P, Al-Kofahi K (2011) Human expertise and artificial intelligence in legal search. In: Geist A, Brunschwig CR, Lachmeyer F, Schefbeck G (eds) Strukturierung der Juristischen Semantik\u2014Structuring Legal Semantics. Editions Weblaw, Bern, pp 417\u2013427"},{"issue":"1-2","key":"9131_CR133","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0004-3702(03)00106-1","volume":"150","author":"P Jackson","year":"2003","unstructured":"Jackson P, Al-Kofahi K, Tyrrell A, Vachher A (2003) Information extraction from case law and retrieval of prior cases. Artif Intell 150(1\u20132):239\u2013290","journal-title":"Artif Intell"},{"key":"9131_CR134","doi-asserted-by":"crossref","unstructured":"Jakobovits H, Vermeir D (1999) Dialectic semantics for argumentation frameworks. In: Proceedings of the seventh international conference on artificial intelligence and law. ACM Press, New York, pp 53\u201362","DOI":"10.1145\/323706.323715"},{"key":"9131_CR136","doi-asserted-by":"crossref","unstructured":"Johnson P, Mead D (1991) Legislative knowledge base systems for public administration: some practical issues. In: Proceedings of the third international conference on artificial intelligence and law, ACM Press, New York, pp 108\u2013117","DOI":"10.1145\/112646.112660"},{"issue":"2","key":"9131_CR137","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00869304","volume":"65","author":"AJI Jones","year":"1985","unstructured":"Jones AJI, P\u00f6rn I (1985) Ideality, sub-ideality and deontic logic. Synthese 65(2):275\u2013290","journal-title":"Synthese"},{"issue":"1","key":"9131_CR138","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00413581","volume":"66","author":"AJI Jones","year":"1986","unstructured":"Jones AJI, P\u00f6rn I (1986) \u201cOught\u201d and \u201cMust\u201d. Synthese 66(1):89\u201393","journal-title":"Synthese"},{"issue":"2","key":"9131_CR139","first-page":"145","volume":"1","author":"NJ Juzgado","year":"1998","unstructured":"Juzgado NJ, Moran JL (1998) Common framework for the evaluation process of KBS and conventional software. Knowl Based Syst 1(2):145\u2013159","journal-title":"Knowl Based Syst"},{"key":"9131_CR140","volume-title":"A probabilistic analysis of the Sacco and Vanzetti evidence","author":"JB Kadane","year":"1996","unstructured":"Kadane JB, Schum DA (1996) A probabilistic analysis of the Sacco and Vanzetti evidence. Wiley, New York"},{"issue":"4","key":"9131_CR141","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0306-4379(01)00020-5","volume":"26","author":"NI Karacapilidis","year":"2001","unstructured":"Karacapilidis NI, Papadias D (2001) Computer supported argumentation and collaborative decision making: the HERMES system. Inform Syst 26(4):259\u2013277","journal-title":"Inform Syst"},{"key":"9131_CR142","unstructured":"Karousos N, Papaloukas S, Kostaras N, Xenos MN, Tzagarakis M, Karacapilidis NI (2010) Usability evaluation of web-based collaboration support systems: the case of CoPe_it! In: Proceedings of the third world summit on the knowledge society, volume 111 of communications in computer and information science. Springer, Berlin, pp 248\u2013258"},{"key":"9131_CR143","unstructured":"Karpf J (1989) Quality assurance of legal expert systems. In: Pre-proceedings of the third international conference on Logica, Informatica, Diritto, CNR, Florence, pp 411\u2013440"},{"key":"9131_CR146","doi-asserted-by":"crossref","unstructured":"Keppens J (2011) On extracting arguments from Bayesian network representations of evidential reasoning. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 141\u2013150","DOI":"10.1145\/2018358.2018380"},{"issue":"2","key":"9131_CR147","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.eswa.2005.07.011","volume":"30","author":"J Keppens","year":"2006","unstructured":"Keppens J, Schafer B (2006) Knowledge based crime scenario modelling. Exp Syst Appl 30(2):203\u2013222","journal-title":"Exp Syst Appl"},{"issue":"1","key":"9131_CR148","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s10489-009-0208-5","volume":"35","author":"J Keppens","year":"2011","unstructured":"Keppens J, Shen Q, Price C (2011) Compositional Bayesian modelling for computation of evidence collection strategies. Appl Intell 35(1):134\u2013161","journal-title":"Appl Intell"},{"key":"9131_CR149","volume-title":"Visualizing argumentation: software tools for collaborative and educational sense-making","year":"2003","unstructured":"Kirschner PA, Buckingham S, Simon J, Carr CS (eds) (2003) Visualizing argumentation: software tools for collaborative and educational sense-making. Springer, Berlin"},{"key":"9131_CR150","doi-asserted-by":"crossref","unstructured":"Kogan S, Levin D, Routledge BR, Sagi JS, Smith NA (2009) Predicting risk from financial reports with regression. In: Proceedings of the human language technologies: the annual conference of the North American chapter of the association for computational linguistics, association for computational linguistics, Stroudsburg, PA, pp 272\u2013280","DOI":"10.3115\/1620754.1620794"},{"issue":"3-4","key":"9131_CR151","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00118494","volume":"4","author":"RA Kowalski","year":"1996","unstructured":"Kowalski RA, Toni F (1996) Abstract argumentation. Artif Intell Law 4(3\u20134):275\u2013296","journal-title":"Artif Intell Law"},{"key":"9131_CR152","doi-asserted-by":"crossref","unstructured":"Lauritsen M (2005) Intelligent tools for managing factual arguments. In: Proceedings of the tenth international conference on artificial intelligence and law, ACM Press, New York, pp 95\u2013104","DOI":"10.1145\/1165485.1165501"},{"key":"9131_CR153","doi-asserted-by":"crossref","unstructured":"Leenes RE (2001) Burden of proof in dialogue games and Dutch civil procedure. In: Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, pp 109\u2013118","DOI":"10.1145\/383535.383549"},{"key":"9131_CR154","unstructured":"Leidner JL, Schilder F (2010) Hunting for the black swan: risk mining from text. In: Proceedings of the association for computational linguistics (ACL), association for computational linguistics, Stroudsburg, PA, pp 54\u201359"},{"key":"9131_CR155","unstructured":"Leith P (1982) ELI: an expert legislative consultant. In: Proceedings of the IEE conference on man\/machine systems UMIST Conference Publication 212"},{"key":"9131_CR156","volume-title":"An introduction to legal reasoning","author":"EH Levi","year":"1949","unstructured":"Levi EH (1949) An introduction to legal reasoning. University of Chicago Press, Chicago"},{"issue":"2","key":"9131_CR157","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.jal.2007.06.010","volume":"6","author":"L Lindahl","year":"2008","unstructured":"Lindahl L, Odelstad J (2008) Intermediaries and intervenients in normative systems. J Appl Logic 6(2):229\u2013250","journal-title":"J Appl Logic"},{"key":"9131_CR158","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming, 2nd edn","author":"JW Lloyd","year":"1987","unstructured":"Lloyd JW (1987) Foundations of logic programming, 2nd edn. Springer, Berlin"},{"key":"9131_CR159","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3957-1","volume-title":"DiaLaw. On legal justification and dialogical models of argumentation. Law and philosophy library","author":"AR Lodder","year":"1999","unstructured":"Lodder AR (1999) DiaLaw. On legal justification and dialogical models of argumentation. Law and philosophy library. Kluwer, Dordrecht"},{"key":"9131_CR160","unstructured":"Lodder AR, Herczog A (1995) DiaLaw a dialogical framework for modeling legal reasoning. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 146\u2013155"},{"key":"9131_CR161","volume-title":"Dialogische Logik","author":"P Lorenzen","year":"1978","unstructured":"Lorenzen P, Lorenz K (1978) Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt"},{"issue":"1","key":"9131_CR162","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/0824-7935.00055","volume":"14","author":"RP Loui","year":"1998","unstructured":"Loui RP (1998) Process and policy: resource-bounded non-demonstrative reasoning. Comput Intell 14(1):1\u201338","journal-title":"Comput Intell"},{"issue":"3","key":"9131_CR163","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00872529","volume":"3","author":"RP Loui","year":"1995","unstructured":"Loui RP, Norman J (1995) Rationales and argument moves. Artif Intell Law 3(3):159\u2013189","journal-title":"Artif Intell Law"},{"key":"9131_CR164","doi-asserted-by":"crossref","unstructured":"Loui RP, Norman J, Olson J, Merrill A (1993) A design for reasoning with policies, precedents and rationales. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 202\u2013211","DOI":"10.1145\/158976.159002"},{"key":"9131_CR165","doi-asserted-by":"crossref","unstructured":"Loui RP, Norman J, Altepeter J, Pinkard D, Craven D, Linsday J, Foltz MA (1997) Progress on room 5: a testbed for public interactive semi-formal legal argumentation. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 207\u2013214","DOI":"10.1145\/261618.261655"},{"key":"9131_CR166","doi-asserted-by":"crossref","unstructured":"Luehrs R, Malsch T, Voss K (2001) Internet, discourses and democracy. In: New frontiers in artificial intelligence, LNCS 2253. Springer, Berlin, pp 67\u201374","DOI":"10.1007\/3-540-45548-5_9"},{"issue":"1","key":"9131_CR167","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1080\/19331680802662113","volume":"6","author":"A Macintosh","year":"2009","unstructured":"Macintosh A, Gordon TF, Renton A (2009) Providing argument support for e-participation. J Inform Technol Politics 6(1):43\u201359","journal-title":"J Inform Technol Politics"},{"issue":"3-4","key":"9131_CR168","first-page":"302","volume":"3","author":"E Mackaay","year":"1974","unstructured":"Mackaay E, Robillard P (1974) Predicting judicial decisions: the nearest neighbour rule and visual representation of case patterns. Datenverarbeitung im Recht 3(3\u20134):302\u2013331","journal-title":"Datenverarbeitung im Recht"},{"issue":"1","key":"9131_CR169","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00258422","volume":"8","author":"JD Mackenzie","year":"1979","unstructured":"Mackenzie JD (1979) Question-begging in non-cumulative systems. J Philos Logic 8(1):117\u2013133","journal-title":"J Philos Logic"},{"key":"9131_CR170","volume-title":"Introduction to information retrieval","year":"2008","unstructured":"Manning CD, Raghavan P, Schtze H (eds) (2008) Introduction to information retrieval. Cambridge University Press, Cambridge"},{"key":"9131_CR171","unstructured":"McCarty LT (1983) Permissions and obligations. In: Proceedings of the eighth international joint conference on artificial intelligence. William Kaufmann, MA, pp 287\u2013294"},{"key":"9131_CR172","first-page":"125","volume-title":"Data processing and the law","author":"LT McCarty","year":"1984","unstructured":"McCarty LT (1984) Intelligent legal information systems: problems and prospects. In: Campbell C (ed) Data processing and the law. Sweet and Maxwell, London, pp 125\u2013151"},{"key":"9131_CR173","doi-asserted-by":"crossref","unstructured":"McCarty LT (1989) A language for legal discourse I: basic features. In: Proceedings of the second international conference on artificial intelligence and law. ACM Press, New York, pp 180\u2013189","DOI":"10.1145\/74014.74037"},{"key":"9131_CR174","doi-asserted-by":"crossref","unstructured":"McCarty LT (1991) Invited address: on the role of prototypes in appellate legal argument. In: Proceedings of the third international conference on artificial intelligence and law. ACM Press, New York, pp 185\u2013190","DOI":"10.1145\/112646.112668"},{"key":"9131_CR175","unstructured":"McCarty LT (1995) An implementation of Eisner v. Macomber. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 276\u2013286"},{"key":"9131_CR176","unstructured":"McCarty LT, Sridharan NS (1981) The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence, William Kaufmann, MA, pp. 246\u2013253"},{"key":"9131_CR177","unstructured":"Mochales R, Moens M-F (2009) Argumentation mining: the detection, classification and structure of arguments in text. In: Proceedings of the twelfth international conference on artificial intelligence and law. ACM Press, New York, pp. 98\u2013107"},{"issue":"1","key":"9131_CR178","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10506-010-9104-x","volume":"19","author":"R Mochales","year":"2011","unstructured":"Mochales R, Moens M-F (2011) Argumentation mining. Artif Intell Law 19(1):1\u201322","journal-title":"Artif Intell Law"},{"key":"9131_CR181","doi-asserted-by":"crossref","unstructured":"Modgil S, Bench-Capon TJM (2011) Metalevel argumentation. J Logic Comput 21(6):959\u20131003","DOI":"10.1093\/logcom\/exq054"},{"key":"9131_CR179","unstructured":"Modgil S, Prakken H (2011) Revisiting preferences and argumentation. In: Proceedings of the twenty-second international joint conference on artificial intelligence. IJCAI\/AAAI, pp 1021\u20131026"},{"key":"9131_CR180","unstructured":"Moens M-F, Uyttendaele C, Dumortier J (1997) Abstracting of legal cases: the SALOMON experience. In: Proceedings of the second international conference on artificial intelligence and law. ACM Press, New York, pp 114\u2013122"},{"issue":"3","key":"9131_CR182","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1023\/A:1015023512975","volume":"17","author":"B Moulin","year":"2002","unstructured":"Moulin B, Irandoust H, B\u00e9langer M, Desbordes G (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":"9131_CR183","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09438-9","volume-title":"Principles of artificial intelligence","author":"NJ Nilsson","year":"1982","unstructured":"Nilsson NJ (1982) Principles of artificial intelligence. Springer, Oxford"},{"issue":"1","key":"9131_CR184","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","volume":"7","author":"RM O\u2019Keefe","year":"1993","unstructured":"O\u2019Keefe RM, O\u2019Leary DE (1993) Expert system verification and validation: a survey and tutorial. Artif Intell Rev 7(1):3\u201342","journal-title":"Artif Intell Rev"},{"key":"9131_CR185","doi-asserted-by":"crossref","unstructured":"Palmirani M, Governatori G, Contissa G (2011) Modelling temporal legal rules. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 131\u2013135","DOI":"10.1145\/2018358.2018378"},{"issue":"1-2","key":"9131_CR186","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/1500000011","volume":"2","author":"B Pang","year":"2008","unstructured":"Pang B, Lee L (2008) Opinion mining and sentiment analysis. Found Trends Inform Retr 2(1\u20132):1\u2013135","journal-title":"Found Trends Inform Retr"},{"key":"9131_CR187","volume-title":"Capability maturity model for software","author":"MC Paulk","year":"1995","unstructured":"Paulk MC, Weber CV, Curtis B, Chrissis MB (1995) Capability maturity model for software. Addison-Wesley, Boston"},{"key":"9131_CR188","volume-title":"On law and reason, 2nd edn","author":"A Peczenik","year":"2008","unstructured":"Peczenik A (2008) On law and reason, 2nd edn. Springer, Berlin"},{"issue":"3","key":"9131_CR189","first-page":"325","volume":"13","author":"A Peczenik","year":"2000","unstructured":"Peczenik A, Hage J (2000) Legal knowledge about what? Ratio Juris 13(3):325\u2013345","journal-title":"Ratio Juris"},{"key":"9131_CR190","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1017\/CBO9780511752896.010","volume-title":"Inside the Juror: the psychology of juror decision making","author":"N Pennington","year":"1993","unstructured":"Pennington N, Hastie R (1993) The story model for juror decision making. In: Hastie R (ed) Inside the Juror: the psychology of juror decision making. Cambridge University Press, Cambridge, pp 192\u2013221"},{"key":"9131_CR191","volume-title":"The new rhetoric: a treatise on argumentation","author":"C Perelman","year":"1969","unstructured":"Perelman C, Olbrechts-Tyteca L (1969) The new rhetoric: a treatise on argumentation. University of Notre Dame Press, Notre Dame"},{"issue":"2","key":"9131_CR192","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1023\/A:1008371600675","volume":"7","author":"L Philipps","year":"1999","unstructured":"Philipps L (1999) Artificial morality and artificial law. Artif Intell Law 7(2):115\u2013128","journal-title":"Artif Intell Law"},{"issue":"2-3","key":"9131_CR193","first-page":"51","volume":"7","author":"L Philipps","year":"1999","unstructured":"Philipps L, Sartor G (1999) Introduction: from legal theories to neural networks and fuzzy reasoning. Artif Intell Law 7(2\u20133):51\u201363","journal-title":"Artif Intell Law"},{"key":"9131_CR194","volume-title":"Collected papers of Charles Sanders Peirce","author":"CS Pierce","year":"1931","unstructured":"Pierce CS (1931) Collected papers of Charles Sanders Peirce. Harvard University Press, Harvard"},{"issue":"4","key":"9131_CR195","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"J Pollock","year":"1987","unstructured":"Pollock J (1987) Defeasible reasoning. Cogn Sci 11(4):481\u2013518","journal-title":"Cogn Sci"},{"key":"9131_CR196","doi-asserted-by":"crossref","unstructured":"Prakken H (1993) A logical framework for modelling legal argument. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 192\u2013201","DOI":"10.1145\/158976.158977"},{"key":"9131_CR197","doi-asserted-by":"crossref","unstructured":"Prakken H (1995) From logic to dialectics in legal argument. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 165\u201374","DOI":"10.1145\/222092.222230"},{"key":"9131_CR198","first-page":"49","volume-title":"Legal knowledge and information systems: Jurix 2000","author":"H Prakken","year":"2000","unstructured":"Prakken H (2000) An exercise in formalising teleological case-based reasoning. In: Beuker J, Leenes R, Winkels R (eds) Legal knowledge and information systems: Jurix 2000. IOS Press, Amsterdam, pp 49\u201357"},{"issue":"2-3","key":"9131_CR199","first-page":"253","volume":"48","author":"H Prakken","year":"2001","unstructured":"Prakken H (2001) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48(2\u20133):253\u2013271","journal-title":"Fundamenta Informaticae"},{"key":"9131_CR200","doi-asserted-by":"crossref","unstructured":"Prakken H (2001) Modelling reasoning about evidence in legal procedure. In: Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, 119\u2013128","DOI":"10.1145\/383535.383550"},{"issue":"1-3","key":"9131_CR201","first-page":"111","volume":"10","author":"H Prakken","year":"2002","unstructured":"Prakken H (2002) An exercise in formalising teleological case-based reasoning. Artif Intell Law 10(1\u20133):111\u2013133","journal-title":"Artif Intell Law"},{"key":"9131_CR202","doi-asserted-by":"crossref","unstructured":"Prakken H (2005) A study of accrual of arguments, with applications to evidential reasoning. In: Proceedings of the tenth international conference on artificial intelligence and law. ACM Press, New York, pp 85\u201394","DOI":"10.1145\/1165485.1165500"},{"issue":"6","key":"9131_CR203","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1093\/logcom\/exi046","volume":"15","author":"H Prakken","year":"2005","unstructured":"Prakken H (2005) Coherence and flexibility in dialogue games for argumentation. J Logic Comput 15(6):1009\u20131040","journal-title":"J Logic Comput"},{"issue":"3","key":"9131_CR204","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10506-008-9066-4","volume":"16","author":"H Prakken","year":"2008","unstructured":"Prakken H (2008) A formal model of adjudication dialogues. Artif Intell Law 16(3):305\u2013328","journal-title":"Artif Intell Law"},{"issue":"2","key":"9131_CR205","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken H (2010) An abstract framework for argumentation with structured arguments. Arg Comput 1(2):93\u2013124","journal-title":"Arg Comput"},{"issue":"3-4","key":"9131_CR206","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H Prakken","year":"1996","unstructured":"Prakken H, Sartor G (1996) A dialectical model of assessing conflicting argument in legal reasoning. Artif Intell Law 4(3\u20134):331\u2013368","journal-title":"Artif Intell Law"},{"issue":"1","key":"9131_CR207","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non Class Logics 7(1):25\u201375","journal-title":"J Appl Non Class Logics"},{"key":"9131_CR208","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (1997) Reasoning with precedents in a dialogue game. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 1\u20139","DOI":"10.1145\/261618.261621"},{"issue":"2-4","key":"9131_CR209","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1008278309945","volume":"6","author":"H Prakken","year":"1998","unstructured":"Prakken H, Sartor G (1998) Modelling reasoning with precedents in a formal dialogue game. Artif Intell Law 6(2\u20134):231\u2013287","journal-title":"Artif Intell Law"},{"key":"9131_CR210","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2006) Presumptions and burdens of proof. In: van Engers TM (ed) Legal knowledge and information systems: JURIX 2006: the nineteenth annual conference. IOS Press, Amsterdam, pp 21\u201330","DOI":"10.2139\/ssrn.963761"},{"key":"9131_CR211","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2007) Formalising arguments about the burden of persuasion. In: Proceedings of the eleventh international conference on artificial intelligence and law. ACM Press, New York, pp 176\u2013185","DOI":"10.1145\/1276318.1276338"},{"key":"9131_CR212","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2008) More on presumptions and burdens of proof. In: Francesconi E, Sartor G, Tiscorina D (eds) Legal knowledge and information systems. Jurix 2008: the twenty-first annual conference. IOS Press, Amsterdam, pp 21\u201330","DOI":"10.2139\/ssrn.1317348"},{"key":"9131_CR213","unstructured":"Prakken H, Sartor G (2009) A logical analysis of burdens of proof. Legal evidence and burden of proof. In: Kaptein H, Prakken H, Verheij B (eds) Legal evidence and burden of proof: statistics, stories, logic. Ashgate, Farnham, pp 223\u2013253"},{"key":"9131_CR214","first-page":"83","volume-title":"Legal knowledge and information systems (Jurix 2011)","author":"H Prakken","year":"2011","unstructured":"Prakken H, Sartor G (2011) On modelling burdens and standards of proof in structured argumentation. In: Atkinson K (ed) Legal knowledge and information systems (Jurix 2011). IOS Press, Amsterdam, pp 83\u201392"},{"key":"9131_CR215","unstructured":"Prakken H, Reed C, Walton DN (2004) Argumentation schemes and burden of proof. In: Proceedings of the fourth workshop on computational models of natural argument. ECAI, Valencia, pp 81\u201386"},{"key":"9131_CR216","doi-asserted-by":"crossref","unstructured":"Prakken H, Reed C, Walton DN (2005) Dialogues about the burden of proof. In: Proceedings of the tenth international conference on AI and Law. ACM Press, New York, pp 15\u2013124","DOI":"10.1145\/1165485.1165503"},{"issue":"8","key":"9131_CR217","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1016\/j.is.2009.04.005","volume":"34","author":"SL Price","year":"2009","unstructured":"Price SL, Nielsen ML, Delcambre LML, Vedsted P, Steinhauer J (2009) Using semantic components to search for domain-specfic documents: an evaluation from the system perspective. Inform Syst 34(8):724\u2013752","journal-title":"Inform Syst"},{"issue":"4","key":"9131_CR218","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1142\/S0218213004001922","volume":"13","author":"C Reed","year":"2004","unstructured":"Reed C, Rowe G (2004) Araucaria: software for argument analysis, diagramming and representation. Int J AI Tools 13(4):961\u2013980","journal-title":"Int J AI Tools"},{"issue":"1-2","key":"9131_CR219","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R (1980) A logic for default reasoning. Artif Intell 13(1\u20132):81\u2013132","journal-title":"Artif Intell"},{"key":"9131_CR220","volume-title":"Dialectics: a controversy-oriented approach to the theory of knowledge","author":"N Rescher","year":"1977","unstructured":"Rescher N (1977) Dialectics: a controversy-oriented approach to the theory of knowledge. State University of New York Press, Albany"},{"key":"9131_CR221","volume-title":"Artificial intelligence, 2nd edn","author":"E Rich","year":"1991","unstructured":"Rich E, Knight K (1991) Artificial intelligence, 2nd edn. McGraw Hill, New York"},{"key":"9131_CR222","unstructured":"Rissland EL (1983) Examples in legal reasoning: legal hypotheticals. In: Proceedings of the eighth international joint conference on artificial intelligence. William Kaufman, MA, pp 90\u201393"},{"key":"9131_CR223","doi-asserted-by":"crossref","unstructured":"Rissland EL (2009) Black swans, gray cygnets and other rare birds. In: Case-based reasoning research and development, eighth international conference on case-based reasoning. Springer, Berlin, pp 6\u201313","DOI":"10.1007\/978-3-642-02998-1_2"},{"key":"9131_CR224","unstructured":"Rissland EL, Ashley KD (1987) A case-based system for trade secrets law. In: Proceedings of the first international conference on AI and Law. ACM Press, New York, pp 60\u201366"},{"issue":"1-3","key":"9131_CR225","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1023\/A:1019543817123","volume":"10","author":"EL Rissland","year":"2002","unstructured":"Rissland EL, Ashley KD (2002) A note on dimensions and factors. Artif Intell Law 10(1\u20133):65\u201377","journal-title":"Artif Intell Law"},{"key":"9131_CR226","unstructured":"Rissland EL, Collins RT (1986) The law as learning system. In: Proceedings eighth annual cognitive science society conference. Amherst, MA, pp 500\u2013513"},{"key":"9131_CR227","unstructured":"Rissland EL, Daniels JJ (1995) A hybrid CBR-IR approach to legal information retrieval. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 52\u201361"},{"key":"9131_CR228","unstructured":"Rissland EL, Friedman MT(1995) Detecting change in legal concepts. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 127\u2013136"},{"key":"9131_CR229","doi-asserted-by":"crossref","unstructured":"Rissland EL, Skalak DB (1989) Interpreting statutory predicates. In: Proceedings of the second international conference on artificial intelligence and law. ACM Press, New York, pp 46\u201353","DOI":"10.1145\/74014.74021"},{"key":"9131_CR230","unstructured":"Rissland EL, Skalak DB (1989) Combining case-based and rule-based reasoning: a heuristic approach. In: Proceedings of eleventh international joint conference on artificial intelligence. Morgan Kaufmann, CA, pp 524\u2013530"},{"issue":"6","key":"9131_CR231","first-page":"39","volume":"34","author":"EL Rissland","year":"1991","unstructured":"Rissland EL, Skalak DB (1991) CABARET: statutory interpretation on a hybrid architecture. Int J Man Mach Stud 34(6):39\u2013887","journal-title":"Int J Man Mach Stud"},{"key":"9131_CR232","doi-asserted-by":"crossref","unstructured":"Rissland EL, Skalak DB, Friedman MT (1993) BankXX: a program to generate argument through case-base search. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 117\u2013124","DOI":"10.1145\/158976.158991"},{"issue":"1","key":"9131_CR233","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00123994","volume":"4","author":"EL Rissland","year":"1996","unstructured":"Rissland EL, Skalak DB, Friedman MT (1996) BankXX: supporting legal arguments through heuristic retrieval. Artif Intell Law 4(1):1\u201371","journal-title":"Artif Intell Law"},{"issue":"1-2","key":"9131_CR234","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1008215000938","volume":"5","author":"EL Rissland","year":"1997","unstructured":"Rissland EL, Skalak DB, Friedman MT (1997) Evaluating a legal argument program: the BankXX experiments. Artif Intell Law 5(1\u20132):1\u201374","journal-title":"Artif Intell Law"},{"issue":"3","key":"9131_CR235","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0269888906000701","volume":"20","author":"EL Rissland","year":"2005","unstructured":"Rissland EL, Ashley KD, Branting LK (2005) Case-based reasoning and law. Knowl Eng Rev 20(3):293\u2013298","journal-title":"Knowl Eng Rev"},{"issue":"2","key":"9131_CR236","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01405730","volume":"4","author":"HWJ Rittel","year":"1973","unstructured":"Rittel HWJ, Webber MM (1973) Dilemas in a general theory of planning. Policy Sci 4(2):155\u2013169","journal-title":"Policy Sci"},{"key":"9131_CR237","unstructured":"Roth B, Verheij B (2004) Dialectical arguments and case comparison. In: Gordon T (ed) Legal knowledge and information systems. Jurix 2004: the seventeenth annual conference. IOS Press, Amsterdam, pp 99\u2013108"},{"issue":"1","key":"9131_CR239","first-page":"49","volume":"3","author":"P Saint-Dizier","year":"2012","unstructured":"Saint-Dizier P (2012) Processing natural language arguments with the TextCoop platform. J Arg Comput 3(1):49\u201382","journal-title":"J Arg Comput"},{"issue":"11","key":"9131_CR240","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/361219.361220","volume":"18","author":"GM Salton","year":"1975","unstructured":"Salton GM, Wong AKC, Yang C-S (1975) A vector space model for automatic indexing. Commun ACM 18(11):613\u2013620","journal-title":"Commun ACM"},{"key":"9131_CR241","doi-asserted-by":"crossref","unstructured":"Sartor G (1993) A simple computational model for nonmonotonic and adversarial legal reasoning. In: Proceedings of the fourth international conference on artificial intelligence and law. ACM Press, New York, pp 1\u20139","DOI":"10.1145\/158976.159001"},{"issue":"1-3","key":"9131_CR242","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1023\/A:1019589831118","volume":"10","author":"G Sartor","year":"2002","unstructured":"Sartor G (2002) Teleological arguments and theory-based dialectics. Artif Intell Law 10(1\u20133):95\u2013112","journal-title":"Artif Intell Law"},{"issue":"1-2","key":"9131_CR243","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s10506-006-9009-x","volume":"14","author":"G Sartor","year":"2006","unstructured":"Sartor G (2006) Fundamental legal concepts: a formal and teleological characterisation. Artif Intell Law 14(1\u20132):101\u2013142","journal-title":"Artif Intell Law"},{"issue":"2","key":"9131_CR244","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10506-010-9095-7","volume":"18","author":"G Sartor","year":"2010","unstructured":"Sartor G (2010) Doing justice to rights and values: teleological reasoning and proportionality. Artif Intell Law 18(2):175\u2013215","journal-title":"Artif Intell Law"},{"key":"9131_CR245","volume-title":"Scripts, plans, goals and understanding: an inquiry into human knowledge structures","author":"RC Schank","year":"1997","unstructured":"Schank RC, Abelson RP (1997) Scripts, plans, goals and understanding: an inquiry into human knowledge structures. Lawrence Erlbaum, Hillsdale, New Jersey"},{"issue":"1","key":"9131_CR246","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s11412-009-9080-x","volume":"5","author":"O Scheuer","year":"2010","unstructured":"Scheuer O, Loll F, Pinkwart N, McLaren BM (2010) Computer-supported argumentation: a review of the state of the art. Int J Comput Supp Collab Learn 5(1):43\u2013102","journal-title":"Int J Comput Supp Collab Learn"},{"key":"9131_CR247","doi-asserted-by":"crossref","unstructured":"Schlobohm DA, McCarty LT (1989) EPS II: estate planning with prototypes. In: Proceedings of the second international conference on artificial intelligence and law. ACM Press, New York, pp 1\u201310","DOI":"10.1145\/74014.74015"},{"key":"9131_CR248","volume-title":"Legal knowledge representation, automatic text analysis in public international and European law","author":"E Schweighofer","year":"1999","unstructured":"Schweighofer E (1999) Legal knowledge representation, automatic text analysis in public international and European law. Kluwer, The Hague"},{"key":"9131_CR249","first-page":"569","volume-title":"Festskrift till Peter Seipel","author":"E Schweighofer","year":"2006","unstructured":"Schweighofer E (2006) Computing law: from legal information systems to dynamic legal electronic commentaries. In: Sjberg CM, Wahlgren P (eds) Festskrift till Peter Seipel. Norsteds Juridik AB, Stockholm, pp 569\u2013588"},{"key":"9131_CR250","doi-asserted-by":"crossref","unstructured":"Schweighofer E, Winiwarter W (1993) Legal expert system KONTERM\u2014automatic representation of document structure and contents. In: Database and expert systems applications. Springer, Berlin, pp 486\u2013497","DOI":"10.1007\/3-540-57234-1_49"},{"key":"9131_CR251","doi-asserted-by":"crossref","unstructured":"Schweighofer E, Rauber A, Dittenbach M (2001) Automatic text representation, classification and labeling in European law. In: Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, pp 78\u201387","DOI":"10.1145\/383535.383544"},{"key":"9131_CR252","first-page":"33","volume-title":"Logic programming","author":"MJ Sergot","year":"1982","unstructured":"Sergot MJ (1982) Prospects for representing the law as logic programs. In: Clark KL, Tarnlund SA (eds) Logic programming. Academic Press, London, pp 33\u201342"},{"issue":"5","key":"9131_CR253","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun ACM 29(5):370\u2013386","journal-title":"Commun ACM"},{"key":"9131_CR254","volume-title":"Computer-based medical consultations, MYCIN. Artificial intelligence series","author":"EH Shortliffe","year":"1976","unstructured":"Shortliffe EH (1976) Computer-based medical consultations, MYCIN. Artificial intelligence series. Elsevier, Amsterdam"},{"key":"9131_CR255","doi-asserted-by":"crossref","unstructured":"Skalak DB, Rissland EL (1991) Argument moves in a rule-guided domain. In: Proceedings of the third international conference on artificial intelligence and law. ACM Press, New York, pp 1\u201311","DOI":"10.1145\/112646.112647"},{"issue":"1","key":"9131_CR256","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00118477","volume":"1","author":"DB Skalak","year":"1992","unstructured":"Skalak DB, Rissland EL (1992) Arguments and cases: an inevitable intertwining. Artif Intell Law 1(1):3\u201344","journal-title":"Artif Intell Law"},{"key":"9131_CR257","doi-asserted-by":"crossref","unstructured":"Smith JC (1997) The use of lexicons in information retrieval in legal databases. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 78\u201387","DOI":"10.1145\/261618.261625"},{"key":"9131_CR258","first-page":"45","volume-title":"Computer science and law","author":"R Stamper","year":"1980","unstructured":"Stamper R (1980) LEGOL: modelling legal rules by computer. In: Niblett B (ed) Computer science and law. Cambridge University Press, Cambridge, pp 45\u201371"},{"key":"9131_CR259","doi-asserted-by":"crossref","unstructured":"Surdeanu M, Nallapati R, Gregory G, Walker J, Manning CD (2011) Risk analysis for intellectual property litigation. In: Proceedings of the thirteenth international conference on AI and Law. ACM Press, New York, pp 231\u2013236","DOI":"10.1145\/2018358.2018375"},{"key":"9131_CR260","doi-asserted-by":"crossref","unstructured":"Susskind R (1987) Expert systems in law: out of the research laboratory and into the marketplace. In: Proceedings of the first international conference on AI and Law. ACM Press, New York, pp 1\u20138","DOI":"10.1145\/41735.41736"},{"key":"9131_CR261","unstructured":"Teufel S (1999) Argumentative Zoning: information extraction from scientific text. PhD thesis, University of Edinburgh"},{"issue":"4","key":"9131_CR262","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1162\/089120102762671936","volume":"28","author":"S Teufel","year":"2002","unstructured":"Teufel S, Moens M (2002) Summarizing scientific articles\u2014experiments with relevance and rhetorical status. Comput Linguist 28(4):409\u2013445","journal-title":"Comput Linguist"},{"key":"9131_CR263","volume-title":"The uses of argument","author":"SE Toulmin","year":"1958","unstructured":"Toulmin SE (1958) The uses of argument. Cambridge University Press, Cambridge"},{"key":"9131_CR264","volume-title":"Expert systems in law","author":"A Tyree","year":"1989","unstructured":"Tyree A (1989) Expert systems in law. Prentice Hall, New Jersey"},{"key":"9131_CR265","doi-asserted-by":"crossref","unstructured":"Valente A, Breuker J (1995) ON-LINE: an architecture for modelling legal information. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 307\u2013315","DOI":"10.1145\/222092.222265"},{"key":"9131_CR266","unstructured":"Van den Braak SW (2010) Sensemaking software for crime analysis. Doctoral dissertation Department of Information and Computing Sciences, Utrecht University"},{"key":"9131_CR268","first-page":"170","volume-title":"Proceedings of Jurix 2008","author":"S Ven van de","year":"2008","unstructured":"Van de Ven S, Breuker J, Hoekstra R, Wortel L (2008) Automated legal assessment in OWL 2. In: Francesconi E, Sartor G, Tiscorina D (eds) Proceedings of Jurix 2008. IOS Press, Amsterdam, pp 170\u2013175"},{"key":"9131_CR267","volume-title":"A systematic theory of argumentation. The pragma-dialectic approach","author":"FH Eemeren Van","year":"2004","unstructured":"Van Eemeren FH, Grootendorst R (2004) A systematic theory of argumentation. The pragma-dialectic approach. Cambridge University Press, Cambridge"},{"key":"9131_CR91","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-1-4471-0037-9_5","volume-title":"Visualizing argumentation: software tools for collaborative and educational sense-making","author":"T Gelder Van","year":"2003","unstructured":"Van Gelder T (2003) Enhancing deliberation through computer supported argument visualization. In: Kirschner PA, Shum SJB, Carr CS (eds) Visualizing argumentation: software tools for collaborative and educational sense-making. Springer, Berlin, pp 97\u2013115"},{"key":"9131_CR123","unstructured":"Van Heijst G (1995) The role of ontologies in knowledge engineering. Ph.D. thesis, Social Science Informatics, University of Amsterdam"},{"key":"9131_CR269","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-6704-661-9","volume-title":"Virtual arguments: on the design of argument assistants for lawyers and other arguers","author":"B Verheij","year":"2005","unstructured":"Verheij B (2005) Virtual arguments: on the design of argument assistants for lawyers and other arguers. T.M.C. Asser Press, The Hague"},{"key":"9131_CR270","first-page":"161","volume-title":"Legal evidence and proof: statistics, stories, logic","author":"B Verheij","year":"2009","unstructured":"Verheij B, Bex FJ (2009) Accepting the truth of a story about the facts of a criminal case. In: Kaptein H, Prakken H, Verheij B (eds) Legal evidence and proof: statistics, stories, logic. Ashgate, Farnham, pp 161\u2013193"},{"key":"9131_CR271","doi-asserted-by":"crossref","unstructured":"Vreeswijk G, Prakken H (2000) Credulous and sceptical argument games for preferred semantics. In: Proceedings of JELIA 2000. Springer, Berlin, pp 239\u2013253","DOI":"10.1007\/3-540-40006-0_17"},{"key":"9131_CR273","volume-title":"Anchored narratives: the psychology of criminal evidence","author":"WA Wagenaar","year":"1993","unstructured":"Wagenaar WA, Van Koppen PJ, Crombag HFM (1993) Anchored narratives: the psychology of criminal evidence. Harvester Wheatsheaf, Hertfordshire"},{"issue":"1-4","key":"9131_CR274","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/lpr\/mgm015","volume":"6","author":"VR Walker","year":"2007","unstructured":"Walker VR (2007) Visualizing the dynamics around the rule\/evidence interface in legal reasoning. Law Prob Risk 6(1\u20134):5\u201322","journal-title":"Law Prob Risk"},{"key":"9131_CR275","volume-title":"Argumentation schemes for presumptive reasoning","author":"DN Walton","year":"1996","unstructured":"Walton DN (1996) Argumentation schemes for presumptive reasoning. Lawrence Erlbaum Associates, Mahwah, NJ"},{"key":"9131_CR276","volume-title":"Fundamentals of critical argumentation","author":"DN Walton","year":"2006","unstructured":"Walton DN (2006) Fundamentals of critical argumentation. Cambridge University Press, Cambridge"},{"key":"9131_CR277","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511802034","volume-title":"Argumentation schemes","author":"DN Walton","year":"2008","unstructured":"Walton DN, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge"},{"issue":"3","key":"9131_CR278","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10506-009-9078-8","volume":"17","author":"M Wardeh","year":"2009","unstructured":"Wardeh M, Bench-Capon TJM, Coenen FP (2009) Padua: a protocol for argumentation dialogue using association rules. Artif Intell Law 17(3):183\u2013215","journal-title":"Artif Intell Law"},{"issue":"3","key":"9131_CR279","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1017\/S0269888906000713","volume":"20","author":"RO Weber","year":"2005","unstructured":"Weber RO, Ashley KD, Br\u00fcninghaus S (2005) Textual case-based reasoning. Knowl Eng Rev 20(3):255\u2013260","journal-title":"Knowl Eng Rev"},{"key":"9131_CR280","volume-title":"The principles of judicial proof or the process of proof as given by logic, psychology, and general experience, and illustrated in judicial trials","author":"JH Wigmore","year":"1913","unstructured":"Wigmore JH (1913) The principles of judicial proof or the process of proof as given by logic, psychology, and general experience, and illustrated in judicial trials. Little, Brown and Company, Boston"},{"issue":"4","key":"9131_CR281","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s10506-008-9070-8","volume":"16","author":"AZ Wyner","year":"2008","unstructured":"Wyner AZ (2008) An ontology in OWL for legal case-based reasoning. Artif Intell Law 16(4):361\u2013387","journal-title":"Artif Intell Law"},{"issue":"1-2","key":"9131_CR282","first-page":"9","volume":"19","author":"AZ Wyner","year":"2010","unstructured":"Wyner AZ (2010) Towards annotating and extracting textual legal case elements. Informatica e Diritto 19(1\u20132):9\u201318","journal-title":"Informatica e Diritto"},{"key":"9131_CR283","first-page":"127","volume-title":"Legal knowledge and information systems (Jurix 2010).","author":"AZ Wyner","year":"2010","unstructured":"Wyner AZ, Peters W (2010) Lexical semantics and expert legal knowledge towards the identification of legal case factors. In: Winkels R (eds) Legal knowledge and information systems (Jurix 2010). IOS Press, Amsterdam, pp 127\u2013136"},{"key":"9131_CR284","unstructured":"Wyner AZ, Bench-Capon TJM, Atkinson K (2007) Arguments, values and baseballs: representation of Popov v. Hayashi. In: Lodder A, Mommens L (eds) Legal knowledge and information systems (Jurix 2007). IOS Press, Amsterdam, pp 151\u2013160"},{"key":"9131_CR285","unstructured":"Wyner AZ, Bench-Capon TJM, Atkinson K (2011) Formalising argumentation about legal cases. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 1\u201310"},{"key":"9131_CR286","doi-asserted-by":"crossref","unstructured":"Yoshino H (1995) The systematization of legal meta-inference. In: Proceedings of the fifth international conference on artificial intelligence and law. ACM Press, New York, pp 266\u2013275","DOI":"10.1145\/222092.222257"},{"issue":"(1-2)","key":"9131_CR287","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1008289826410","volume":"5","author":"H Yoshino","year":"1997","unstructured":"Yoshino H (1997) On the logical foundations of compound predicate formulae for legal knowledge representation. Artif Intell Law 5(1\u20132):77\u201396","journal-title":"Artif Intell Law"},{"key":"9131_CR288","doi-asserted-by":"crossref","unstructured":"Yoshino H (2011) The systematization of law in terms of the validity. In: Proceedings of the thirteenth international conference on artificial intelligence and law. ACM Press, New York, pp 121\u201325","DOI":"10.1145\/2018358.2018376"},{"key":"9131_CR289","unstructured":"Yoshino H, Kakuta T (1993) The knowledge representation of legal expert system LES-3.3 with legal metainference. In: Proceedings of the sixth international symposium of legal expert system association. LESA, Tokyo, pp 1\u20139"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-012-9131-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-012-9131-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-012-9131-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T09:17:07Z","timestamp":1594718227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-012-9131-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":287,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["9131"],"URL":"https:\/\/doi.org\/10.1007\/s10506-012-9131-x","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]}}}