{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:44:13Z","timestamp":1768355053996,"version":"3.49.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031450716","type":"print"},{"value":"9783031450723","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-45072-3_13","type":"book-chapter","created":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:01:34Z","timestamp":1697281294000},"page":"175-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Semantic Role Assisted Natural Language Rule Formalization for\u00a0Intelligent Vehicle"],"prefix":"10.1007","author":[{"given":"Kumar","family":"Manas","sequence":"first","affiliation":[]},{"given":"Adrian","family":"Paschke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,15]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","unstructured":"Ar\u00e9chiga, N.: Specifying safety of autonomous vehicles in signal temporal logic. In: 2019 IEEE Intelligent Vehicles Symposium (IV), pp. 58\u201363 (2019). https:\/\/doi.org\/10.1109\/IVS.2019.8813875","DOI":"10.1109\/IVS.2019.8813875"},{"key":"13_CR2","unstructured":"Brown, T., et al.: Language models are few-shot learners. In: Advances in Neural Information Processing Systems, vol. 33, pp. 1877\u20131901 (2020)"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Esterle, K., Aravantinos, V., Knoll, A.: From specifications to behavior: maneuver verification in a semantic state space. In: 2019 IEEE Intelligent Vehicles Symposium (IV), pp. 2140\u20132147 (2019). https:\/\/doi.org\/10.1109\/IVS.2019.8814241","DOI":"10.1109\/IVS.2019.8814241"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Fuggitti, F., Chakraborti, T.: NL2LTL - a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas. In: AAAI (2023). system Demonstration","DOI":"10.1609\/aaai.v37i13.27068"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3428269","volume":"4","author":"I Gavran","year":"2020","unstructured":"Gavran, I., Darulova, E., Majumdar, R.: Interactive synthesis of temporal specifications from examples and natural language. Proc. ACM Program. Lang. 4, 1\u201326 (2020). https:\/\/doi.org\/10.1145\/3428269","journal-title":"Proc. ACM Program. Lang."},{"key":"13_CR6","unstructured":"Gung, J., Palmer, M.: Predicate representations and polysemy in VerbNet semantic parsing. In: International Conference on Computational Semantics (2021)"},{"key":"13_CR7","unstructured":"Hahn, C., Schmitt, F., Tillman, J.J., Metzger, N., Siber, J., Finkbeiner, B.: Formal specifications from natural language. arXiv:abs\/2206.01962 (2022)"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"He, J., Bartocci, E., Ni\u010dkovi\u0107, D., Isakovic, H., Grosu, R.: DeepSTL - from English requirements to signal temporal logic. In: 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), pp. 610\u2013622 (2022). https:\/\/doi.org\/10.1145\/3510003.3510171","DOI":"10.1145\/3510003.3510171"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Hekmatnejad, M., et al.: Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (2019). https:\/\/doi.org\/10.1145\/3359986.3361203","DOI":"10.1145\/3359986.3361203"},{"key":"13_CR10","unstructured":"Huang, W., Abbeel, P., Pathak, D., Mordatch, I.: Language models as zero-shot planners: extracting actionable knowledge for embodied agents. arXiv preprint: arXiv:2201.07207 (2022)"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Karimi, A., Duggirala, P.S.: Formalizing traffic rules for uncontrolled intersections. In: 2020 ACM\/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), pp. 41\u201350. IEEE (2020). https:\/\/doi.org\/10.1109\/ICCPS48487.2020.00012","DOI":"10.1109\/ICCPS48487.2020.00012"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Karlsson, J., Tumova, J.: Intention-aware motion planning with road rules. In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), pp. 526\u2013532 (2020). https:\/\/doi.org\/10.1109\/CASE48305.2020.9217037","DOI":"10.1109\/CASE48305.2020.9217037"},{"key":"13_CR13","doi-asserted-by":"publisher","unstructured":"Konrad, S., Cheng, B.: Real-time specification patterns. In: Proceedings 27th International Conference on Software Engineering, 2005. ICSE 2005, pp. 372\u2013381 (2005). https:\/\/doi.org\/10.1109\/ICSE.2005.1553580","DOI":"10.1109\/ICSE.2005.1553580"},{"key":"13_CR14","unstructured":"Li, R., et al.: StarCoder: may the source be with you! arXiv:abs\/2305.06161 (2023)"},{"key":"13_CR15","unstructured":"Li, X., et al.: Differentiable logic layer for rule guided trajectory prediction. In: Conference on Robot Learning (2020)"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"Lin, J., et al.: Road traffic law adaptive decision-making for self-driving vehicles. In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), pp. 2034\u20132041 (2022). https:\/\/doi.org\/10.1109\/ITSC55140.2022.9922208","DOI":"10.1109\/ITSC55140.2022.9922208"},{"key":"13_CR17","unstructured":"Liu, J.X., et al.: Lang2LTL: translating natural language commands to temporal specification with large language models. In: CoRL Workshop on Language and Robot Learning (2022)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Liu, J., et al.: Generated knowledge prompting for commonsense reasoning. In: Annual Meeting of the Association for Computational Linguistics (2021)","DOI":"10.18653\/v1\/2022.acl-long.225"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Maierhofer, S., Moosbrugger, P., Althoff, M.: Formalization of intersection traffic rules in temporal logic. In: 2022 IEEE Intelligent Vehicles Symposium (IV), pp. 1135\u20131144 (2022). https:\/\/doi.org\/10.1109\/IV51971.2022.9827153","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Maierhofer, S., Rettinger, A.K., Mayer, E.C., Althoff, M.: Formalization of interstate traffic rules in temporal logic. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp. 752\u2013759 (2020). https:\/\/doi.org\/10.1109\/IV47402.2020.9304549","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"13_CR21","unstructured":"Muennighoff, N., et al.: Crosslingual generalization through multitask finetuning. arXiv:abs\/2211.01786 (2022)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Oh, Y., Patel, R., Nguyen, T., Huang, B., Pavlick, E., Tellex, S.: Planning with state abstractions for non-markovian task specifications. arXiv:abs\/1905.12096 (2019)","DOI":"10.15607\/RSS.2019.XV.059"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1162\/0891201053630264","volume":"31","author":"M Palmer","year":"2005","unstructured":"Palmer, M., Gildea, D., Kingsbury, P.: The proposition bank: an annotated corpus of semantic roles. Comput. Linguist. 31(1), 71\u2013106 (2005). https:\/\/doi.org\/10.1162\/0891201053630264","journal-title":"Comput. Linguist."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Palmer, M., Gildea, D., Xue, N.: Semantic Role Labeling. Synthesis Lectures on Human Language Technologies. Springer International Publishing, Cham (2010). https:\/\/link.springer.com\/10.1007\/978-3-031-02135-0","DOI":"10.1007\/978-3-031-02135-0"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Pan, J., Chou, G., Berenson, D.: Data-efficient learning of natural language to linear temporal logic translators for robot task specification. arXiv e-prints: arXiv:2303.08006 (2023)","DOI":"10.1109\/ICRA48891.2023.10161125"},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Ren, X., Yin, X., Li, S.: Synthesis of controllers for co-safe linear temporal logic specifications using reinforcement learning. In: 2021 40th Chinese Control Conference (CCC), pp. 2304\u20132309 (2021). https:\/\/doi.org\/10.23919\/CCC52363.2021.9549746","DOI":"10.23919\/CCC52363.2021.9549746"},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-40648-0_14","volume-title":"NASA Formal Methods","author":"A Rizaldi","year":"2016","unstructured":"Rizaldi, A., Immler, F., Althoff, M.: A formally verified checker of the safe distance traffic rules for autonomous vehicles. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 175\u2013190. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_14"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-66845-1_4","volume-title":"Integrated Formal Methods","author":"A Rizaldi","year":"2017","unstructured":"Rizaldi, A., et al.: Formalising and monitoring traffic rules for autonomous vehicles in Isabelle\/HOL. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 50\u201366. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66845-1_4"},{"key":"13_CR29","unstructured":"Schuler, K.K., Palmer, M.S.: VerbNet: a broad-coverage, comprehensive verb Lexicon. Ph.D. thesis, University of Pennsylvania, USA (2005)"},{"key":"13_CR30","unstructured":"Shi, P., Lin, J.: Simple BERT models for relation extraction and semantic role labeling. arXiv preprint: arXiv:1904.05255 (2019)"},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"P Thati","year":"2005","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring Algorithms for metric temporal logic specifications. Electr. Notes Theor. Comput. Sci. 113, 145\u2013162 (2005). https:\/\/doi.org\/10.1016\/j.entcs.2004.01.029","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"13_CR32","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Proceedings of the 31st International Conference on Neural Information Processing Systems, NIPS\u201917, pp. 6000\u20136010 (2017)"},{"key":"13_CR33","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. In: Advances in Neural Information Processing Systems (2022)"},{"key":"13_CR34","unstructured":"Yao, S., et al.: ReAct: synergizing reasoning and acting in language models. In: International Conference on Learning Representations (ICLR) (2023)"},{"issue":"2","key":"13_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3460082","volume":"5","author":"Q Zhang","year":"2021","unstructured":"Zhang, Q., Hong, D.K., Zhang, Z., Chen, Q.A., Mahlke, S., Mao, Z.M.: A systematic framework to identify violations of scenario-dependent driving rules in autonomous vehicle software. Proc. ACM Meas. Anal. Comput. Syst. 5(2), 1\u201325 (2021). https:\/\/doi.org\/10.1145\/3460082","journal-title":"Proc. ACM Meas. Anal. Comput. Syst."}],"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-45072-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:03:06Z","timestamp":1697281386000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45072-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031450716","9783031450723"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45072-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"15 October 2023","order":1,"name":"first_online","label":"First Online","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":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.declarativeai.net\/events\/ruleml-rr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6 subreviewers were invited by the pc members and provided 7 reviews","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}