{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:22:56Z","timestamp":1763191376259,"version":"3.45.0"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:00:00Z","timestamp":1751241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:00:00Z","timestamp":1751241600000},"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":[[2025,6,30]]},"DOI":"10.1109\/ijcnn64981.2025.11229117","type":"proceedings-article","created":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T18:46:15Z","timestamp":1763145975000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems"],"prefix":"10.1109","author":[{"given":"Tuan","family":"Bui","sequence":"first","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trong","family":"Le","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phat","family":"Thai","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sang","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minh","family":"Hua","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ngan","family":"Pham","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thang","family":"Bui","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tho","family":"Quan","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Thinking, Fast and Slow","year":"2011","author":"Kahneman","key":"ref1"},{"issue":"1","key":"ref2","first-page":"1","article-title":"A path towards autonomous machine intelligence version 0.9. 2, 2022-06-27","volume":"62","author":"LeCun","year":"2022","journal-title":"Open Review"},{"key":"ref3","first-page":"3806","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"},{"key":"ref4","first-page":"15880","article-title":"NL2TL: Transforming natural languages to temporal logics using large language models","volume-title":"Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing","author":"Chen"},{"key":"ref5","first-page":"5153","article-title":"LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers","volume-title":"Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing","author":"Olausson"},{"article-title":"Satlm: satisfiability-aided language models using declarative prompting","volume-title":"Proceedings of the 37th International Conference on Neural Information Processing Systems","author":"Ye","key":"ref6"},{"key":"ref7","first-page":"305","article-title":"Faithful chain-of-thought reasoning","volume-title":"Proceedings of the 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","author":"Lyu"},{"article-title":"Large language models-guided dynamic adaptation for temporal knowledge graph reasoning","volume-title":"The Thirty-eighth Annual Conference on Neural Information Processing Systems","author":"Wang","key":"ref8"},{"key":"ref9","first-page":"6942","article-title":"Harnessing the power of large language models for natural language to first-order logic translation","volume-title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","author":"Yang"},{"key":"ref10","first-page":"22017","article-title":"FOLIO: Natural language reasoning with first-order logic","volume-title":"Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing","author":"Han"}],"event":{"name":"2025 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2025,6,30]]},"location":"Rome, Italy","end":{"date-parts":[[2025,7,5]]}},"container-title":["2025 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11227166\/11227148\/11229117.pdf?arnumber=11229117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:18:55Z","timestamp":1763191135000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11229117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,30]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ijcnn64981.2025.11229117","relation":{},"subject":[],"published":{"date-parts":[[2025,6,30]]}}}