{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T06:47:38Z","timestamp":1782283658154,"version":"3.54.5"},"reference-count":6,"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.00033","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T19:43:46Z","timestamp":1782243826000},"page":"265-267","source":"Crossref","is-referenced-by-count":0,"title":["Demo Abstract: LogiEx: An Interactive Logic-Guided LLM Framework 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.1007\/s10696-021-09437-4"},{"key":"ref2","first-page":"178","article-title":"Towards explainable mcts","volume-title":"2021 AAAI Workshop on Explainable Agency in AI","author":"Baier"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA240976"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS68698.2026.00016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10732-009-9107-5"}],"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\/11570724.pdf?arnumber=11570724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:57:54Z","timestamp":1782280674000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11570724\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,11]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/iccps68698.2026.00033","relation":{},"subject":[],"published":{"date-parts":[[2026,5,11]]}}}