{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:37:18Z","timestamp":1768343838539,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","funder":[{"name":"European Union's Horizon 2020 research and innovation programme","award":["101034440"],"award-info":[{"award-number":["101034440"]}]},{"name":"University of Luxembourg","award":["MSE-DISCREASON 2024-2026"],"award-info":[{"award-number":["MSE-DISCREASON 2024-2026"]}]},{"name":"Fonds National de la Recherche (FNR)","award":["INTER\/DFG\/23\/17415164\/LoDEx"],"award-info":[{"award-number":["INTER\/DFG\/23\/17415164\/LoDEx"]}]},{"name":"Austrian Science Fund (FWF)","award":["INTER\/DFG\/23\/17415164\/LoDEx"],"award-info":[{"award-number":["INTER\/DFG\/23\/17415164\/LoDEx"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3769126.3769220","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"268-277","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Judicial Discretion as Normative Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6149-5684","authenticated-orcid":false,"given":"Josephine","family":"Dik","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2488-2293","authenticated-orcid":false,"given":"R\u00e9ka","family":"Markovich","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2018.00055"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Joaqu\u00edn Arias Mar Moreno-Rebato Jose\u00a0A Rodriguez-Garc\u00eda and Sascha Ossowski. 2024. Automated legal reasoning with discretion to act using s (LAW). Artificial Intelligence and Law 32 (2024) 1141\u20131164.","DOI":"10.1007\/s10506-023-09376-5"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-60750-619-5-87"},{"key":"e_1_3_3_2_5_2","volume-title":"The works","author":"Bentham Jeremy","year":"1843","unstructured":"Jeremy Bentham. 1843. The works. Vol.\u00a03. Tait."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Gerhard Brewka Thomas Eiter and Miros\u0142aw Truszczy\u0144ski. 2011. Answer set programming at a glance. Commun. ACM 54 12 (2011) 92\u2013103.","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-43619-2_34"},{"key":"e_1_3_3_2_8_2","volume-title":"The Spirit of Laws","author":"Secondat Baron de\u00a0Montesquieu Charles Louis\u00a0de","year":"1750","unstructured":"Baron de\u00a0Montesquieu Charles Louis\u00a0de Secondat. 1750. The Spirit of Laws. The Lawbook Exchange, Ltd."},{"key":"e_1_3_3_2_9_2","first-page":"99 \u2013 118","volume-title":"Deontic Logic and Normative Systems 16th International Conference, DEON 2023","author":"Ciabattoni Agata","year":"2023","unstructured":"Agata Ciabattoni, Josephine Dik, and Elisa Freschi. 2023. Disambiguating Permissions: A contribution from M\u012bm\u0101ms\u0101. In Deontic Logic and Normative Systems 16th International Conference, DEON 2023. College Proceedings, 99 \u2013 118."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA241233"},{"key":"e_1_3_3_2_11_2","volume-title":"CERIDAP","author":"Galetta Diana-Urania","year":"2023","unstructured":"Diana-Urania Galetta (Ed.). 2023. CERIDAP. Vol.\u00a01\/2023. Interdisciplinary Research Center on Public Administration Law."},{"key":"e_1_3_3_2_12_2","first-page":"2","volume-title":"Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)","author":"Gebser Martin","year":"2016","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, and Philipp Wanko. 2016. Theory solving made easy with clingo 5. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 2\u20131."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Michael Gelfond and Vladimir Lifschitz. 1991. Classical negation in logic programs and disjunctive databases. New generation computing 9 (1991) 365\u2013385.","DOI":"10.1007\/BF03037169"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Guido Governatori. 2024. An ASP implementation of defeasible deontic logic. KI-K\u00fcnstliche Intelligenz 39 (2024) 79\u201388.","DOI":"10.1007\/s13218-024-00854-9"},{"key":"e_1_3_3_2_15_2","volume-title":"Essays on Bentham","author":"Hart Herbert L.\u00a0A.","year":"1982","unstructured":"Herbert L.\u00a0A. Hart. 1982. Essays on Bentham. Clarendon."},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Christian Hatschka Agata Ciabattoni and Thomas Eiter. 2023. Deontic Paradoxes in ASP with Weak Constraints. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2308.15870 (2023) 367\u2013380.","DOI":"10.4204\/EPTCS.385.39"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Herwig Hofmann. 2020. The Duty of Care in EU Public Law \u2013 A Principle Between Discretion and Proportionality. Review of European Administartive Law 2020-2 (2020).","DOI":"10.2139\/ssrn.3628225"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Ruth Kannai Uri Schild and John Zeleznikow. 2007. Modeling the evolution of legal discretion. an artificial intelligence approach. Ratio Juris 20 4 (2007) 530\u2013558.","DOI":"10.1111\/j.1467-9337.2007.00374.x"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1525\/9780520312296"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/323706.323799"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24658-7"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"R\u00e9ka Markovich. 2020. Understanding Hohfeld and Formalizing Legal Rights: the Hohfeldian Conceptions and Their Conditional Consequences. Studia Logica 108 1 (2020) 129\u2013158.","DOI":"10.1007\/s11225-019-09870-5"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Paul McNamara. 1996. Doing well enough: Toward a logic for common-sense morality. Studia Logica 57 (1996) 167\u2013192.","DOI":"10.1007\/BF00370674"},{"key":"e_1_3_3_2_24_2","first-page":"177","volume-title":"Deontic Logic and Normative Systems 16th International Conference, DEON 2023","author":"McNamara Paul","year":"2023","unstructured":"Paul McNamara. 2023. Extensions and Variations of the DWE Framework with Applications. In Deontic Logic and Normative Systems 16th International Conference, DEON 2023. 177\u2013197."},{"key":"e_1_3_3_2_25_2","unstructured":"Ivo Pilving. 2023. Guidance-based Algorithms for Automated Decision-Making in Public Administration: the Estonian Perspective. CERIDAP 1\/2023 (2023) 51\u201374."},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/1165485.1165495"},{"key":"e_1_3_3_2_27_2","first-page":"353","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Sergot Marek","year":"2013","unstructured":"Marek Sergot. 2013. Normative Positions. In Handbook of Deontic Logic and Normative Systems. College Publications, London, 353\u2013406."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/383535.383559"},{"key":"e_1_3_3_2_29_2","first-page":"100","volume-title":"Legal Knowledge Based System JURIX 1998","author":"Stranieri Andrew","year":"1998","unstructured":"Andrew Stranieri and John Zeleznikow. 1998. The Role of Open Texture and Stare Decisis in Data Mining Discretion. In Legal Knowledge Based System JURIX 1998. 100\u2013111."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"crossref","unstructured":"A. Stranieri J. Zeleznikow M. Gawler and B. Lewis. 1999. A hybrid rule\u2013neural approach for the automation of legal reasoning in the discretionary domain of family law in Australia. Artificial Intelligence and Law 7 (1999) 153\u2013183.","DOI":"10.1023\/A:1008325826599"},{"key":"e_1_3_3_2_31_2","first-page":"208","volume-title":"Logics for Ai and Law: Proceedings (Lingai) and (Lail)","author":"Wright Ava\u00a0Thomas","year":"2023","unstructured":"Ava\u00a0Thomas Wright. 2023. A Deontic Logic for Programming Rightful Machines: Kant\u2019s Normative Demand for Consistency in the Law. In Logics for Ai and Law: Proceedings (Lingai) and (Lail), B.\u00a0Bentzen, B.\u00a0Liao, and T.\u00a0Xu (Eds.). 208\u2013222."}],"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.3769220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:48:15Z","timestamp":1768319295000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769220"}},"subtitle":["Deontic Characterization of Judicial Decision Making with Answer Set Programming"],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":30,"alternative-id":["10.1145\/3769126.3769220","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769220","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"}}]}}