{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:29:43Z","timestamp":1768343383366,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","funder":[{"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.3769254","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"337-347","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["You Take the High Road, and I\u2019ll Take the Low Road"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7837-5505","authenticated-orcid":false,"given":"Thiago","family":"Dal Pont","sequence":"first","affiliation":[{"name":"Alma Mater Research Institute for Human-Centered Artificial Intelligence, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6355-851X","authenticated-orcid":false,"given":"Galileo","family":"Sartor","sequence":"additional","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2958-3428","authenticated-orcid":false,"given":"Adam","family":"Wyner","sequence":"additional","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2210-0398","authenticated-orcid":false,"given":"Giovanni","family":"Sartor","sequence":"additional","affiliation":[{"name":"Department of Legal Studies, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Gleifer\u00a0Vaz Alves Louise Dennis and Michael Fisher. 2021. A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. Journal of Sensor and Actuator Networks 10 3 (Sept. 2021) 41. 10.3390\/jsan10030041","DOI":"10.3390\/jsan10030041"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","unstructured":"Shahin Atakishiyev Mohammad Salameh Hengshuai Yao and Randy Goebel. 2024. Explainable Artificial Intelligence for Autonomous Driving: A Comprehensive Overview and Field Guide for Future Research Directions. IEEE Access 12 (2024) 101603\u2013101625. 10.1109\/access.2024.3431437","DOI":"10.1109\/access.2024.3431437"},{"key":"e_1_3_3_2_4_2","volume-title":"The handbook of artificial intelligence","author":"Barr Avron","year":"1981","unstructured":"Avron Barr, Edward\u00a0A Feigenbaum, and Paul\u00a0R Cohen. 1981. The handbook of artificial intelligence. Vol.\u00a03. HeurisTech Press."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"G. Bharathi\u00a0Mohan R. Prasanna\u00a0Kumar P. Vishal\u00a0Krishh A. Keerthinathan G. Lavanya Meka Kavya\u00a0Uma Meghana Sheba Sulthana and Srinath Doss. 2024. Correction: An analysis of large language models: their impact and potential applications. Knowledge and Information Systems 66 11 (July 2024) 7163\u20137164. 10.1007\/s10115-024-02157-9","DOI":"10.1007\/s10115-024-02157-9"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Hanif Bhuiyan Guido Governatori Andry Rakotonirainy Meng\u00a0Weng Wong and Avishkar Mahajan. 2023. Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules. The Review of Socionetwork Strategies 17 2 (Oct. 2023) 233\u2013254. 10.1007\/s12626-023-00147-x","DOI":"10.1007\/s12626-023-00147-x"},{"key":"e_1_3_3_2_7_2","volume-title":"Intention, Plans, and Practical Reason","author":"Bratman Michael","year":"1987","unstructured":"Michael Bratman. 1987. Intention, Plans, and Practical Reason. Cambridge, MA: Harvard University Press, Cambridge."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Joe Collenette Louise\u00a0A. Dennis and Michael Fisher. 2022. Advising Autonomous Cars about the Rules of the Road. Electronic Proceedings in Theoretical Computer Science 371 (Sept. 2022) 62\u201376. 10.4204\/EPTCS.371.5 arxiv:https:\/\/arXiv.org\/abs\/2209.14035 [cs]","DOI":"10.4204\/EPTCS.371.5"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85569-916"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/EV.2019.8893110"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85658-0_3"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Norbert\u00a0E. Fuchs Kaarel Kaljurand and Tobias Kuhn. 2008. Attempto Controlled English for Knowledge Representation. Springer Berlin Heidelberg 104\u2013124. 10.1007\/978-3-540-85658-03","DOI":"10.1007\/978-3-540-85658-03"},{"key":"e_1_3_3_2_13_2","unstructured":"Wachara Fungwacharakorn Nguyen\u00a0Ha Thanh May\u00a0Myo Zin and Ken Satoh. 2024. Layer-of-Thoughts Prompting (LoT): Leveraging LLM-Based Retrieval with Constraint Hierarchies. arxiv:https:\/\/arXiv.org\/abs\/2410.12153\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2410.12153"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780199573691.013.015"},{"key":"e_1_3_3_2_15_2","unstructured":"Suraj Kothawade Vinaya Khandelwal Kinjal Basu Huaduo Wang and Gopal Gupta. 2021. AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning(CEUR Workshop Proceedings Vol.\u00a02970) Joaquin Arias Fabio\u00a0Aurelio D\u2019Asaro Abeer Dyoub Gopal Gupta Markus Hecher Emily LeBlanc Rafael Pe\u00f1aloza Elmer Salazar Ari Saptawijaya Felix Weitk\u00e4mper and Jessica Zangari (Eds.). CEUR Porto Portugal (virtual). https:\/\/ceur-ws.org\/Vol-2970\/#gdepaper7"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Robert Kowalski and Akber Datto. 2022. Logical English meets legal English for swaps and derivatives. Artif Intell Law 30 (2022) 163\u2013197. 10.1007\/s10506-021-09295-3","DOI":"10.1007\/s10506-021-09295-3"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Xiaohan Ma Wenhao Yu Chengxiang Zhao Changjun Wang Wenhui Zhou Guangming Zhao Mingyue Ma Weida Wang Lin Yang Rui Mu Hong Wang and Jun Li. 2024. Legal Decision-Making for Highway Automated Driving. IEEE Transactions on Intelligent Vehicles 9 8 (2024) 5284\u20135298. 10.1109\/TIV.2023.3318214","DOI":"10.1109\/TIV.2023.3318214"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/iv55156.2024.10588650"},{"key":"e_1_3_3_2_20_2","unstructured":"Ha-Thanh Nguyen Francesca Toni Kostas Stathis and Ken Satoh. 2023. Beyond Logic Programming for Legal Reasoning. arxiv:https:\/\/arXiv.org\/abs\/2306.16632\u00a0[cs.LO]"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Henry Prakken. 2017. On the problem of making autonomous vehicles conform to traffic law. Artificial Intelligence and Law 25 3 (Sept. 2017) 341\u2013363. 10.1007\/s10506-017-9210-0","DOI":"10.1007\/s10506-017-9210-0"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-14"},{"key":"e_1_3_3_2_23_2","first-page":"111","volume-title":"Proceedings 40th International Conference on Logic ProgrammingEPTCS","author":"Sartor Galileo","year":"2024","unstructured":"Galileo Sartor, Adam Wyner, and Giuseppe Contissa. 2024. Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles, In Proceedings 40th International Conference on Logic Programming. EPTCS, 111\u2013124. https:\/\/cgi.cse.unsw.edu.au\/\u00a0eptcs\/paper.cgi?ICLP2024:10"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Marek\u00a0J. Sergot Fariba Sadri Robert\u00a0A. Kowalski Frank Kriwaczek Peter Hammond and H\u00a0Terese Cory. 1986. The British Nationality Act as a logic program. Commun. ACM 29 5 (1986) 370\u2013386.","DOI":"10.1145\/5689.5920"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Dmitry Solomakhin Enrico Franconi and Alessandro Mosca. 2013. Logic-based reasoning support for SBVR. Fundamenta Informaticae 124 4 (2013) 543\u2013560.","DOI":"10.3233\/FI-2013-848"},{"key":"e_1_3_3_2_26_2","unstructured":"LLM Stats. 2025. LLM Stats - Comparing Large Language Models. https:\/\/llm-stats.com\/ Accessed: 2025-01-06."},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-63790-2_1"},{"key":"e_1_3_3_2_28_2","series-title":"(NIPS \u201922)","volume-title":"Proceedings of the 36th International Conference on Neural Information Processing Systems","author":"Wei Jason","year":"2024","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed\u00a0H. Chi, Quoc\u00a0V. Le, and Denny Zhou. 2024. Chain-of-thought prompting elicits reasoning in large language models. In Proceedings of the 36th International Conference on Neural Information Processing Systems (New Orleans, LA, USA) (NIPS \u201922). Curran Associates Inc., Red Hook, NY, USA, Article 1800, 14\u00a0pages."},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-167-0-177"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19575-9_15"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-60750-981-3-113"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Derong Xu Wei Chen Wenjun Peng Chao Zhang Tong Xu Xiangyu Zhao Xian Wu Yefeng Zheng Yang Wang and Enhong Chen. 2024. Large language models for generative information extraction: a survey. Frontiers of Computer Science 18 6 (Nov. 2024). 10.1007\/s11704-024-40555-y","DOI":"10.1007\/s11704-024-40555-y"},{"key":"e_1_3_3_2_33_2","unstructured":"Daniela Zambrini and Orlando Chiarello. 2023. Subject Fields in a Controlled Natural Language: How the Evolution of the ASD-STE100 Specification Led to a Proposal for a Global Structured Review of Term Categories (Short Paper). Proceedings http:\/\/ceur-ws. org ISSN 1613 (2023) 0073."}],"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.3769254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:47:06Z","timestamp":1768319226000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769254"}},"subtitle":["Large Language Models Logical English and the Highway Code"],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":32,"alternative-id":["10.1145\/3769126.3769254","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769254","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"}}]}}