{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:49:01Z","timestamp":1767138541121,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031724060","type":"print"},{"value":"9783031724077","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-72407-7_17","type":"book-chapter","created":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T02:02:51Z","timestamp":1726279371000},"page":"234-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Legally-Guided Automated Decision-Making System Using Language Model Agents for\u00a0Autonomous Driving"],"prefix":"10.1007","author":[{"given":"Ya","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Barta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Hesse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Buchwald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Paschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","unstructured":"A translation approach to portable ontology specifications. Knowl. Acquisit. 5(2), 199\u2013220 (1993). https:\/\/doi.org\/10.1006\/knac.1993.1008","DOI":"10.1006\/knac.1993.1008"},{"key":"17_CR2","unstructured":"Achiam, J., et\u00a0al.: GPT-4 technical report. arXiv preprint arXiv:2303.08774 (2023)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-21768-0_6","volume-title":"Reasoning Web. Web Logic Rules","author":"T Athan","year":"2015","unstructured":"Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151\u2013188. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21768-0_6"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-022-09340-9","volume":"32","author":"H Bhuiyan","year":"2024","unstructured":"Bhuiyan, H., Governatori, G., Bond, A., Rakotonirainy, A.: Traffic rules compliance checking of automated vehicle maneuvers. Artif. Intell. Law 32(1), 1\u201356 (2024)","journal-title":"Artif. Intell. Law"},{"key":"17_CR5","unstructured":"Bran, A.M., Cox, S., Schilter, O., Baldassari, C., White, A.D., Schwaller, P.: ChemCrow: augmenting large-language models with chemistry tools. arXiv preprint arXiv:2304.05376 (2023)"},{"issue":"3","key":"17_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF01000642","volume":"11","author":"E Bulygin","year":"1992","unstructured":"Bulygin, E.: On norms of competence. Law Philos. 11(3), 201\u2013216 (1992)","journal-title":"Law Philos."},{"key":"17_CR7","unstructured":"Chitashvili, M., Hermann, M., Sasdelli, D., W\u00fcst, C.: A normal form for representing legal norms and its visualisation through normative diagrams. In: Proceedings of the 19th International Conference on Artificial Inteligence and Law (2023)"},{"key":"17_CR8","unstructured":"Dan, Y., et\u00a0al.: EduChat: a large-scale language model-based chatbot system for intelligent education. arXiv preprint arXiv:2308.02773 (2023)"},{"key":"17_CR9","unstructured":"Daniel, K.: Thinking, fast and slow (2017)"},{"key":"17_CR10","unstructured":"De\u00a0Giacomo, G., Lenzerini, M., et\u00a0al.: TBox and ABox reasoning in expressive description logics. KR 96(316-327), 10 (1996)"},{"key":"17_CR11","unstructured":"Garcez, A.D., et al.: Neural-symbolic learning and reasoning: a survey and interpretation. Neuro-Symb. Artif. Intell.: State Art 342(1), 327 (2022)"},{"key":"17_CR12","unstructured":"Golovneva, O., et al.: ROSCOE: a suite of metrics for scoring step-by-step reasoning. arXiv preprint arXiv:2212.07919 (2022)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Gu, Z., et al.: Few-shot text-to-SQL translation using structure and content prompt learning. In: Proceedings of the ACM on Management of Data, vol. 1, no. 2, pp. 1\u201328 (2023)","DOI":"10.1145\/3589292"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"129648","DOI":"10.1109\/ACCESS.2021.3108226","volume":"9","author":"D Guo","year":"2021","unstructured":"Guo, D., Onstein, E., La Rosa, A.D.: A semantic approach for automated rule compliance checking in construction industry. IEEE Access 9, 129648\u2013129660 (2021)","journal-title":"IEEE Access"},{"key":"17_CR15","unstructured":"Hong, S., et\u00a0al.: MetaGPT: meta programming for multi-agent collaborative framework. arXiv preprint arXiv:2308.00352 (2023)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"H\u00fclsen, M., Z\u00f6llner, J.M., Weiss, C.: Traffic intersection situation description ontology for advanced driver assistance. In: 2011 IEEE Intelligent Vehicles Symposium (IV), pp. 993\u2013999. IEEE (2011)","DOI":"10.1109\/IVS.2011.5940415"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Kubica, M.L.: Autonomous vehicles and liability law. Am. J. Comp. Law 70(Supplement_1), i39\u2013i69 (2022)","DOI":"10.1093\/ajcl\/avac015"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.artmed.2017.07.002","volume":"80","author":"JB Lamy","year":"2017","unstructured":"Lamy, J.B.: Owlready: ontology-oriented programming in python with automatic classification and high level constructs for biomedical ontologies. Artif. Intell. Med. 80, 11\u201328 (2017)","journal-title":"Artif. Intell. Med."},{"key":"17_CR19","unstructured":"Leike, J., Schulman, J., Wu, J.: OpenAI alignment research (2024). https:\/\/openai.com\/blog\/our-approach-to-alignment-research. Accessed 21 Apr 2024"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Liffiton, M., Sheese, B.E., Savelka, J., Denny, P.: CodeHelp: using large language models with guardrails for scalable support in programming classes. In: Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, pp. 1\u201311 (2023)","DOI":"10.1145\/3631802.3631830"},{"key":"17_CR21","unstructured":"Liu, B., et al.: LLM+ P: empowering large language models with optimal planning proficiency. arXiv preprint arXiv:2304.11477 (2023)"},{"key":"17_CR22","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De\u00a0Raedt, L.: DeepProbLog: neural probabilistic logic programming. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Min, S., et al.: Rethinking the role of demonstrations: what makes in-context learning work? (2022)","DOI":"10.18653\/v1\/2022.emnlp-main.759"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"1532","DOI":"10.1016\/j.procs.2015.08.300","volume":"60","author":"MA Mohammad","year":"2015","unstructured":"Mohammad, M.A., Kaloskampis, I., Hicks, Y., Setchi, R.: Ontology-based framework for risk assessment in road scenes using videos. Procedia Comput. Sci. 60, 1532\u20131541 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"17_CR25","doi-asserted-by":"publisher","unstructured":"Morignot, P., Nashashibi, F.: An ontology-based approach to relax traffic regulation for autonomous vehicle assistance. In: IASTED Multiconferences - Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, AIA 2013, pp. 122\u2013129 (2013). https:\/\/doi.org\/10.2316\/P.2013.793-024","DOI":"10.2316\/P.2013.793-024"},{"key":"17_CR26","unstructured":"Noy, N.: Ontology development 101: a guide to creating your first ontology (2001). https:\/\/api.semanticscholar.org\/CorpusID:500106"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Ogundare, O., Madasu, S., Wiggins, N.: Industrial engineering with large language models: a case study of ChatGPT\u2019s performance on oil & gas problems. In: 2023 11th International Conference on Control, Mechatronics and Automation (ICCMA), pp. 458\u2013461. IEEE (2023)","DOI":"10.1109\/ICCMA59762.2023.10374622"},{"key":"17_CR28","doi-asserted-by":"publisher","unstructured":"Pan, L., Albalak, A., Wang, X., Wang, W.Y.: LOGIC-LM: empowering large language models with symbolic solvers for faithful logical reasoning. In: Findings of the Association for Computational Linguistics: EMNLP 2023, pp. 3806\u20133824 (2023). https:\/\/doi.org\/10.18653\/v1\/2023.findings-emnlp.248","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"17_CR29","unstructured":"Pauwels, P., Zhang, S.: Semantic rule-checking for regulation compliance checking: an overview of strategies and approaches. In: 32rd International CIB W78 Conference (2015)"},{"key":"17_CR30","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10506-017-9210-0","volume":"25","author":"H Prakken","year":"2017","unstructured":"Prakken, H.: On the problem of making autonomous vehicles conform to traffic law. Artif. Intell. Law 25, 341\u2013363 (2017)","journal-title":"Artif. Intell. Law"},{"key":"17_CR31","unstructured":"Qian, C., et al.: Communicative agents for software development. arXiv preprint arXiv:2307.07924 (2023)"},{"key":"17_CR32","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198253631.001.0001","volume-title":"The Concept of a Legal System: An Introduction to the Theory of a Legal System","author":"J Raz","year":"1980","unstructured":"Raz, J.: The Concept of a Legal System: An Introduction to the Theory of a Legal System. Oxford University Press, Oxford (1980)"},{"key":"17_CR33","unstructured":"Ribeiro, D., et\u00a0al.: STREET: a multi-task structured reasoning and explanation benchmark. arXiv preprint arXiv:2302.06729 (2023)"},{"key":"17_CR34","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s12626-023-00144-0","volume":"2","author":"D Sasdelli","year":"2023","unstructured":"Sasdelli, D., Trivisonno, A.T.G.: Normative diagrams as a tool for representing legal systems. Rev. Socionetw. Strategies 2, 217\u2013231 (2023)","journal-title":"Rev. Socionetw. Strategies"},{"key":"17_CR35","unstructured":"Sun, R., et al.: SQL-PALM: improved large language modeladaptation for text-to-SQL. arXiv preprint arXiv:2306.00739 (2023)"},{"key":"17_CR36","unstructured":"Tao, J., et\u00a0al.: ASAM OpenX ontology user guide (2021). https:\/\/www.asam.net\/standards\/asam-openxontology\/"},{"issue":"7995","key":"17_CR37","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1038\/s41586-023-06747-5","volume":"625","author":"TH Trinh","year":"2024","unstructured":"Trinh, T.H., Wu, Y., Le, Q.V., He, H., Luong, T.: Solving olympiad geometry without human demonstrations. Nature 625(7995), 476\u2013482 (2024). https:\/\/doi.org\/10.1038\/s41586-023-06747-5","journal-title":"Nature"},{"key":"17_CR38","unstructured":"W3C: Resource description framework (RDF) (2024). https:\/\/www.w3.org\/RDF\/. Accessed 21 Apr 2024"},{"key":"17_CR39","unstructured":"W3C: A semantic web rule language combining OWL and RuleML (SWRL) (2024). https:\/\/www.w3.org\/submissions\/SWRL\/. Accessed 21 Apr 2024"},{"issue":"6","key":"17_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11704-024-40231-1","volume":"18","author":"L Wang","year":"2024","unstructured":"Wang, L., et al.: A survey on large language model based autonomous agents. Front. Comput. Sci. 18(6), 1\u201326 (2024)","journal-title":"Front. Comput. Sci."},{"key":"17_CR41","unstructured":"Wang, Y., Grabowski, M., Paschke, A.: An ontology-based model for handling rule exceptions in traffic scenes. In: Proceedings of the International Workshop on AI Compliance Mechanism (WAICOM 2022), p.\u00a087 (2022)"},{"key":"17_CR42","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. In: Advances in Neural Information Processing Systems, vol. 35, pp. 24824\u201324837 (2022)"},{"key":"17_CR43","unstructured":"Westhofen, L., Stierand, I., Becker, J.S., M\u00f6hlmann, E., Hagemann, W.: Towards a congruent interpretation of traffic rules for automated driving-experiences and challenges, pp. 8\u201321 (2022)"},{"key":"17_CR44","unstructured":"Wielemaker, J.: SWI-prolog: a comprehensive prolog implementation (2024). https:\/\/github.com\/SWI-Prolog\/swipl-devel. Accessed 21 Apr 2024"},{"key":"17_CR45","unstructured":"Xi, Z., et\u00a0al.: The rise and potential of large language model based agents: a survey. arXiv preprint arXiv:2309.07864 (2023)"},{"key":"17_CR46","unstructured":"Yang, H., Yue, S., He, Y.: Auto-GPT for online decision making: benchmarks and additional opinions. arXiv preprint arXiv:2306.02224 (2023)"},{"key":"17_CR47","unstructured":"Yao, S., et al.: ReAct: synergizing reasoning and acting in language models. arXiv preprint arXiv:2210.03629 (2022)"},{"key":"17_CR48","unstructured":"Yi, K., Torralba, A., Wu, J., Kohli, P., Gan, C., Tenenbaum, J.B.: Neural-symbolic VQA: disentangling reasoning from vision and language understanding. In: Advances in Neural Information Processing Systems (NeurIPS), pp. 1031\u20131042 (2018)"},{"key":"17_CR49","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.neunet.2023.06.028","volume":"166","author":"D Yu","year":"2023","unstructured":"Yu, D., Yang, B., Liu, D., Wang, H., Pan, S.: A survey on neural-symbolic learning systems. Neural Netw. 166, 105\u2013126 (2023). https:\/\/doi.org\/10.1016\/j.neunet.2023.06.028","journal-title":"Neural Netw."},{"key":"17_CR50","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.buildenv.2018.05.046","volume":"141","author":"B Zhong","year":"2018","unstructured":"Zhong, B., Gan, C., Luo, H., Xing, X.: Ontology-based framework for building environmental monitoring and compliance checking under BIM environment. Build. Environ. 141, 127\u2013142 (2018)","journal-title":"Build. Environ."}],"updated-by":[{"DOI":"10.1007\/978-3-031-72407-7_18","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000}}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-72407-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T06:05:19Z","timestamp":1731305119000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72407-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031724060","9783031724077"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72407-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"11 September 2024","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"A correction has been published.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bucharest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.declarativeai.net\/events\/ruleml-rr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}