{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T02:22:40Z","timestamp":1774146160354,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3769126.3769252","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"239-247","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Addressing the Right to Explanation and the Right to Challenge through Hybrid-AI"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7200-6001","authenticated-orcid":false,"given":"Liuwen","family":"Yu","sequence":"first","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1124-0299","authenticated-orcid":false,"given":"Davide","family":"Liga","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"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"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"Elfia Bezou-Vrakatseli. 2023. Evaluation of llm reasoning via argument schemes. Online Handbook of Argumentation for AI 4 (2023)."},{"key":"e_1_3_3_2_3_2","unstructured":"S\u00e9bastien Bubeck Varun Chandrasekaran Ronen Eldan Johannes Gehrke Eric Horvitz Ece Kamar Peter Lee Yin\u00a0Tat Lee Yuanzhi Li Scott Lundberg et\u00a0al. 2023. Sparks of artificial general intelligence: Early experiments with gpt-4. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2303.12712 (2023)."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_11"},{"key":"e_1_3_3_2_5_2","unstructured":"Martin Caminada. 2017. Argumentation semantics as formal discussion. Journal of Applied Logics 4 8 (2017) 2457\u20132492."},{"key":"e_1_3_3_2_6_2","unstructured":"Martin Caminada. 2018. Argumentation semantics as formal discussion. Handbook of Formal Argumentation 1 (2018) 487\u2013518."},{"key":"e_1_3_3_2_7_2","unstructured":"Federico Castagna Isabel Sassoon and Simon Parsons. 2024. Can formal argumentative reasoning enhance LLMs performances? arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2405.13036 (2024)."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Phan\u00a0Minh Dung. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning logic programming and n-person games. Artificial intelligence 77 2 (1995) 321\u2013357.","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_3_2_9_2","unstructured":"Melanie Fink and Michele Finck. 2022. Reasoned A (I) dministration: explanation requirements in EU law and the automation of public administration. European Law Review 47 3 (2022) 376\u2013392."},{"key":"e_1_3_3_2_10_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_11_2","unstructured":"Xiang\u00a0Lisa Li and Percy Liang. 2021. Prefix-tuning: Optimizing continuous prompts for generation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2101.00190 (2021)."},{"key":"e_1_3_3_2_12_2","unstructured":"Davide Liga. 2022. Hybrid Artificial Intelligence to Extract Patterns and Rules from Argumentative and Legal Texts. (2022)."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1093\/9780198919575.003.0009"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Davide Liga and Livio Robaldo. 2023. Fine-tuning GPT-3 for legal rule classification. Computer Law & Security Review 51 (2023) 105864.","DOI":"10.1016\/j.clsr.2023.105864"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA251581"},{"key":"e_1_3_3_2_16_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 (2020).","DOI":"10.1007\/s11225-019-09870-5"},{"key":"e_1_3_3_2_17_2","unstructured":"Oriol Mir. 2023. La automatizaci\u00f3n y el uso de algoritmos e inteligencia artificial en derecho administrativo comparado. Revista general de derecho administrativo 63 (2023) 1\u20139."},{"key":"e_1_3_3_2_18_2","unstructured":"Neel Nanda Lawrence Chan Tom Lieberum Jess Smith and Jacob Steinhardt. 2023. Progress measures for grokking via mechanistic interpretability. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2301.05217 (2023)."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3531146.3534639"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA240329"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Jasper van\u00a0der Waa Elisabeth Nieuwburg Anita Cremers and Mark Neerincx. 2021. Evaluating XAI: A comparison of rule-based and example-based explanations. Artificial intelligence 291 (2021) 103404.","DOI":"10.1016\/j.artint.2020.103404"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Sandra Wachter Brent Mittelstadt and Luciano Floridi. 2017. Why a Right to Explanation of Automated Decision-Making Does Not Exist in the GDPR. International Data Privacy Law (2017).","DOI":"10.2139\/ssrn.2903469"},{"key":"e_1_3_3_2_23_2","unstructured":"Jason Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Fei Xia Ed Chi Quoc\u00a0V Le Denny Zhou et\u00a0al. 2022. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems 35 (2022) 24824\u201324837."},{"key":"e_1_3_3_2_24_2","unstructured":"Liuwen Yu R\u00e9ka Markovich and Leendert Van\u00a0der Torre. 2024. Thirteen Challenges in Formal and Computational Argumentation. Handbook of Formal Argumentation 3 (2024) 931\u20131012."}],"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.3769252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:47:15Z","timestamp":1768319235000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769252"}},"subtitle":["Symbolic Constraints over Large Language Models via Prompt Engineering"],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":23,"alternative-id":["10.1145\/3769126.3769252","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769252","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"}}]}}