{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:39Z","timestamp":1750220559866,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["024.004.022"],"award-info":[{"award-number":["024.004.022"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,21]]},"DOI":"10.1145\/3462757.3466071","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T06:50:46Z","timestamp":1627455046000},"page":"149-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Hardness of case-based decisions"],"prefix":"10.1145","author":[{"given":"Heng","family":"Zheng","sequence":"first","affiliation":[{"name":"University of Groningen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Grossi","sequence":"additional","affiliation":[{"name":"University of Groningen and University of Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Verheij","sequence":"additional","affiliation":[{"name":"University of Groningen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,27]]},"reference":[{"volume-title":"Modeling Legal Arguments: Reasoning with Cases and Hypotheticals","author":"Ashley K. D.","key":"e_1_3_2_1_2_1","unstructured":"K. D. Ashley . 1990. Modeling Legal Arguments: Reasoning with Cases and Hypotheticals . MIT Press , Cambridge . K. D. Ashley. 1990. Modeling Legal Arguments: Reasoning with Cases and Hypotheticals. MIT Press, Cambridge."},{"volume-title":"Handbook of Legal Reasoning and Argumentation","author":"Ashley K. D.","key":"e_1_3_2_1_3_1","unstructured":"K. D. Ashley . 2018. Precedent and Legal Analogy . In Handbook of Legal Reasoning and Argumentation , G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini, and D. Walton (Eds.). Springer Netherlands , Dordrecht , 673--710. K. D. Ashley. 2018. Precedent and Legal Analogy. In Handbook of Legal Reasoning and Argumentation, G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini, and D. Walton (Eds.). Springer Netherlands, Dordrecht, 673--710."},{"volume-title":"Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ACM Press","author":"Atkinson K.","key":"e_1_3_2_1_4_1","unstructured":"K. Atkinson and T. Bench-Capon . 2019. Reasoning with Legal Cases: Analogy or Rule Application? In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ACM Press , New York, 12--21. K. Atkinson and T. Bench-Capon. 2019. Reasoning with Legal Cases: Analogy or Rule Application? In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ACM Press, New York, 12--21."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00108-5"},{"volume-title":"Proceedings of the Third International Conference on Artificial Intelligence and Law. ACM Press","author":"Berman D.","key":"e_1_3_2_1_6_1","unstructured":"D. Berman and C. Hafner . 1991. Incorporating Procedural Context into a Model of Case-based Legal Reasoning . In Proceedings of the Third International Conference on Artificial Intelligence and Law. ACM Press , New York, 12--20. D. Berman and C. Hafner. 1991. Incorporating Procedural Context into a Model of Case-based Legal Reasoning. In Proceedings of the Third International Conference on Artificial Intelligence and Law. ACM Press, New York, 12--20."},{"volume-title":"Proceedings of the 4th International Conference on Artificial Intelligence and Law. ACM Press","author":"Berman D.","key":"e_1_3_2_1_7_1","unstructured":"D. Berman and C. Hafner . 1993. Representing Teleological Structure in Case-Based Legal Reasoning: The Missing Link . In Proceedings of the 4th International Conference on Artificial Intelligence and Law. ACM Press , New York, 50--59. D. Berman and C. Hafner. 1993. Representing Teleological Structure in Case-Based Legal Reasoning: The Missing Link. In Proceedings of the 4th International Conference on Artificial Intelligence and Law. ACM Press, New York, 50--59."},{"volume-title":"Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM","author":"Berman D.","key":"e_1_3_2_1_8_1","unstructured":"D. Berman and C. Hafner . 1995. Understanding Precedents in a Temporal Context of Evolving Legal Doctrine . In Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM , New York, 42--51. D. Berman and C. Hafner. 1995. Understanding Precedents in a Temporal Context of Evolving Legal Doctrine. In Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM, New York, 42--51."},{"volume-title":"An Artificial Intelligence Approach to Legal Reasoning","author":"Gardner A.","key":"e_1_3_2_1_9_1","unstructured":"A. Gardner . 1987. An Artificial Intelligence Approach to Legal Reasoning . MIT Press , Cambridge . A. Gardner. 1987. An Artificial Intelligence Approach to Legal Reasoning. MIT Press, Cambridge."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"T. F. Gordon and D. N. Walton. 2009. Proof Burdens and Standards. In Argumentation in Artificial Intelligence I. Rahwan and G. R. Simari (Eds.). Springer Berlin 239--258.  T. F. Gordon and D. N. Walton. 2009. Proof Burdens and Standards. In Argumentation in Artificial Intelligence I. Rahwan and G. R. Simari (Eds.). Springer Berlin 239--258.","DOI":"10.1007\/978-0-387-98197-0_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019516031847"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00871759"},{"volume-title":"Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ACM Press","author":"Henderson J.","key":"e_1_3_2_1_13_1","unstructured":"J. Henderson and T. Bench-Capon . 2019. Describing the Development of Case Law . In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ACM Press , New York, 32--41. J. Henderson and T. Bench-Capon. 2019. Describing the Development of Case Law. In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ACM Press, New York, 32--41."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-012-9125-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/1597535"},{"key":"e_1_3_2_1_16_1","volume-title":"Macomber. In Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM Press","author":"McCarty L. T.","year":"1995","unstructured":"L. T. McCarty . 1995 . An Implementation of Eisner v . Macomber. In Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM Press , New York, 276--286. L. T. McCarty. 1995. An Implementation of Eisner v. Macomber. In Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM Press, New York, 276--286."},{"volume-title":"Legal Knowledge and Information Systems. JURIX 2019: The Thirty-Second Annual Conference","author":"Prakken H.","key":"e_1_3_2_1_17_1","unstructured":"H. Prakken . 2019. Comparing Alternative Factor- and Precedent-based Accounts of Precedential Constraint . In Legal Knowledge and Information Systems. JURIX 2019: The Thirty-Second Annual Conference , M. Araszkiewicz and V. Rodriguez-Doncel (Eds.). IOS Press , Amsterdam , 73--82. H. Prakken. 2019. Comparing Alternative Factor- and Precedent-based Accounts of Precedential Constraint. In Legal Knowledge and Information Systems. JURIX 2019: The Thirty-Second Annual Conference, M. Araszkiewicz and V. Rodriguez-Doncel (Eds.). IOS Press, Amsterdam, 73--82."},{"key":"e_1_3_2_1_18_1","first-page":"3","article-title":"Artificial Intelligence and Legal Reasoning: A Discussion of the Field and Gardner's Book","volume":"9","author":"Rissland E.","year":"1988","unstructured":"E. Rissland . 1988 . Artificial Intelligence and Legal Reasoning: A Discussion of the Field and Gardner's Book . AI Magazine 9 , 3 (Sep. 1988), 45--55. E. Rissland. 1988. Artificial Intelligence and Legal Reasoning: A Discussion of the Field and Gardner's Book. AI Magazine 9, 3 (Sep. 1988), 45--55.","journal-title":"AI Magazine"},{"volume-title":"Legal reasoning: a cognitive approach to the law. Vol 5 of Treatise on legal philosophy and general jurisprudence","author":"Sartor G.","key":"e_1_3_2_1_19_1","unstructured":"G. Sartor . 2005. Legal reasoning: a cognitive approach to the law. Vol 5 of Treatise on legal philosophy and general jurisprudence . Springer , Berlin . G. Sartor. 2005. Legal reasoning: a cognitive approach to the law. Vol 5 of Treatise on legal philosophy and general jurisprudence. Springer, Berlin."},{"key":"e_1_3_2_1_20_1","volume-title":"Correct Grounded Reasoning with Presumptive Arguments. In 15th European Conference on Logics in Artificial Intelligence, JELIA 2016. Larnaca, Cyprus, November 9--11, 2016. Proceedings (LNAI 10021)","author":"Verheij B.","year":"2016","unstructured":"B. Verheij . 2016 . Correct Grounded Reasoning with Presumptive Arguments. In 15th European Conference on Logics in Artificial Intelligence, JELIA 2016. Larnaca, Cyprus, November 9--11, 2016. Proceedings (LNAI 10021) , L. Michael and A. Kakas (Eds.). Springer, Berlin, 481--496. B. Verheij. 2016. Correct Grounded Reasoning with Presumptive Arguments. In 15th European Conference on Logics in Artificial Intelligence, JELIA 2016. Larnaca, Cyprus, November 9--11, 2016. Proceedings (LNAI 10021), L. Michael and A. Kakas (Eds.). Springer, Berlin, 481--496."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9189-y"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3086512.3086533"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-020-09266-0"},{"key":"e_1_3_2_1_24_1","volume-title":"Argument Schemes for Legal Case-based Reasoning. In Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference, A. R. Lodder and L. Mommers (Eds.). IOS Press","author":"Wyner A.","year":"2019","unstructured":"A. Wyner and T. J. M. Bench-Capon . 2019 . Argument Schemes for Legal Case-based Reasoning. In Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference, A. R. Lodder and L. Mommers (Eds.). IOS Press , Amsterdam, 139--149. A. Wyner and T. J. M. Bench-Capon. 2019. Argument Schemes for Legal Case-based Reasoning. In Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference, A. R. Lodder and L. Mommers (Eds.). IOS Press, Amsterdam, 139--149."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of COMMA","volume":"326","author":"Zheng H.","year":"2020","unstructured":"H. Zheng , D. Grossi , and B. Verheij . 2020. Case-Based Reasoning with Precedent Models: Preliminary Report. In Computational Models of Argument . Proceedings of COMMA 2020 , H. Prakken, S. Bistarelli, F. Santini, and C. Taticchi (Eds.). Vol. 326 . IOS Press, Amsterdam, 443--450. H. Zheng, D. Grossi, and B. Verheij. 2020. Case-Based Reasoning with Precedent Models: Preliminary Report. In Computational Models of Argument. Proceedings of COMMA 2020, H. Prakken, S. Bistarelli, F. Santini, and C. Taticchi (Eds.). Vol. 326. IOS Press, Amsterdam, 443--450."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"H. Zheng D. Grossi and B. Verheij. 2020. Precedent Comparison in the Precedent Model Formalism: A Technical Note. In Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference S. Villata J. Hara\u0161ta and P. K\u0161emen (Eds.). Vol. 334. IOS Press Amsterdam 259--262.  H. Zheng D. Grossi and B. Verheij. 2020. Precedent Comparison in the Precedent Model Formalism: A Technical Note. In Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference S. Villata J. Hara\u0161ta and P. K\u0161emen (Eds.). Vol. 334. IOS Press Amsterdam 259--262.","DOI":"10.3233\/FAIA200878"}],"event":{"name":"ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"S\u00e3o Paulo Brazil","acronym":"ICAIL '21"},"container-title":["Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466071","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462757.3466071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:31Z","timestamp":1750195711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466071"}},"subtitle":["a formal theory"],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":25,"alternative-id":["10.1145\/3462757.3466071","10.1145\/3462757"],"URL":"https:\/\/doi.org\/10.1145\/3462757.3466071","relation":{},"subject":[],"published":{"date-parts":[[2021,6,21]]},"assertion":[{"value":"2021-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}