{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:10:04Z","timestamp":1749723004110,"version":"3.41.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T00:00:00Z","timestamp":1478736000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10506-016-9191-4","type":"journal-article","created":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T13:20:55Z","timestamp":1478784055000},"page":"325-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Special issue in memory of Carole Hafner: editor\u2019s introduction"],"prefix":"10.1007","volume":"24","author":[{"given":"T. J. M.","family":"Bench-Capon","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"issue":"1","key":"9191_CR1","doi-asserted-by":"crossref","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 abstract dialectical frameworks. Artif Intell Law 24(1):1\u201349","journal-title":"Artif Intell Law"},{"key":"9191_CR2","unstructured":"Aleven V (1997) Teaching case-based argumentation through a model and examples. PhD thesis, University of Pittsburgh"},{"key":"9191_CR3","volume-title":"Modeling legal arguments: reasoning with cases and hypotheticals","author":"Kevin D Ashley","year":"1991","unstructured":"Ashley Kevin D (1991) Modeling legal arguments: reasoning with cases and hypotheticals. MIT press, Cambridge"},{"issue":"1","key":"9191_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10506-012-9122-y","volume":"20","author":"Katie Atkinson","year":"2012","unstructured":"Atkinson Katie (2012) Introduction to special issue on modelling popov v. hayashi. Artif Intell Law 20(1):1\u201314","journal-title":"Artif Intell Law"},{"key":"9191_CR5","unstructured":"Baude W, Sachs S (2017) The law of interpretation. Harvard Law Review 130 (forthcoming)"},{"key":"9191_CR6","unstructured":"Bench-Capon T, Modgil S (2016) Rules are made to be broken. In: Proceedings of the workshop on artificial intelligence for justice (AI4J 2016) at ECAI 2016, pp 18\u201321"},{"key":"9191_CR7","doi-asserted-by":"crossref","unstructured":"Bench-Capon T (2016) Value-based reasoning and norms. In: Proceedings of the 22nd European conference on artificial intelligence. IOS Press, pp 1664\u20131665","DOI":"10.3233\/978-1-61499-672-9-1664"},{"key":"9191_CR8","doi-asserted-by":"crossref","unstructured":"Bench-Capon T, Araszkiewicz M, Ashley K, Atkinson K, Bex F, Borges F, Bourcier D, Bourgine P, Conrad Jack G, Francesconi E et al. (2012) A history of AI and Law in 50 papers: 25 years of the International Conference on AI and Law. Artif Intell Law 20(3):215\u2013319.","DOI":"10.1007\/s10506-012-9131-x"},{"issue":"1","key":"9191_CR9","doi-asserted-by":"crossref","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):97\u2013143","journal-title":"Artif Intell"},{"key":"9191_CR10","volume-title":"Knowledge-based systems and legal applications","author":"Trevor JM Bench-Capon","year":"2015","unstructured":"Bench-Capon Trevor JM (2015) Knowledge-based systems and legal applications. Academic Press, London"},{"key":"9191_CR11","doi-asserted-by":"crossref","unstructured":"Bench-Capon Trevor\u00a0JM, Robinson Gwen\u00a0O, Routen Tom\u00a0W, Sergot Marek\u00a0J (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. AVM, pp 190\u2013198","DOI":"10.1145\/41735.41757"},{"key":"9191_CR12","unstructured":"Berman D, Hafner C (1985) Obstacles to the development of logic-based models of legal reasoning. In: Walter C, Allen LE (eds) Computing power and legal reasoning. West Pub Co. St Paul, pp 45\u201364"},{"issue":"8","key":"9191_CR13","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1145\/65971.65972","volume":"32","author":"Donald H Berman","year":"1989","unstructured":"Berman Donald H, Hafner Carole D (1989) The potential of artificial intelligence to help solve the crisis in our legal system. Commun ACM 32(8):928\u2013938","journal-title":"Commun ACM"},{"key":"9191_CR14","unstructured":"Berman Donald\u00a0H, Hafner Carole\u00a0D (1991) Incorporating procedural context into a model of case-based legal reasoning. In: Proceedings of the 3rd international conference on artificial intelligence and law. ACM, pp 12\u201320"},{"key":"9191_CR15","unstructured":"Berman Donald H, Hafner Carole D (1993) Representing teleological structure in case-based legal reasoning: The missing link. In: Proceedings of the fourth international conference on artificial intelligence and law, pp 50\u201359"},{"key":"9191_CR16","unstructured":"Berman Donald\u00a0H, Hafner Carole\u00a0D (1995) Understanding precedents in a temporal context of evolving legal doctrine. In: Proceedings of the 5th international conference on artificial intelligence and law. ACM, pp 42\u201351"},{"key":"9191_CR17","volume-title":"Handbook of legal information retrieval","author":"Jon Bing","year":"1984","unstructured":"Bing Jon (1984) Handbook of legal information retrieval. Elsevier Science Inc, Amsterdam"},{"key":"9191_CR18","unstructured":"Brewka G, Ellmauthaler S, Strass H, Wallner J\u00a0P, Woltran S (2013) Abstract dialectical frameworks revisited. In: Proceedings of the twenty-third international joint conference on artificial intelligence. AAAI Press, pp 803\u2013809"},{"key":"9191_CR19","doi-asserted-by":"crossref","unstructured":"Br\u00fcninghaus S, Ashley Kevin D (2005) Generating legal arguments and predictions from case texts. In: Proceedings of the 10th international conference on artificial intelligence and law. ACM, pp 65\u201374","DOI":"10.1145\/1165485.1165497"},{"key":"9191_CR20","doi-asserted-by":"crossref","unstructured":"Cook S, Hafner C, McCarty L\u00a0T, Meldman Jeffrey\u00a0A, Peterson M, Sprowl James\u00a0A, Sridharan NS, Waterman Donald\u00a0A (1981) The applications of artificial intelligence to law: A survey of six current projects. In: Proceedings of the 4\u20137 May 1981, national computer conference. ACM, pp. 689\u2013696","DOI":"10.1145\/1500412.1500516"},{"key":"9191_CR21","unstructured":"Greenleaf G (2004) Jon Bing and the history of computerised legal research-some missing links. Et tilbakeblikk p\u00e5 fremtiden (Looking back at the future), pp 61\u201375"},{"key":"9191_CR22","unstructured":"Gruber Thomas\u00a0R (1991) The role of common ontology in achieving sharable, reusable knowledge bases. In: Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR\u201991). Cambridge, MA, USA, April 22\u201325 1991, pp 601\u2013602"},{"key":"9191_CR23","first-page":"81","volume":"98","author":"Nicola Guarino","year":"1998","unstructured":"Guarino Nicola (1998) Formal ontology and information systems. Proc Formal Ontol Inf Syst 98:81\u201397","journal-title":"Proc Formal Ontol Inf Syst"},{"key":"9191_CR24","unstructured":"Hafner Carole\u00a0D (1978) An information retrieval system based on a computer model of legal knowledge, University of Michigan. PhD Thesis, Ann Arbor, MI"},{"key":"9191_CR25","unstructured":"Hafner Carole\u00a0D (1980) Representation of knowledge in a legal information retrieval system. In: Proceedings of the 3rd annual ACM conference on Research and development in information retrieval. Butterworth & Co, pp 139\u2013153"},{"key":"9191_CR26","doi-asserted-by":"crossref","unstructured":"Hafner Carole\u00a0D (1987) Conceptual organization of case law knowledge bases. In: Proceedings of the 1st international conference on artificial intelligence and law. ACM, pp 35\u201342","DOI":"10.1145\/41735.41740"},{"issue":"1\u20133","key":"9191_CR27","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1023\/A:1019516031847","volume":"10","author":"Carole\u00a0D Hafner","year":"2002","unstructured":"Hafner Carole\u00a0D, Berman Donald\u00a0H (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":"9191_CR28","doi-asserted-by":"crossref","unstructured":"Hafner Carole\u00a0D, Joyce John\u00a0D (1983) Using natural language descriptions to improve the usability of databases. In: Proceedings of the first conference on Applied natural language processing. Association for Computational Linguistics, pp 132\u2013135","DOI":"10.3115\/974194.974220"},{"key":"9191_CR29","unstructured":"Hafner Carole\u00a0D, Lauritsen M (2007) Extending the power of automated legal drafting technology. In: JURIX, vol 165. pp 59\u201368"},{"key":"9191_CR30","unstructured":"Hafner Carole\u00a0D, Noy N Fridman \u00a0(1996) Ontological foundations for biology knowledge models. In: Proceedings of the fourth international conference on intelligent systems for molecular biology, St. Louis, MO, USA, June 12\u201315 1996, pp 78\u201387"},{"key":"9191_CR31","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 4th international conference on artificial intelligence and law, ACM, pp 30\u201339","DOI":"10.1145\/158976.158980"},{"key":"9191_CR32","doi-asserted-by":"crossref","unstructured":"Henderson J , Bench-Capon T (2001) Dynamic arguments in a case law domain. In: Proceedings of the 8th international conference on artificial intelligence and law. ACM, pp 60\u201369","DOI":"10.1145\/383535.383542"},{"issue":"2","key":"9191_CR33","doi-asserted-by":"crossref","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 JM (2012) A factor-based definition of precedential constraint. Artif Intell Law 20(2):181\u2013214","journal-title":"Artif Intell Law"},{"issue":"3","key":"9191_CR34","first-page":"53","volume":"18","author":"N Fridman Noy","year":"1997","unstructured":"Noy N Fridman , Hafner CD (1997) The state of the art in ontology design: a survey and comparative review. AI Mag 18(3):53","journal-title":"AI Mag"},{"key":"9191_CR35","unstructured":"Noy N Fridman , Hafner CD (1998) Representing scientific experiments: implications for ontology design and knowledge sharing. In: Proceedings of the fifteenth national conference on artificial intelligence and tenth innovative applications of artificial intelligence conference, AAAI 98, IAAI 98, Madison, Wisconsin, USA, July 26\u201330 1998, pp 615\u2013622"},{"issue":"6","key":"9191_CR36","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1080\/08839510050076972","volume":"14","author":"N Fridman Noy","year":"2000","unstructured":"Noy N Fridman , Hafner CD (2000) Ontological foundations for experimental science knowledge bases. Appl Artif Intell 14(6):565\u2013618","journal-title":"Appl Artif Intell"},{"issue":"2\u20134","key":"9191_CR37","doi-asserted-by":"crossref","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":"9191_CR38","doi-asserted-by":"crossref","unstructured":"Rissland Edwina L, Friedman M Timur\u00a0(1995) Detecting change in legal concepts. In: Proceedings of the 5th international conference on artificial intelligence and law. ACM pp 127\u2013136","DOI":"10.1145\/222092.222209"},{"issue":"5","key":"9191_CR39","doi-asserted-by":"crossref","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, Terese Cory H (1986) The British nationality act as a logic program. Commun ACM 29(5):370\u2013386","journal-title":"Commun ACM"},{"issue":"1","key":"9191_CR40","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00118477","volume":"1","author":"David\u00a0B Skalak","year":"1992","unstructured":"Skalak David\u00a0B, Rissland Edwina\u00a0L (1992) Arguments and cases: an inevitable intertwining. Artif Intell Law 1(1):3\u201344","journal-title":"Artif Intell Law"},{"key":"9191_CR41","unstructured":"Valente A (1995) Legal knowledge engineering: a modelling approach. Ph.D. thesis, University of Amsterdam"},{"key":"9191_CR42","doi-asserted-by":"crossref","unstructured":"Verheij B (2012) Jumping to conclusions. a logico-probabilistic foundation for defeasible rule-based arguments. In: Proceedings of the 13th European conference on logics in artificial intelligence. JELIA, Springer","DOI":"10.1007\/978-3-642-33353-8_32"},{"key":"9191_CR43","unstructured":"Verheij B (2013) Arguments about values. In: Atkinson K, Prakken H, Wyner A, (eds) 1Argumentation in AI, law and policy making. A Festschrift in honour of Trevor Bench\u2013Capon on the occasion of his 60th birthday. College Publications, London, pp 243\u201357"},{"key":"9191_CR44","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1093\/lpr\/mgu011","volume":"13","author":"B Verheij","year":"2014","unstructured":"Verheij B (2014) To catch a thief with and without numbers: aguments, scenarios and probabilities in evidential reasoning. Law Probab Risk 13:307\u2013325","journal-title":"Law Probab Risk"},{"key":"9191_CR45","unstructured":"Verheij B (2016) Formalizing correct evidential reasoning with arguments, scenarios and probabilities. In: Proceedings of the workshop on artificial intelligence for justice (AI4J 2016) at ECAI 2016, pp 87\u201395"},{"issue":"1","key":"9191_CR46","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1023\/A:1008251913710","volume":"6","author":"Pepijn RS Visser","year":"1998","unstructured":"Visser Pepijn RS, Bench-Capon Trevor JM (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":"9191_CR47","unstructured":"Visser Pepijn\u00a0RS, Van\u00a0Kralingen Robert\u00a0W, Bench-Capon Trevor\u00a0JM (1997) A method for the development of legal knowledge systems. In: Proceedings of the 6th international conference on artificial intelligence and law. ACM, pp 151\u2013160"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-016-9191-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-016-9191-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-016-9191-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T09:50:00Z","timestamp":1749721800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-016-9191-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,10]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9191"],"URL":"https:\/\/doi.org\/10.1007\/s10506-016-9191-4","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2016,11,10]]}}}