{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T12:04:53Z","timestamp":1785153893620,"version":"3.55.0"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032030276","type":"print"},{"value":"9783032030283","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:00:00Z","timestamp":1758585600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:00:00Z","timestamp":1758585600000},"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-03028-3_6","type":"book-chapter","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T07:59:47Z","timestamp":1758614387000},"page":"97-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Learning and Reasoning Manifesto"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6860-6303","authenticated-orcid":false,"given":"Luc","family":"De Raedt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9595-2471","authenticated-orcid":false,"given":"Fredrik","family":"Heintz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2873-9152","authenticated-orcid":false,"given":"Kristian","family":"Kersting","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5940-9562","authenticated-orcid":false,"given":"Giuseppe","family":"Marra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,23]]},"reference":[{"key":"6_CR1","unstructured":"Nezhurina, M., Cipolina-Kun, L., Cherti, M., Jitsev, J.: Alice in Wonderland: Simple Tasks Showing Complete Reasoning Breakdown in State-of-the-Art Large Language Models. arXiv preprint arXiv:2406.02061 (2024)"},{"key":"6_CR2","unstructured":"Smith, G.: A Man, A Boat, and a Goat \u2014 and a Chatbot! Mind Matters (2024). https:\/\/mindmatters.ai\/2024\/05\/a-man-a-boat-and-a-goat-and-a-chatbot\/"},{"key":"6_CR3","unstructured":"Theorie-blokken.be. https:\/\/www.theorie-blokken.be\/nl\/gratis-proefexamen"},{"key":"6_CR4","unstructured":"Domingos, P.: The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World. Basic Books (2015)"},{"key":"6_CR5","unstructured":"Reason (2024). https:\/\/en.wikipedia.org\/wiki\/Reason"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Davis, E., Marcus, G.: Commonsense reasoning and commonsense knowledge in artificial intelligence. Commun. ACM (2015)","DOI":"10.1145\/2701413"},{"key":"6_CR7","unstructured":"Commonsense knowledge (artificial intelligence) (2024). https:\/\/en.wikipedia.org\/wiki\/Commonsense_knowledge_(artificial_intelligence)"},{"key":"6_CR8","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 4th edn. Pearson (2016)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Geffner, H.: Model-free, model-based, and general intelligence. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (2018)","DOI":"10.24963\/ijcai.2018\/2"},{"key":"6_CR10","unstructured":"Kambhampati, S.: Can LLMs really reason and plan? Commun. ACM (2023)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, H., Li, L.H., Meng, T., Chang, K.W., Van den Broeck, G.: On the paradox of learning to reason from data. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23 (2023)","DOI":"10.24963\/ijcai.2023\/375"},{"key":"6_CR12","unstructured":"Hazra, R., Venturato, G., Martires, P.Z.D., De Raedt, L.: Can Large Language Models Reason? A Characterization via 3-SAT. arXiv preprint arXiv:2408.07215 (2024)"},{"key":"6_CR13","unstructured":"Kahnemann, D.: Thinking, Fast, and Slow. Penguin Books (2012)"},{"issue":"11","key":"6_CR14","doi-asserted-by":"publisher","first-page":"12387","DOI":"10.1007\/s10462-023-10448-w","volume":"56","author":"ADA Garcez","year":"2023","unstructured":"Garcez, A.D.A., Lamb, L.C.: Neurosymbolic AI: the 3rd wave. Artif. Intell. Rev. 56(11), 12387\u201312406 (2023)","journal-title":"Artif. Intell. Rev."},{"key":"6_CR15","unstructured":"Gartner Research. Hype Cycle for Artificial Intelligence (2024). https:\/\/www.gartner.com\/en\/documents\/5505695"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1038\/s41586-023-06747-5","volume":"625","author":"TH Trinh","year":"2024","unstructured":"Trinh, T.H., Wu, Y., Le, Q.V., et al.: Solving olympiad geometry without human demonstrations. Nature 625, 476\u2013482 (2024)","journal-title":"Nature"},{"key":"6_CR17","unstructured":"AI Debate between Yoshua Bengio and Gary Marcus. https:\/\/www.youtube.com\/watch?v=EeqwFjqFvJA"},{"key":"6_CR18","unstructured":"IBM Neuro-Symbolic AI Workshop (2023). https:\/\/ibm.github.io\/neuro-symbolic-ai\/events\/ns-workshop2023\/"},{"key":"6_CR19","unstructured":"Neurosymbolic Artificial Intelligence. IOS Press. https:\/\/journals.sagepub.com\/home\/nai"},{"issue":"9","key":"6_CR20","doi-asserted-by":"publisher","first-page":"3261","DOI":"10.1007\/s10994-023-06322-z","volume":"112","author":"E Giunchiglia","year":"2023","unstructured":"Giunchiglia, E., Stoian, M.C., Khan, S., Cuzzolin, F., Lukasiewicz, T.: ROAD-R: the autonomous driving dataset with logical requirements. Mach. Learn. 112(9), 3261\u20133291 (2023)","journal-title":"Mach. Learn."},{"key":"6_CR21","unstructured":"https:\/\/dtai.cs.kuleuven.be\/projects\/nesy\/roadr.html"},{"key":"6_CR22","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De Raedt, L.: Deepproblog: neural probabilistic logic programming. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"},{"key":"6_CR23","unstructured":"European Commission. Ethics guidelines for trustworthy AI (2019). https:\/\/digital-strategy.ec.europa.eu\/en\/library\/ethics-guidelines-trustworthy-ai"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Hazra, R., Dos Martires, P.Z., De Raedt, L.: Saycanpay: heuristic planning with large language models using learnable domain knowledge. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 18, pp. 20123\u201320133 (2024)","DOI":"10.1609\/aaai.v38i18.29991"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Silver, T., Dan, S., Srinivas, K., Tenenbaum, J.B., Kaelbling, L., Katz, M.: Generalized planning in PDDL domains with pretrained large language models. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 18, pp. 20256\u201320264 (2024)","DOI":"10.1609\/aaai.v38i18.30006"},{"key":"6_CR26","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2023.104062","volume":"328","author":"G Marra","year":"2024","unstructured":"Marra, G., Dumancic, S., Manhaeve, R., De Raedt, L.: From statistical relational to neurosymbolic artificial intelligence: a survey. Artif. Intell. 328, 104062 (2024)","journal-title":"Artif. Intell."},{"key":"6_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103504","volume":"298","author":"R Manhaeve","year":"2021","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De Raedt, L.: Neural probabilistic logic programming in DeepProbLog. Artif. Intell. 298, 103504 (2021)","journal-title":"Artif. Intell."},{"key":"6_CR28","unstructured":"Graph Neural Network (2024). https:\/\/en.wikipedia.org\/wiki\/Graph_neural_network"},{"key":"6_CR29","unstructured":"Jingyi, X., Zhang, Z., Friedman, T., Liang, Y., Van den Broeck, G.: A semantic loss function for deep learning with symbolic knowledge. In: ICML (2018)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Badreddine, S., d\u2019Avila Garcez, A.S., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022)","DOI":"10.1016\/j.artint.2021.103649"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.artint.2015.08.011","volume":"244","author":"M Diligenti","year":"2017","unstructured":"Diligenti, M., Gori, M., Sacc\u00e0, C.: Semantic-based regularization for learning and inference. Artif. Intell. 244, 143\u2013165 (2017)","journal-title":"Artif. Intell."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Manhaeve, R., Marra, G., Demeester, T., Duman\u010di\u0107, S., Kimmig, A., De Raedt, L.: Neuro-symbolic AI = neural + logical + probabilistic AI. Front. Artif. Intell. Appl. (2021)","DOI":"10.3233\/FAIA210354"},{"key":"6_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103602","volume":"302","author":"E van Krieken","year":"2022","unstructured":"van Krieken, E., Acar, E., van Harmelen, F.: Analyzing differentiable fuzzy logic operators. Artif. Intell. 302, 103602 (2022)","journal-title":"Artif. Intell."},{"issue":"4","key":"6_CR34","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/3512715","volume":"65","author":"S Hochreiter","year":"2022","unstructured":"Hochreiter, S.: Toward a broad AI. Commun. ACM 65(4), 56\u201357 (2022)","journal-title":"Commun. ACM"},{"key":"6_CR35","unstructured":"Marconato, E., Teso, S., Passerini, A.: Neuro-symbolic reasoning shortcuts: mitigation strategies and their limitations. arXiv preprint arXiv:2303.12578 (2023)"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Mandi, J., Demirovic, E., Stuckey, P.J., Guns, T.: Smart predict-and-optimize for hard combinatorial optimization problems. In: Proceedings of AAAI (2020)","DOI":"10.1609\/aaai.v34i02.5521"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Lombardi, M., Milano, M., Bartolini, A.: Empirical decision model learning. Art. Intell. (2017)","DOI":"10.1016\/j.artint.2016.01.005"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Prakken, H.: On the problem of making autonomous vehicles conform to traffic law. Art. Intell. Law(2017)","DOI":"10.1007\/s10506-017-9210-0"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Van Baelen, Q., Karsmakers, P.: Constraint guided gradient descent: training with inequality constraints with applications in regression and semantic segmentation. Neurocomputing 556 (2023)","DOI":"10.1016\/j.neucom.2023.126636"},{"issue":"1","key":"6_CR40","first-page":"93","volume":"43","author":"H Kautz","year":"2022","unstructured":"Kautz, H.: The third AI summer: AAAI Robert S. Engelmore memorial lecture. AI Mag. 43(1), 93\u2013104 (2022)","journal-title":"AI Mag."},{"key":"6_CR41","unstructured":"Marra, G.: Bridging symbolic and subsymbolic reasoning with MiniMax Entropy models. PhD. thesis (2020)"},{"key":"6_CR42","unstructured":"De Raedt, L.: ERC AdG DeepLog (2023). https:\/\/wms.cs.kuleuven.be\/cs\/onderzoek\/deeplog"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Wei, J., et al.: Chain of thought prompting elicits reasoning in large language models. In: NeurIPS 2022 (2022)","DOI":"10.52202\/068431-1800"},{"key":"6_CR44","unstructured":"Shindo, H., Delfosse, Q., Dhami, D.S., Kersting, K.: BlendRL: a framework for merging symbolic and neural policy learning. In: Proceedings of the International Conference on Representation Learning (ICLR) (2025)"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Hu, W.C., Dai, W.Z., Jiang, Y., Zhou, Z.H.: Efficient rectification of neuro-symbolic reasoning inconsistencies by abductive reflection. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 16, pp. 17333\u201317341 (2025)","DOI":"10.1609\/aaai.v39i16.33905"}],"container-title":["Lecture Notes in Computer Science","Challenges and Algorithms for Knowledge Discovery from Data"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-03028-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T11:33:24Z","timestamp":1785152004000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-03028-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,23]]},"ISBN":["9783032030276","9783032030283"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-03028-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,23]]},"assertion":[{"value":"23 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}}]}}