{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T11:28:08Z","timestamp":1780572488989,"version":"3.54.1"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031711664","type":"print"},{"value":"9783031711671","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-71167-1_5","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:58Z","timestamp":1725886978000},"page":"84-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["The Role of\u00a0Foundation Models in\u00a0Neuro-Symbolic Learning and\u00a0Reasoning"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Cunnington","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Law","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Aspis, Y., Broda, K., Lobo, J., Russo, A.: Embed2sym-scalable neuro-symbolic reasoning via clustered embeddings. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, vol.\u00a019, pp. 421\u2013431 (2022)","DOI":"10.24963\/kr.2022\/44"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Badreddine, S., d\u2019Avila Garcez, A., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022). https:\/\/doi.org\/10.1016\/j.artint.2021.103649","DOI":"10.1016\/j.artint.2021.103649"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Besold, T.R., et al.: Neural-symbolic learning and reasoning: a survey and interpretation. In: Neuro-Symbolic Artificial Intelligence: The State of the Art. IOS Press (2022)","DOI":"10.3233\/FAIA210348"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.neucom.2021.08.064","volume":"463","author":"A Byerly","year":"2021","unstructured":"Byerly, A., Kalganova, T., Dear, I.: No routing needed between capsules. Neurocomputing 463, 545\u2013553 (2021)","journal-title":"Neurocomputing"},{"key":"5_CR5","unstructured":"Charalambous, T., Aspis, Y., Russo, A.: NeuralFastLAS: fast logic-based learning from raw data. arXiv preprint arXiv:2310.05145 (2023)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s10994-022-06278-6","volume":"112","author":"D Cunnington","year":"2023","unstructured":"Cunnington, D., Law, M., Lobo, J., Russo, A.: FFNSL: feed-forward neural-symbolic learner. Mach. Learn. 112(2), 515\u2013569 (2023)","journal-title":"Mach. Learn."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cunnington, D., Law, M., Lobo, J., Russo, A.: Neuro-symbolic learning of answer set programs from raw data. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, pp. 3586\u20133596 (2023)","DOI":"10.24963\/ijcai.2023\/399"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Cunnington, D., Law, M., Lobo, J., Russo, A.: The role of foundation models in neuro-symbolic learning and reasoning. arXiv preprint arXiv:2402.01889 (2024)","DOI":"10.1007\/978-3-031-71167-1_5"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Dai, W.Z., Muggleton, S.: Abductive knowledge induction from raw data. In: Zhou, Z.H. (ed.) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, pp. 1845\u20131851. International Joint Conferences on Artificial Intelligence Organization (2021). https:\/\/doi.org\/10.24963\/ijcai.2021\/254","DOI":"10.24963\/ijcai.2021\/254"},{"key":"5_CR10","unstructured":"Dai, W.Z., Xu, Q., Yu, Y., Zhou, Z.H.: Bridging machine learning and logical reasoning by abductive learning. Adv. Neural Inf. Process. Syst. 32 (2019)"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Daniele, A., Campari, T., Malhotra, S., Serafini, L.: Deep symbolic learning: discovering symbols and rules from perceptions. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 3597\u20133605. International Joint Conferences on Artificial Intelligence Organization (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/400","DOI":"10.24963\/ijcai.2023\/400"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Defresne, M., Barbe, S., Schiex, T.: Scalable coupling of deep learning with logical reasoning. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 3615\u20133623. International Joint Conferences on Artificial Intelligence Organization (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/402","DOI":"10.24963\/ijcai.2023\/402"},{"issue":"5","key":"5_CR13","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1017\/S1471068422000229","volume":"22","author":"T Eiter","year":"2022","unstructured":"Eiter, T., Higuera, N., Oetsch, J., Pritz, M.: A neuro-symbolic ASP pipeline for visual question answering. Theory Pract. Logic Program. 22(5), 739\u2013754 (2022)","journal-title":"Theory Pract. Logic Program."},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Evans, R., et al.: Making sense of raw input. Artif. Intell. 299, 103521 (2021). https:\/\/doi.org\/10.1016\/j.artint.2021.103521","DOI":"10.1016\/j.artint.2021.103521"},{"key":"5_CR15","unstructured":"d\u2019Avila Garcez, A., Gori, M., Lamb, L.C., Serafini, L., Spranger, M., Tran, S.N.: Neural-symbolic computing: an effective methodology for principled integration of machine learning and reasoning. FLAP 6(4), 611\u2013632 (2019)"},{"key":"5_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-set Programming Approach. Cambridge University Press, Cambridge, UK (2014)"},{"issue":"1\u20133","key":"5_CR17","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0167-2789(90)90087-6","volume":"42","author":"S Harnad","year":"1990","unstructured":"Harnad, S.: The symbol grounding problem. Phys. D 42(1\u20133), 335\u2013346 (1990)","journal-title":"Phys. D"},{"key":"5_CR18","first-page":"33248","volume":"35","author":"D Hutchins","year":"2022","unstructured":"Hutchins, D., Schlag, I., Wu, Y., Dyer, E., Neyshabur, B.: Block-recurrent transformers. Adv. Neural. Inf. Process. Syst. 35, 33248\u201333261 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Ishay, A., Yang, Z., Lee, J.: Leveraging large language models to generate answer set programs. In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, pp. 374\u2013383 (2023). https:\/\/doi.org\/10.24963\/kr.2023\/37","DOI":"10.24963\/kr.2023\/37"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","volume-title":"Complexity of Computer Computations","author":"RM Karp","year":"1972","unstructured":"Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W., Bohlinger, J.D. (eds.) Complexity of Computer Computations, pp. 85\u2013103. Springer, Boston, MA, US (1972). https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Kassner, N., Sch\u00fctze, H.: Negated and misprimed probes for pretrained language models: birds can talk, but cannot fly. arXiv preprint arXiv:1911.03343 (2019)","DOI":"10.18653\/v1\/2020.acl-main.698"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Bertino, E., Broda, K., Lobo, J.: FastLAS: scalable inductive logic programming incorporating domain-specific optimisation criteria. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a034, pp. 2877\u20132885 (2020)","DOI":"10.1609\/aaai.v34i03.5678"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Broda, K.: Logic-based learning of answer set programs. In: Reasoning Web, Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures, pp. 196\u2013231 (2019)","DOI":"10.1007\/978-3-030-31423-1_6"},{"key":"5_CR24","unstructured":"Law, M., Russo, A., Broda, K.: The ilasp system for inductive learning of answer set programs. arXiv preprint arXiv:2005.00904 (2020)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Li, D., Li, J., Le, H., Wang, G., Savarese, S., Hoi, S.C.: Lavis: a library for language-vision intelligence. arXiv preprint arXiv:2209.09019 (2022)","DOI":"10.18653\/v1\/2023.acl-demo.3"},{"key":"5_CR26","unstructured":"Li, J., Li, D., Xiong, C., Hoi, S.: BLIP: bootstrapping language-image pre-training for unified vision-language understanding and generation. In: International Conference on Machine Learning, pp. 12888\u201312900. PMLR (2022)"},{"key":"5_CR27","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De\u00a0Raedt, L.: Deepproblog: neural probabilistic logic programming. Adv. Neural Inf. Process. Syst. 31 (2018)"},{"key":"5_CR28","unstructured":"Marconato, E., Teso, S., Vergari, A., Passerini, A.: Not all neuro-symbolic concepts are created equal: analysis and mitigation of reasoning shortcuts. Adv. Neural Inf. Process. Syst. 36 (2024)"},{"key":"5_CR29","first-page":"25192","volume":"34","author":"M Nye","year":"2021","unstructured":"Nye, M., Tessler, M., Tenenbaum, J., Lake, B.M.: Improving coherence and consistency in neural sequence models with dual-system, neuro-symbolic reasoning. Adv. Neural. Inf. Process. Syst. 34, 25192\u201325204 (2021)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"5_CR30","unstructured":"OpenAI, et al.: GPT-4 technical report (2023)"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Pryor, C., Dickens, C., Augustine, E., Albalak, A., Wang, W.Y., Getoor, L.: NeuPSL: neural probabilistic soft logic. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 4145\u20134153. International Joint Conferences on Artificial Intelligence Organization (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/461","DOI":"10.24963\/ijcai.2023\/461"},{"key":"5_CR32","unstructured":"Riegel, R., et al.: Logical neural networks. arXiv preprint arXiv:2006.13155 (2020)"},{"issue":"5","key":"5_CR33","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1007\/s10994-023-06320-1","volume":"112","author":"H Shindo","year":"2023","unstructured":"Shindo, H., Pfanschilling, V., Dhami, D.S., Kersting, K.: $$\\alpha $$ ILP: thinking visual scenes as differentiable logic programs. Mach. Learn. 112(5), 1465\u20131497 (2023)","journal-title":"Mach. Learn."},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Singh, D., Jain, N., Jain, P., Kayal, P., Kumawat, S., Batra, N.: PlantDoc: a dataset for visual plant disease detection. In: Proceedings of the 7th ACM IKDD CoDS and 25th COMAD, pp. 249\u2013253 (2020)","DOI":"10.1145\/3371158.3371196"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Skryagin, A., Ochs, D., Dhami, D.S., Kersting, K.: Scalable neural-probabilistic answer set programming. arXiv preprint arXiv:2306.08397 (2023)","DOI":"10.1613\/jair.1.15027"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Stammer, W., Schramowski, P., Kersting, K.: Right for the right concept: revising neuro-symbolic concepts by interacting with their explanations. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 3619\u20133629 (2021)","DOI":"10.1109\/CVPR46437.2021.00362"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Sur\u00eds, D., Menon, S., Vondrick, C.: ViperGPT: visual inference via python execution for reasoning. arXiv preprint arXiv:2303.08128 (2023)","DOI":"10.1109\/ICCV51070.2023.01092"},{"key":"5_CR38","unstructured":"Wang, R., Zelikman, E., Poesia, G., Pu, Y., Haber, N., Goodman, N.D.: Hypothesis search: inductive reasoning with language models. arXiv preprint arXiv:2309.05660 (2023)"},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"Yang, Z., Ishay, A., Lee, J.: NeurASP: embracing neural networks into answer set programming. In: Bessiere, C. (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20, pp. 1755\u20131762. International Joint Conferences on Artificial Intelligence Organization (2020). https:\/\/doi.org\/10.24963\/ijcai.2020\/243","DOI":"10.24963\/ijcai.2020\/243"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Yang, Z., Ishay, A., Lee, J.: Coupling large language models with logic programming for robust and general reasoning from text. arXiv preprint arXiv:2307.07696 (2023)","DOI":"10.18653\/v1\/2023.findings-acl.321"},{"issue":"6","key":"5_CR41","doi-asserted-by":"publisher","first-page":"1091","DOI":"10.1109\/TPAMI.2007.1078","volume":"29","author":"L Yujian","year":"2007","unstructured":"Yujian, L., Bo, L.: A normalized Levenshtein distance metric. IEEE Trans. Pattern Anal. Mach. Intell. 29(6), 1091\u20131095 (2007)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."}],"container-title":["Lecture Notes in Computer Science","Neural-Symbolic Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71167-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T22:36:55Z","timestamp":1732747015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71167-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711664","9783031711671"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71167-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NeSy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural-Symbolic Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nesy2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/nesy2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}