{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:30:25Z","timestamp":1768343425379,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","funder":[{"name":"\u201cStrategic Research Projects\u201d grant from ROIS (Research Organization of Information and Systems)","award":["Project Number: 2024-SRP-12"],"award-info":[{"award-number":["Project Number: 2024-SRP-12"]}]},{"name":"\u201cR&D Hub Aimed at Ensuring Transparency and Reliability of Generative AI Models\u201d project of the Ministry of Education, Culture, Sports, Science and Technology","award":["-"],"award-info":[{"award-number":["-"]}]},{"name":"JSPS KAKENHI","award":["JP22H00543"],"award-info":[{"award-number":["JP22H00543"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3769126.3769222","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"327-336","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1315-7704","authenticated-orcid":false,"given":"May Myo","family":"Zin","sequence":"first","affiliation":[{"name":"Center for Juris-Informatics, ROIS-DS, Tokyo, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3060-6543","authenticated-orcid":false,"given":"Georg","family":"Borges","sequence":"additional","affiliation":[{"name":"Institute of Legal Informatics, Saarland University, Saarbr\u00fccken, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9309-4602","authenticated-orcid":false,"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[{"name":"Center for Juris-Informatics, ROIS-DS, Tokyo, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9294-3118","authenticated-orcid":false,"given":"Wachara","family":"Fungwacharakorn","sequence":"additional","affiliation":[{"name":"Center for Juris-Informatics, ROIS-DS, Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Grigoris Antoniou and Antonis Bikakis. 2006. Dr-prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE transactions on knowledge and data engineering 19 2 (2006) 233\u2013245.","DOI":"10.1109\/TKDE.2007.29"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Tara Athan Guido Governatori Monica Palmirani Adrian Paschke and Adam Wyner. 2015. LegalRuleML: Design principles and foundations. Reasoning Web. Web Logic Rules: 11th International Summer School 2015 Berlin Germany July 31-August 4 2015 Tutorial Lectures. 11 (2015) 151\u2013188.","DOI":"10.1007\/978-3-319-21768-0_6"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Hanif Bhuiyan Guido Governatori Andy Bond S\u00e9bastien Demmel Mohammad\u00a0Badiul Islam and Andry Rakotonirainy. 2020. Tra\ufb03c Rules Encoding using Defeasible Deontic Logic. https:\/\/api.semanticscholar.org\/CorpusID:229377621","DOI":"10.3233\/FAIA200844"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Hanif Bhuiyan Guido Governatori Andy Bond and Andry Rakotonirainy. 2024. Traffic rules compliance checking of automated vehicle maneuvers. Artificial Intelligence and Law 32 1 (2024) 1\u201356.","DOI":"10.1007\/s10506-022-09340-9"},{"key":"e_1_3_3_1_6_2","unstructured":"Georg Borgesa Clara W\u00fcsta Diogo Sasdellia Salome Margvelashvilia and Selina Klier-Ringlea. 2022. Making the Implicit Explicit: The Potential of Case Law Analysis for the Formalization of Legal. on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) (2022) 66."},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3348-0_5"},{"key":"e_1_3_3_1_8_2","volume-title":"Prolog programming for artificial intelligence","author":"Bratko Ivan","year":"2001","unstructured":"Ivan Bratko. 2001. Prolog programming for artificial intelligence. Pearson education."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995917"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Pablo\u00a0F. Castro and Piotr Kulicki. 2014. Deontic Logics Based on Boolean Algebra. https:\/\/api.semanticscholar.org\/CorpusID:117883198","DOI":"10.1007\/978-94-007-7046-1_5"},{"key":"e_1_3_3_1_11_2","first-page":"2462","volume-title":"IJCAI 2007, Proceedings of the 20th international joint conference on artificial intelligence","author":"De\u00a0Raedt Luc","year":"2007","unstructured":"Luc De\u00a0Raedt, Angelika Kimmig, and Hannu Toivonen. 2007. ProbLog: A probabilistic Prolog and its application in link discovery. In IJCAI 2007, Proceedings of the 20th international joint conference on artificial intelligence. IJCAI-INT JOINT CONF ARTIF INTELL, 2462\u20132467."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/CAVS51000.2020.9334599"},{"key":"e_1_3_3_1_13_2","first-page":"16428","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","volume":"37","author":"Fuggitti Francesco","year":"2023","unstructured":"Francesco Fuggitti and Tathagata Chakraborti. 2023. NL2LTL\u2013a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas. In Proceedings of the AAAI Conference on Artificial Intelligence , Vol.\u00a037. 16428\u201316430."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564432"},{"key":"e_1_3_3_1_15_2","unstructured":"Christopher Hahn Frederik Schmitt Julia\u00a0J Tillman Niklas Metzger Julian Siber and Bernd Finkbeiner. 2022. Formal specifications from natural language. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2206.01962 (2022)."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510171"},{"key":"e_1_3_3_1_17_2","first-page":"9118","volume-title":"International conference on machine learning","author":"Huang Wenlong","year":"2022","unstructured":"Wenlong Huang, Pieter Abbeel, Deepak Pathak, and Igor Mordatch. 2022. Language models as zero-shot planners: Extracting actionable knowledge for embodied agents. In International conference on machine learning. PMLR, 9118\u20139147."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00012"},{"key":"e_1_3_3_1_19_2","unstructured":"Robert Kowalski. 2020. Logical english. Proceedings of Logic and Practice of Programming (LPOP) (2020)."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3322640.3326721"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827357"},{"key":"e_1_3_3_1_22_2","volume-title":"Workshop on Language and Robotics at CoRL 2022","author":"Liu Jason\u00a0Xinyu","year":"2022","unstructured":"Jason\u00a0Xinyu Liu, Ziyi Yang, Benjamin Schornstein, Sam Liang, Ifrah Idrees, Stefanie Tellex, and Ankit Shah. 2022. Lang2ltl: Translating natural language commands to temporal specification with large language models. In Workshop on Language and Robotics at CoRL 2022."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"e_1_3_3_1_25_2","volume-title":"ICLP Workshops","author":"Manas Kumar","year":"2023","unstructured":"Kumar Manas and Adrian Paschke. 2023. Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions.. In ICLP Workshops."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-45072-3_13"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Kumar Manas Stefan Zwicklbauer and Adrian Paschke. 2024. TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2406.05709 (2024).","DOI":"10.1109\/IV55156.2024.10588650"},{"key":"e_1_3_3_1_28_2","unstructured":"Ha-Thanh Nguyen Francesca Toni Kostas Stathis and Ken Satoh. 2023. Beyond logic programming for legal reasoning. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2306.16632 (2023)."},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_14"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_4"},{"key":"e_1_3_3_1_32_2","first-page":"153","volume-title":"JSAI international symposium on artificial intelligence","author":"Satoh Ken","year":"2010","unstructured":"Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, and Chiaki Takano. 2010. PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In JSAI international symposium on artificial intelligence. Springer, 153\u2013164."},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Lukas Westhofen Christian Neurohr Martin Butz Maike Scholtes and Michael Schuldes. 2022. Using ontologies for the formalization and recognition of criticality for automated driving. IEEE Open Journal of Intelligent Transportation Systems 3 (2022) 519\u2013538.","DOI":"10.1109\/OJITS.2022.3187247"},{"key":"e_1_3_3_1_34_2","unstructured":"Shunyu Yao Jeffrey Zhao Dian Yu Nan Du Izhak Shafran Karthik Narasimhan and Yuan Cao. 2022. React: Synergizing reasoning and acting in language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2210.03629 (2022)."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Qingzhao Zhang David\u00a0Ke Hong Ze Zhang Qi\u00a0Alfred Chen Scott Mahlke and Z\u00a0Morley Mao. 2021. A systematic framework to identify violations of scenario-dependent driving rules in autonomous vehicle software. Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 2 (2021) 1\u201325.","DOI":"10.1145\/3460082"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535382"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-97-3076-6_6"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA241247"}],"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.3769222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:48:08Z","timestamp":1768319288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":37,"alternative-id":["10.1145\/3769126.3769222","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769222","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"}}]}}