{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:02:42Z","timestamp":1781193762365,"version":"3.54.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032280787","type":"print"},{"value":"9783032280794","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-28079-4_23","type":"book-chapter","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:33:38Z","timestamp":1781192018000},"page":"487-505","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["World2Rules: A Neuro-Symbolic Framework for\u00a0Learning World-Governing Safety Rules for\u00a0Aviation"],"prefix":"10.1007","author":[{"given":"Haichuan","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jay","family":"Patrikar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Scherer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,12]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","unstructured":"Aloor, J.J., Patrikar, J., Kapoor, P., Oh, J., Scherer, S.: Follow the rules: online signal temporal logic tree search for guided imitation learning in stochastic domains. In: 2023 IEEE International Conference on Robotics and Automation (ICRA) (2023). https:\/\/doi.org\/10.1109\/ICRA48891.2023.10160953","DOI":"10.1109\/ICRA48891.2023.10160953"},{"key":"23_CR2","unstructured":"Athalye, A., et al.: From pixels to predicates: learning symbolic world models via pretrained vision-language models (2025). https:\/\/arxiv.org\/abs\/2501.00296"},{"key":"23_CR3","unstructured":"Bouneffouf, D., Aggarwal, C.C.: Survey on applications of neurosymbolic artificial intelligence. arXiv preprint arXiv:2209.12618 (2022)"},{"key":"23_CR4","doi-asserted-by":"publisher","unstructured":"Chandra, C., et al.: Aviation-BERT: a preliminary aviation-specific natural language model. https:\/\/doi.org\/10.2514\/6.2023-3436. https:\/\/arc.aiaa.org\/doi\/abs\/10.2514\/6.2023-3436","DOI":"10.2514\/6.2023-3436"},{"key":"23_CR5","doi-asserted-by":"publisher","unstructured":"Chu, Y., Cai, S., Luo, C.: NuWLS: improving local search for (weighted) partial maxsat by new weighting techniques. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 4, pp. 3915\u20133923 (2023). https:\/\/doi.org\/10.1609\/aaai.v37i4.25505. https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/25505","DOI":"10.1609\/aaai.v37i4.25505"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1613\/jair.1.13507","volume":"74","author":"A Cropper","year":"2022","unstructured":"Cropper, A., Duman\u010di\u0107, S.: Inductive logic programming at 30: a new introduction. J. Artif. Intell. Res. 74, 765\u2013850 (2022). https:\/\/doi.org\/10.1613\/jair.1.13507","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"23_CR7","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/s10994-020-05934-z","volume":"110","author":"A Cropper","year":"2021","unstructured":"Cropper, A., Morel, R.: Learning programs by learning from failures. Mach. Learn. 110(4), 801\u2013856 (2021)","journal-title":"Mach. Learn."},{"key":"23_CR8","unstructured":"Devlin, J., Chang, M.W., Lee, K., Toutanova, K.: BERT: pre-training of deep bidirectional transformers for language understanding (2019). https:\/\/arxiv.org\/abs\/1810.04805"},{"key":"23_CR9","unstructured":"Federal Aviation Administration: Aviation Safety Information Analysis and Sharing (ASIAS) (2024). https:\/\/www.asias.faa.gov\/. Accessed Jan 2025"},{"key":"23_CR10","unstructured":"Federal Aviation Administration: Runway incursions (2024). https:\/\/www.faa.gov\/airports\/runway_safety\/resources\/runway_incursions. Accessed Jan 2025"},{"key":"23_CR11","unstructured":"Gandarela, J.P., Carvalho, D.S., Freitas, A.: Inductive learning of logical theories with LLMs: an expressivity-graded analysis (2025). https:\/\/arxiv.org\/abs\/2408.16779"},{"key":"23_CR12","unstructured":"Hocquette, C., Niskanen, A., Morel, R., J\u00e4rvisalo, M., Cropper, A.: Learning big logical rules by joining small rules. arXiv preprint arXiv:2401.16215 (2024)"},{"key":"23_CR13","doi-asserted-by":"publisher","unstructured":"Hu, W.C., Dai, W.Z., Jiang, Y., Zhou, Z.H.: Efficient rectification of neuro-symbolic reasoning inconsistencies by abductive reflection. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 16, pp. 17333\u201317341 (2025). https:\/\/doi.org\/10.1609\/aaai.v39i16.33905. https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/33905","DOI":"10.1609\/aaai.v39i16.33905"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3233\/SAT190116","volume":"11","author":"A Ignatiev","year":"2019","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: Rc2: an efficient maxsat solver. J. Satisf. Boolean Model. Comput. 11, 53\u201364 (2019). https:\/\/doi.org\/10.3233\/SAT190116","journal-title":"J. Satisf. Boolean Model. Comput."},{"key":"23_CR15","unstructured":"Japan Transport Safety Board (JTSB): Final report, a359 (ja13xj)\u2013dh8c (ja722a), Tokyo Haneda, Japan, 2024 (2024). https:\/\/skybrary.aero\/bookshelf\/final-report-a359ja13xj-dh8cja722a-tokyo-haneda-japan-2024"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Ji, Z., et al.: Rho ($$\\rho $$): reducing hallucination in open-domain dialogues with knowledge grounding (2023). arXiv preprint arXiv:2212.01588","DOI":"10.18653\/v1\/2023.findings-acl.275"},{"key":"23_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2023.104062","volume":"328","author":"G Marra","year":"2024","unstructured":"Marra, G., Duman\u010di\u0107, S., Manhaeve, R., Raedt, L.D.: From statistical relational to neurosymbolic artificial intelligence: a survey. Artif. Intell. 328, 104062 (2024). https:\/\/doi.org\/10.1016\/j.artint.2023.104062","journal-title":"Artif. Intell."},{"key":"23_CR18","unstructured":"National Transportation Safety Board: NTSB releases abstract of final report on 2023 JFK airport runway near-collision. https:\/\/www.ntsb.gov\/news\/press-releases\/Pages\/NR20240604a.aspx (2024, press release)"},{"key":"23_CR19","doi-asserted-by":"publisher","unstructured":"Navarro, I., et al.: AmeliaTF: a large model and dataset for airport surface movement forecasting. https:\/\/doi.org\/10.2514\/6.2024-4251. https:\/\/arc.aiaa.org\/doi\/abs\/10.2514\/6.2024-4251","DOI":"10.2514\/6.2024-4251"},{"key":"23_CR20","unstructured":"OpenAI: Hello GPT-4O (2024). https:\/\/openai.com\/index\/hello-gpt-4o\/"},{"key":"23_CR21","unstructured":"Padalkar, P., Lee, J., Wei, S., Gupta, G.: Improving interpretability and accuracy in neuro-symbolic rule extraction using class-specific sparse filters (2025). arXiv preprint arXiv:2501.16677"},{"issue":"4","key":"23_CR22","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1017\/S1471068424000322","volume":"24","author":"P Padalkar","year":"2024","unstructured":"Padalkar, P., Slusarz, N., Komendantskaya, E., Gupta, G.: A neurosymbolic framework for bias correction in convolutional neural networks. Theory Pract. Logic Program. 24(4), 644\u2013662 (2024). https:\/\/doi.org\/10.1017\/S1471068424000322","journal-title":"Theory Pract. Logic Program."},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Patrikar, J., Moon, B., Oh, J., Scherer, S.: Predicting like a pilot: dataset and method to predict socially-aware aircraft trajectories in non-towered terminal airspace. In: 2022 International Conference on Robotics and Automation (ICRA), pp. 2525\u20132531. IEEE (2022)","DOI":"10.1109\/ICRA46639.2022.9811972"},{"key":"23_CR24","unstructured":"Patrikar, J., Sharma, A., Veer, S., Li, B., Scherer, S., Pavone, M.: The case for negative data: from crash reports to counterfactuals for reasonable driving (2025). https:\/\/arxiv.org\/abs\/2509.18626"},{"key":"23_CR25","unstructured":"Patrikar, J., Veer, S., Sharma, A., Pavone, M., Scherer, S.: RuleFuser: an evidential Bayes approach for rule injection in imitation learned planners and predictors for robustness under distribution shifts. In: International Symposium of Robotics Research (ISRR) (2024). https:\/\/arxiv.org\/abs\/2405.11139"},{"key":"23_CR26","unstructured":"Peng, Y., et al.: Abductive logical rule induction by bridging inductive logic programming and multimodal large language models (2025). https:\/\/arxiv.org\/abs\/2509.21874"},{"key":"23_CR27","unstructured":"Wang, W., Yang, Y., Wu, F.: Towards data-and knowledge-driven artificial intelligence: a survey on neuro-symbolic computing (2022). arXiv preprint arXiv:2210.15889"},{"key":"23_CR28","unstructured":"Yang, Y., Wu, J., Yue, Y.: Robust hypothesis generation: LLM-automated language bias for inductive logic programming (2025). https:\/\/arxiv.org\/abs\/2505.21486"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-28079-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:33:45Z","timestamp":1781192025000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28079-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032280787","9783032280794"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28079-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nfm2026.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}