{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T18:31:46Z","timestamp":1785263506931,"version":"3.55.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,11]]},"DOI":"10.1109\/iccps68698.2026.00016","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T19:43:46Z","timestamp":1782243826000},"page":"88-99","source":"Crossref","is-referenced-by-count":2,"title":["LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning"],"prefix":"10.1109","author":[{"given":"Ziyan","family":"An","sequence":"first","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xia","family":"Wang","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hendrik","family":"Baier","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Department of Industrial Engineering & Innovation Sciences,Eindhoven,The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zirong","family":"Chen","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Sprinkle","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ayan","family":"Mukhopadhyay","sequence":"additional","affiliation":[{"name":"William & Mary,Department of Computer Science,Williamsburg,VA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meiyi","family":"Ma","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3477032"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2025\/1065"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i11.21499"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10696-021-09437-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.2964012"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3716550.3722027"},{"key":"ref8","article-title":"Scalable decision-making in stochastic environments through learned temporal abstraction","volume-title":"The Thirteenth International Conference on Learning Representations","author":"Luo"},{"key":"ref9","article-title":"Metrics for explainable ai: Challenges and prospects","author":"Hoffman","year":"2018","journal-title":"arXiv preprint arXiv:1812.04608"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11871842_29"},{"key":"ref11","first-page":"178","article-title":"Explainable search","volume-title":"2020 IJCAI-PRICAI Workshop on Explainable Artificial Intelligence","author":"Baier"},{"key":"ref12","article-title":"Harnessing explanations: LLM-to-LM interpreter for enhanced text-attributed graph representation learning","volume-title":"The Twelfth International Conference on Learning Representations","author":"He"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i27.35065"},{"key":"ref14","article-title":"Enhancing trust in llm-based ai automation agents: New considerations and future challenges","volume-title":"International Joint Conference on Artificial Intelligence","author":"Schwartz"},{"key":"ref15","article-title":"Trustworthy llms: a survey and guideline for evaluating large language models\u2019 alignment","author":"Liu","journal-title":"Socially Responsible Language Modelling Research"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3711896.3736561"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10732-009-9107-5"},{"key":"ref18","first-page":"9459","article-title":"Retrieval-augmented generation for knowledgeintensive nlp tasks","volume":"33","author":"Lewis","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6685"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0025774"},{"key":"ref22","article-title":"Retrieval-augmented generation for large language models: A survey","author":"Gao","year":"2023","journal-title":"arXiv preprint arXiv:2312.10997"},{"issue":"5","key":"ref23","article-title":"Gpt-4 technical report. arxiv 2303.08774","volume-title":"View in Article","volume":"2","author":"OpenAI","year":"2023"},{"key":"ref24","article-title":"3.1: Our most capable models to date","author":"Llama","year":"2024"},{"key":"ref25","article-title":"Bertscore: Evaluating text generation with bert","volume-title":"International Conference on Learning Representations","author":"Zhang"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.emnlp-main.750"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/n19\u20131423"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA240976"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/16"},{"key":"ref30","article-title":"Explainable planning","volume-title":"Proceedings of IJCAI-17 Workshop on Explainable Planning","author":"Fox"},{"key":"ref31","article-title":"Towards explainable ai planning as a service","volume-title":"2nd ICAPS Workshop on Explainable Planning","author":"Cashmore"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/23"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3616864"},{"key":"ref34","article-title":"Explainable reinforcement learning via reward decomposition","volume-title":"IJCAI\/ECAI Workshop on explainable artificial intelligence","author":"Juozapaitis"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.giq.2021.101666"},{"key":"ref36","first-page":"178","article-title":"Towards explainable mcts","volume-title":"2021 AAAI Workshop on Explainable Agency in AI","volume":"2021","author":"Baier"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.65109\/JWWJ9232"},{"key":"ref38","article-title":"Xai meets llms: A survey of the relation between explainable ai and large language models","author":"Cambria","year":"2024","journal-title":"arXiv preprint arXiv:2407.15248"},{"key":"ref39","article-title":"Llms for xai: Future directions for explaining explanations","author":"Zytek","year":"2024","journal-title":"arXiv preprint arXiv:2405.06064"},{"key":"ref40","article-title":"In-context explainers: Harnessing llms for explaining black box models","author":"Kroeger","year":"2023","journal-title":"arXiv preprint arXiv:2310.05797"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3816150"},{"key":"ref42","article-title":"Language models can explain neurons in language models","volume":"2","author":"Bills","year":"2023"},{"key":"ref43","article-title":"Opportunities and challenges in explainable artificial intelligence (xai): A survey","author":"Das","year":"2020","journal-title":"arXiv preprint arXiv:2006.11371"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2023.3331846"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-63787-2_11"}],"event":{"name":"2026 ACM\/IEEE 17th International Conference on Cyber-Physical Systems (ICCPS)","location":"Saint Malo, France","start":{"date-parts":[[2026,5,11]]},"end":{"date-parts":[[2026,5,14]]}},"container-title":["2026 ACM\/IEEE 17th International Conference on Cyber-Physical Systems (ICCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11570664\/11570679\/11570700.pdf?arnumber=11570700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:28:13Z","timestamp":1782278893000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11570700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,11]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/iccps68698.2026.00016","relation":{},"subject":[],"published":{"date-parts":[[2026,5,11]]}}}