{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:38:38Z","timestamp":1768343918052,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","funder":[{"name":"PNRR","award":["PE00000013"],"award-info":[{"award-number":["PE00000013"]}]},{"name":"ANR","award":["ANR-19-CHIA-0008"],"award-info":[{"award-number":["ANR-19-CHIA-0008"]}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["833647"],"award-info":[{"award-number":["833647"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3769126.3769207","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"248-257","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Causal Model Checker for Legal Cases"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2417-3219","authenticated-orcid":false,"given":"R\u016bta","family":"Liepi\u0146a","sequence":"first","affiliation":[{"name":"ALMA-AI, University of Bologna, Bologna, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9559-1736","authenticated-orcid":false,"given":"Tiago","family":"de Lima","sequence":"additional","affiliation":[{"name":"CRIL, University of Artois, Lens, France and CRIL, CNRS, Lens, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7014-6756","authenticated-orcid":false,"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[{"name":"IRIT, CNRS, Toulouse University, Toulouse, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0230-8212","authenticated-orcid":false,"given":"Giuseppe","family":"Pisano","sequence":"additional","affiliation":[{"name":"ALMA-AI, University of Bologna, Bologna, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2210-0398","authenticated-orcid":false,"given":"Giovanni","family":"Sartor","sequence":"additional","affiliation":[{"name":"ALMA-AI, University of Bologna, Bologna, Italy and Law Department, European University Institute, Florence, Italy"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i7.16772"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA201015"},{"key":"e_1_3_3_2_4_2","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"712","volume-title":"Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020)","volume":"325","author":"Darwiche A.","year":"2020","unstructured":"A. Darwiche and A. Hirth. 2020. On the Reasons Behind Decisions. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020)(Frontiers in Artificial Intelligence and Applications, Vol.\u00a0325). IOS Press, 712\u2013720."},{"key":"e_1_3_3_2_5_2","first-page":"3324","volume-title":"Proceedings of the Thirty-Thirth International Joint Conference on Artificial Intelligence, (IJCAI 2024)","author":"Lima T. de","year":"2024","unstructured":"T. de Lima and E. Lorini. 2024. Model Checking Causality. In Proceedings of the Thirty-Thirth International Joint Conference on Artificial Intelligence, (IJCAI 2024). ijcai.org, 3324\u20133332."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199250547.003.0006"},{"key":"e_1_3_3_2_7_2","first-page":"198","volume-title":"Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"Halpern J.\u00a0Y.","year":"2008","unstructured":"J.\u00a0Y. Halpern. 2008. Defaults and Normality in Causal Structures. In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008). AAAI Press, 198\u2013208."},{"key":"e_1_3_3_2_8_2","first-page":"3022","volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015)","author":"Halpern J.\u00a0Y.","year":"2015","unstructured":"J.\u00a0Y. Halpern. 2015. A Modification of the Halpern-Pearl Definition of Causality. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). AAAI Press, 3022\u20133033. http:\/\/ijcai.org\/Abstract\/15\/427"},{"key":"e_1_3_3_2_9_2","volume-title":"Causation in Law","author":"Hart H.\u00a0L.\u00a0A.","year":"1959","unstructured":"H.\u00a0L.\u00a0A. Hart and T. Honor\u00e9. 1959. Causation in Law. Clarendon."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011511"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"J. Lehmann J. Breuker and B. Brouwer. 2004. Causation in AI and Law. Artif. Intell. Law 12 (12 2004) 279\u2013315.","DOI":"10.1007\/s10506-005-4157-y"},{"key":"e_1_3_3_2_12_2","first-page":"172","volume-title":"International Workshop on AI Approaches to the Complexity of Legal Systems","author":"Liepina R.","year":"2015","unstructured":"R. Liepina, G. Sartor, and A. Wyner. 2015. Causal models of legal cases. In International Workshop on AI Approaches to the Complexity of Legal Systems. Springer, 172\u2013186."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"R. Liepina G. Sartor and A. Wyner. 2020. Arguing about causes in law: a semi-formal framework for causal arguments. Artificial Intelligence and Law 28 (2020) 69\u201389.","DOI":"10.1007\/s10506-019-09246-z"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"X. Liu and E. Lorini. 2023. A unified logical framework for explanations in classifier systems. Journal of Logic and Computation 33 2 (2023) 485\u2013515.","DOI":"10.1093\/logcom\/exac102"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/366"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/3238230"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/708"},{"key":"e_1_3_3_2_18_2","unstructured":"R.\u00a0W. Wright. 1988. Causation Responsibility Risk Probability Naked Statistics and Proof: Pruning the Bramble Bush by Clarifying the Concepts. Iowa Law Review 73 (1988) 1001\u20131077."},{"key":"e_1_3_3_2_19_2","unstructured":"R.\u00a0W. Wright. 2011. The NESS account of natural causation: A response to criticisms. Perspectives on causation 285 (2011) 305."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199266487.003.0005"}],"event":{"name":"ICAIL 2025: 20th International Conference on Artificial Intelligence and Law","location":"Chicago , IL , USA","acronym":"ICAIL 2025"},"container-title":["Proceedings of the Twentieth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3769126.3769207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:49:42Z","timestamp":1768319382000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":19,"alternative-id":["10.1145\/3769126.3769207","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769207","relation":{},"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"2026-01-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}