{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T18:18:43Z","timestamp":1780942723250,"version":"3.54.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032084613","type":"print"},{"value":"9783032084620","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"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-08462-0_18","type":"book-chapter","created":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T04:47:50Z","timestamp":1760330870000},"page":"227-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Neuro-Symbolic Reasoning with Multiple Large Language Models Combined by First-Order Logic"],"prefix":"10.1007","author":[{"given":"Jieun","family":"Kim","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sung-Bae","family":"Cho","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,14]]},"reference":[{"issue":"21","key":"18_CR1","doi-asserted-by":"publisher","first-page":"12809","DOI":"10.1007\/s00521-024-09960-z","volume":"36","author":"BP Bhuyan","year":"2024","unstructured":"Bhuyan, B.P., Ramdane-Cherif, A., Tomar, R., Singh, T.P.: Neuro-symbolic artificial intelligence: a survey. Neural Comput. Appl. 36(21), 12809\u201312844 (2024)","journal-title":"Neural Comput. Appl."},{"key":"18_CR2","first-page":"3749","volume":"31","author":"R Manhaeve","year":"2018","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De Raedt, L.: DeepProbLog: neural probabilistic logic programming. Adv. Neural. Inf. Process. Syst. 31, 3749\u20133759 (2018)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Badreddine, S., Garcez, A. d\u2019Avila, Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022)","DOI":"10.1016\/j.artint.2021.103649"},{"key":"18_CR4","unstructured":"Amizadeh, S., Palangi, H., Polozov, A., Huang, Y., Koishida, K.: Neuro-symbolic visual reasoning: disentangling. In: International Conference on Machine Learning, pp. 279\u2013290. PMLR (2020)"},{"key":"18_CR5","unstructured":"Yi, K., Wu, J., Gan, C., Torralba, A., Kohli, P., Tenenbaum, J.: Neural-symbolic VQA: disentangling reasoning from vision and language understanding. Adv. Neural Inf. Process. Syst. 31 (2018)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Gupta, T., Kembhavi, A.: Visual programming: compositional visual reasoning without training. In: IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 14953\u201314962. IEEE (2023)","DOI":"10.1109\/CVPR52729.2023.01436"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Sur\u00eds, D., Menon, S., Vondrick, C.: Vipergpt: Visual inference via python execution for reasoning. In: IEEE\/CVF International Conference on Computer Vision, pp. 11888\u201311898. IEEE (2023)","DOI":"10.1109\/ICCV51070.2023.01092"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Park, K.-W., Bu, S.-J., Cho, S.-B.: Evolutionary optimization of neuro-symbolic integration for phishing URL detection. In: International Conference on Hybrid Artificial Intelligent Systems, Bilbao, Spain, pp. 88\u2013100. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-86271-8_8"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Park, J., Bu, S.-J., Cho, S.-B.: A neuro-symbolic AI system for visual question answering in pedestrian video sequences. In: International Conference on Hybrid Artificial Intelligence Systems, pp. 443\u2013454. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-15471-3_38"},{"key":"18_CR10","unstructured":"Mao, J., Gan, C., Kohli, P., Tenenbaum, J.B., Wu, J.: The neuro-symbolic concept learner: interpreting scenes, words, and sentences from natural supervision. In: International Conference on Learning Representations (2019)"},{"key":"18_CR11","first-page":"29680","volume":"36","author":"X Wu","year":"2023","unstructured":"Wu, X., Li, Y.-L., Sun, J., Lu, C.: Symbol-LLM: leverage language models for symbolic system in visual human activity reasoning. Adv. Neural. Inf. Process. Syst. 36, 29680\u201329691 (2023)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Olausson, T.X., et al.: LINC: a neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Bouamor, H., Pino, J., Bali, K. (eds.) Conference on EMNLP, Singapore, pp. 5153\u20135176. ACL (2023)","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Wang, S., Wei, Z., Choi, Y., Ren, X.: Can LLMs reason with rules? logic scaffolding for stress-testing and improving LLMs. In: Annual Meeting Association Computer Linguistiscs (Long Papers), pp. 7523\u20137543. ACL (2024)","DOI":"10.18653\/v1\/2024.acl-long.406"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Girshick, R., Donahue, J., Darrell, T., Malik, J.: Rich feature hierarchies for accurate object detection and semantic segmentation. In: IEEE Conference on Computer Vision and Pattern Recognition, pp. 580\u2013587. IEEE (2014)","DOI":"10.1109\/CVPR.2014.81"},{"key":"18_CR15","unstructured":"Biderman, S., et al.: Pythia: a suite for analyzing large language models across training and scaling. In: International Conference on Machine Learning, pp. 2397\u20132430. PMLR (2023)"},{"key":"18_CR16","first-page":"13","volume":"32","author":"J Lu","year":"2019","unstructured":"Lu, J., Batra, D., Parikh, D., Lee, S.: ViLBERT: pretraining task-agnostic visiolinguistic representations for vision-and-language tasks. Adv. Neural. Inf. Process. Syst. 32, 13\u201323 (2019)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Tan, H., Bansal, M.: LXMERT: learning cross-modality encoder representations from transformers. In: EMNLP-IJCNLP, pp. 5100\u20135111. ACL (2019)","DOI":"10.18653\/v1\/D19-1514"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Marino, K., Chen, X., Parikh, D., Gupta, A., Rohrbach, M.: Krisp: Integrating implicit and symbolic knowledge for open-domain knowledge-based VQA. In: IEEE\/CVF Conference Computer on Vision Pattern Recognition, pp. 14111\u201314121. IEEE (2021)","DOI":"10.1109\/CVPR46437.2021.01389"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Wu, J., Lu, J., Sabharwal, A., Mottaghi, R.: Multi-modal answer validation for knowledge-based VQA. In: AAAI Conference on Artificial Intelligence, pp. 2712\u20132721. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i3.20174"},{"key":"18_CR20","unstructured":"Cho, J., Lei, J., Tan, H., Bansal, M.: Unifying vision-and-language tasks via text generation. In: International Conference on Machine Learning, pp. 1931\u20131942. PMLR (2021)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Yang, Z., et al.: An empirical study of GPT-3 for few-shot knowledge-based VQA. In: AAAI Conference on Artificial Intelligence, pp. 3081\u20133089. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i3.20215"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Chen, Z., et al.: Visual chain-of-thought prompting for knowledge-based visual reasoning. In: AAAI Conference on Artificial Intelligence, pp. 1254\u20131262. AAAI Press (2024)","DOI":"10.1609\/aaai.v38i2.27888"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08462-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T04:47:55Z","timestamp":1760330875000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08462-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,14]]},"ISBN":["9783032084613","9783032084620"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08462-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,14]]},"assertion":[{"value":"14 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HAIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Hybrid Artificial Intelligence Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salamanca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hais2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/haisconference.eu","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}