{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:35:57Z","timestamp":1743154557002,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030898106"},{"type":"electronic","value":"9783030898113"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89811-3_9","type":"book-chapter","created":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T06:24:53Z","timestamp":1637907893000},"page":"125-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logical Comparison of Cases"],"prefix":"10.1007","author":[{"given":"Heng","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Grossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Verheij","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,27]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-016-9178-1","volume":"24","author":"L Al-Abdulkarim","year":"2016","unstructured":"Al-Abdulkarim, L., Atkinson, K., Bench-Capon, T.: A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks. Artif. Intell. Law 24(1), 1\u201349 (2016). https:\/\/doi.org\/10.1007\/s10506-016-9178-1","journal-title":"Artif. Intell. Law"},{"key":"9_CR2","unstructured":"Aleven, V.: Teaching case-based argumentation through a model and examples. Ph.D. thesis, University of Pittsburgh (1997)"},{"key":"9_CR3","volume-title":"Modeling Legal Arguments: Reasoning with Cases and Hypotheticals","author":"KD Ashley","year":"1990","unstructured":"Ashley, K.D.: Modeling Legal Arguments: Reasoning with Cases and Hypotheticals. MIT Press, Cambridge (1990)"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/9781316761380","volume-title":"Artificial Intelligence and Legal Analytics: New Tools for Law Practice in the Digital Age","author":"KD Ashley","year":"2017","unstructured":"Ashley, K.D.: Artificial Intelligence and Legal Analytics: New Tools for Law Practice in the Digital Age. Cambridge University Press, Cambridge (2017)"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10506-017-9201-1","volume":"25","author":"T Bench-Capon","year":"2017","unstructured":"Bench-Capon, T.: HYPO\u2019s legacy: introduction to the virtual special issue. Artif. Intell. Law 25(2), 205\u2013250 (2017)","journal-title":"Artif. Intell. Law"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Berman, D., Hafner, C.: Understanding precedents in a temporal context of evolving legal doctrine. In: Proceedings of the Fifth International Conference on Artificial Intelligence and Law, pp. 42\u201351. ACM, New York (1995)","DOI":"10.1145\/222092.222116"},{"key":"9_CR7","unstructured":"Cyras, K., Satoh, K., Toni, F.: Abstract argumentation for case-based reasoning. In: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pp. 549\u2013552. AAAI Press (2016)"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1023\/A:1019516031847","volume":"10","author":"C Hafner","year":"2002","unstructured":"Hafner, C., Berman, D.: The role of context in case-based legal reasoning: teleological, temporal, and procedural. Artif. Intell. Law 10(1), 19\u201364 (2002)","journal-title":"Artif. Intell. Law"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10506-012-9125-8","volume":"20","author":"J Horty","year":"2012","unstructured":"Horty, J., Bench-Capon, T.: A factor-based definition of precedential constraint. Artif. Intell. Law 20(2), 181\u2013214 (2012)","journal-title":"Artif. Intell. Law"},{"key":"9_CR10","unstructured":"Prakken, H.: Comparing alternative factor- and precedent-based accounts of precedential constraint. In: Araszkiewicz, M., Rodriguez-Doncel, V. (eds.) Legal Knowledge and Information Systems. JURIX 2019: The Thirty-Second Annual Conference, pp. 73\u201382. IOS Press, Amsterdam (2019)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1008278309945","volume":"6","author":"H Prakken","year":"1998","unstructured":"Prakken, H., Sartor, G.: Modelling reasoning with precedents in a formal dialogue game. Artif. Intell. Law 6, 231\u2013287 (1998)","journal-title":"Artif. Intell. Law"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Prakken, H., Wyner, A., Bench-Capon, T., Atkinson, K.: A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J. Logic Comput. 25(5), 1141\u20131166 (05 2013)","DOI":"10.1093\/logcom\/ext010"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Rissland, E.L., Ashley, K.D.: A case-based system for trade secrets law. In: Proceedings of the 1st International Conference on Artificial Intelligence and Law, pp. 60\u201366. ICAIL 1987, ACM, New York (1987)","DOI":"10.1145\/41735.41743"},{"key":"9_CR14","unstructured":"Roth, B., Verheij, B.: Dialectical arguments and case comparison. In: Gordon, T. (ed.) Legal Knowledge and Information Systems. JURIX 2004: The Seventeenth Annual Conference, pp. 99\u2013108. IOS Press, Amsterdam (2004)"},{"key":"9_CR15","unstructured":"Satoh, K.: Translating case-based reasoning into abductive logic programming. In: Wahlster, W. (ed.) Proceedings of the 12th European Conference on Artificial Intelligence, ECAI 1996, pp. 142\u2013146. Wiley, Chichester (1996)"},{"issue":"4","key":"9_CR16","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10506-016-9189-y","volume":"24","author":"B Verheij","year":"2016","unstructured":"Verheij, B.: Formalizing value-guided argumentation for ethical systems design. Artif. Intell. Law 24(4), 387\u2013407 (2016)","journal-title":"Artif. Intell. Law"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Verheij, B.: Formalizing arguments, rules and cases. In: Proceedings of the Sixteenth International Conference on Artificial Intelligence and Law, pp. 199\u2013208. ICAIL 2017. ACM, New York (2017)","DOI":"10.1145\/3086512.3086533"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10506-008-9070-8","volume":"16","author":"A Wyner","year":"2008","unstructured":"Wyner, A.: An ontology in OWL for legal case-based reasoning. Artif. Intell. Law 16(4), 361 (2008)","journal-title":"Artif. Intell. Law"},{"key":"9_CR19","series-title":"Proceedings of COMMA 2020","first-page":"443","volume-title":"Computational Models of Argument","author":"H Zheng","year":"2020","unstructured":"Zheng, H., Grossi, D., Verheij, B.: Case-based reasoning with precedent models: preliminary report. In: Prakken, H., Bistarelli, S., Santini, F., Taticchi, C. (eds.) Computational Models of Argument. Proceedings of COMMA 2020, vol. 326, pp. 443\u2013450. IOS Press, Amsterdam (2020)"},{"key":"9_CR20","series-title":"JURIX 2020: The Thirty-third Annual Conference","first-page":"259","volume-title":"Legal Knowledge and Information Systems","author":"H Zheng","year":"2020","unstructured":"Zheng, H., Grossi, D., Verheij, B.: Precedent comparison in the precedent model formalism: a technical note. In: Villata, S., Hara\u0161ta, J., K\u0161emen, P. (eds.) Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference, vol. 334, pp. 259\u2013262. IOS Press, Amsterdam (2020)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Zheng, H., Grossi, D., Verheij, B.: Precedent comparison in the precedent model formalism: theory and application to legal cases. In: Proceedings of the EXplainable and Responsible AI in Law (XAILA) Workshop at JURIX 2020 (2020, to appear)","DOI":"10.3233\/FAIA200878"}],"container-title":["Lecture Notes in Computer Science","AI Approaches to the Complexity of Legal Systems XI-XII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89811-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T06:26:14Z","timestamp":1637907974000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89811-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030898106","9783030898113"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89811-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"27 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"XAILA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Explainable and Responsible AI and Law","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"xaila2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.geist.re\/xaila:xaila2020","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}