{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T12:03:41Z","timestamp":1777637021198,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T00:00:00Z","timestamp":1773014400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T00:00:00Z","timestamp":1773014400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,3,9]]},"DOI":"10.1109\/cogsima68896.2026.11481224","type":"proceedings-article","created":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T19:45:19Z","timestamp":1777405519000},"page":"85-92","source":"Crossref","is-referenced-by-count":0,"title":["Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing"],"prefix":"10.1109","author":[{"given":"Connar","family":"Hite","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Saud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raef","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nayim","family":"Rahman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanvir","family":"Atahary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Douglass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarek","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Answer Set Solving in Practice, ser. Synthesis Lectures on Artificial Intelligence and Machine Learning","author":"Gebser","year":"2012"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3571730"},{"key":"ref3","volume-title":"On the opportunities and risks of foundation models","author":"Bommasani","year":"2022"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.24963\/kr.2023\/37","volume-title":"Leveraging large language models to generate answer set programs","author":"Ishay","year":"2023"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"3806","DOI":"10.18653\/v1\/2023.findings-emnlp.248","article-title":"Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning","volume-title":"Findings of the Association for Computational Linguistics: EMNLP 2023","author":"Pan","year":"2023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068423000388"},{"key":"ref7","volume-title":"Towards automatic composition of asp programs from natural language specifications","author":"Borroto","year":"2024"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3605943"},{"key":"ref10","first-page":"178","article-title":"Abstract Meaning Representation for sembanking","volume-title":"Proceedings of the 7th Linguistic Annotation Workshop and Interoperability with Discourse","author":"Banarescu"},{"key":"ref11","volume-title":"Abstract meaning representation -a survey","author":"Tosik","year":"2015"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"6288","DOI":"10.18653\/v1\/2023.findings-emnlp.416","article-title":"Explainable claim verification via knowledgegrounded reasoning with large language models","volume-title":"Findings of the Association for Computational Linguistics: EMNLP 2023","author":"Wang","year":"2023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.385.27"},{"key":"ref15","volume-title":"Llasp: Fine-tuning large language models for answer set programming","author":"Coppolillo","year":"2024"},{"key":"ref16","article-title":"Logic-of-thought: Empowering large language models with logic programs for solving puzzles in natural language","author":"Li","year":"2025","journal-title":"arXiv preprint arXiv"},{"key":"ref17","volume-title":"Dspy-based neural-symbolic pipeline to enhance spatial reasoning in 11 ms","author":"Wang","year":"2024"},{"key":"ref18","article-title":"An empirical study of conformal prediction in 11 m with asp scaffolds for robust reasoning","author":"Kaur","year":"2025","journal-title":"arXiv preprint arXiv"},{"key":"ref19","volume-title":"Question answering with 11 ms and learning from answer sets","author":"Borroto","year":"2025"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32612-7_3"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10223-8_2","volume-title":"Controlled natural language processing as answer set programming: an experiment","author":"Schwitter","year":"2014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000306"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.29007\/g6ph","volume-title":"Specifying and verbalising answer set programs in controlled natural language","author":"Schwitter","year":"2018"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2025\/490"},{"key":"ref25","volume-title":"Scaling llm test-time compute optimally can be more effective than scaling model parameters","author":"Snell","year":"2024"},{"key":"ref26","volume-title":"Chain-of-thought prompting elicits reasoning in large language models","author":"Wei","year":"2023"},{"key":"ref27","volume-title":"spacy: Industrial-strength natural language processing in python","author":"Honnibal","year":"2020"},{"key":"ref28","volume-title":"Bjascob\/amrlib: A python library that makes amr parsing, generation and visualization simple","author":"Bjascob"}],"event":{"name":"2026 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)","location":"Tempe, AZ, USA","start":{"date-parts":[[2026,3,9]]},"end":{"date-parts":[[2026,3,12]]}},"container-title":["2026 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11481199\/11481217\/11481224.pdf?arnumber=11481224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:00:21Z","timestamp":1777442421000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11481224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cogsima68896.2026.11481224","relation":{},"subject":[],"published":{"date-parts":[[2026,3,9]]}}}