{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T16:18:13Z","timestamp":1774455493729,"version":"3.50.1"},"publisher-location":"Cham","reference-count":46,"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_11","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:58Z","timestamp":1725886978000},"page":"195-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Embed2Rule Scalable Neuro-Symbolic Learning via\u00a0Latent Space Weak-Labelling"],"prefix":"10.1007","author":[{"given":"Yaniv","family":"Aspis","sequence":"first","affiliation":[]},{"given":"Mohammad","family":"Albinhassan","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Aspis, Y., Broda, K., Lobo, J., Russo, A.: Embed2Sym - scalable neuro-symbolic reasoning via clustered embeddings. In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, pp. 421\u2013431, August 2022. https:\/\/doi.org\/10.24963\/kr.2022\/44, https:\/\/doi.org\/10.24963\/kr.2022\/44","DOI":"10.24963\/kr.2022\/44"},{"key":"11_CR2","unstructured":"Augustine, E., Pryor, C., Dickens, C., Pujara, J., Wang, W.Y., Getoor, L.: Visual sudoku puzzle classification: a suite of collective neuro-symbolic tasks. In: d\u2019Avila Garcez, A.S., Jim\u00e9nez-Ruiz, E. (eds.) Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), Cumberland Lodge, Windsor Great Park, UK, September 28-30, 2022. CEUR Workshop Proceedings, vol.\u00a03212, pp. 15\u201329. CEUR-WS.org (2022), https:\/\/ceur-ws.org\/Vol-3212\/paper2.pdf"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Badreddine, S., d\u2019Avila Garcez, A., Serafini, L., Spranger, M.: Logic tensor networks. Artificial Intelligence 303, 103649 (2022). https:\/\/doi.org\/10.1016\/j.artint.2021.103649, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370221002009","DOI":"10.1016\/j.artint.2021.103649"},{"key":"11_CR4","unstructured":"Charalambous, T., Aspis, Y., Russo, A.: Neuralfastlas: Fast logic-based learning from raw data (2023)"},{"issue":"2","key":"11_CR5","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":"11_CR6","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. International Joint Conferences on Artificial Intelligence Organization (8 2023)","DOI":"10.24963\/ijcai.2023\/399"},{"key":"11_CR7","unstructured":"Cunnington, D., Law, M., Lobo, J., Russo, A.: The role of foundation models in neuro-symbolic learning and reasoning (2024). https:\/\/arxiv.org\/abs\/2402.01889"},{"key":"11_CR8","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 (8 2021). https:\/\/doi.org\/10.24963\/ijcai.2021\/254. https:\/\/doi.org\/10.24963\/ijcai.2021\/254, main Track","DOI":"10.24963\/ijcai.2021\/254"},{"key":"11_CR9","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 (8 2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/400. https:\/\/doi.org\/10.24963\/ijcai.2023\/400, main Track","DOI":"10.24963\/ijcai.2023\/400"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Dasaratha, S., Puranam, S.A., Phogat, K.S., Tiyyagura, S.R., Duffy, N.P.: Deeppsl: End-to-end perception and reasoning. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 3606\u20133614. International Joint Conferences on Artificial Intelligence Organization, August 2023. https:\/\/doi.org\/10.24963\/ijcai.2023\/401, https:\/\/doi.org\/10.24963\/ijcai.2023\/401, main Track","DOI":"10.24963\/ijcai.2023\/401"},{"key":"11_CR11","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 (8 2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/402, https:\/\/doi.org\/10.24963\/ijcai.2023\/402, main Track","DOI":"10.24963\/ijcai.2023\/402"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. J. Artif. Intell. Res. 61, 1\u201364 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Deep residual learning for image recognition. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 770\u2013778 (2016)","DOI":"10.1109\/CVPR.2016.90"},{"key":"11_CR14","first-page":"26574","volume":"34","author":"YX Huang","year":"2021","unstructured":"Huang, Y.X., Dai, W.Z., Cai, L.W., Muggleton, S.H., Jiang, Y.: Fast abductive learning by similarity-based consistency optimization. Adv. Neural. Inf. Process. Syst. 34, 26574\u201326584 (2021)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Huang, Y.X., Dai, W.Z., Jiang, Y., Zhou, Z.: Enabling knowledge refinement upon new concepts in abductive learning. In: AAAI Conference on Artificial Intelligence (2023). https:\/\/api.semanticscholar.org\/CorpusID:259731271","DOI":"10.1609\/aaai.v37i7.25959"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Huang, Y.X., Sun, Z., Li, G., Tian, X., Dai, W.Z., Hu, W., Jiang, Y., Zhou, Z.H.: Enabling abductive learning to exploit knowledge graph. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 3839\u20133847. International Joint Conferences on Artificial Intelligence Organization (8 2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/427, https:\/\/doi.org\/10.24963\/ijcai.2023\/427, main Track","DOI":"10.24963\/ijcai.2023\/427"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Karp, R.M.: Reducibility among Combinatorial Problems, pp. 85\u2013103. Springer US, Boston, MA (1972). https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9, https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"11_CR18","unstructured":"Kingma, D.P., Ba, J.: Adam: A method for stochastic optimization (2017)"},{"key":"11_CR19","unstructured":"van Krieken, E., Thanapalasingam, T., Tomczak, J.M., van Harmelen, F., Teije, A.t.: A-nesi: A scalable approximate method for probabilistic neurosymbolic inference. arXiv preprint arXiv:2212.12393 (2022)"},{"issue":"1\u20132","key":"11_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/nav.3800020109","volume":"2","author":"HW Kuhn","year":"1955","unstructured":"Kuhn, H.W.: The hungarian method for the assignment problem. Naval Res. Logistics Quarterly 2(1\u20132), 83\u201397 (1955)","journal-title":"Naval Res. Logistics Quarterly"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1017\/S1471068422000011","volume":"23","author":"M Law","year":"2023","unstructured":"Law, M.: Conflict-driven inductive logic programming. Theory Pract. Logic Program. 23(2), 387\u2013414 (2023)","journal-title":"Theory Pract. Logic Program."},{"key":"11_CR22","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs from noisy examples. arXiv preprint arXiv:1808.08441 (2018)"},{"key":"11_CR23","unstructured":"Law, M., Russo, A., Broda, K.: The ilasp system for inductive learning of answer set programs. https:\/\/arxiv.org\/abs\/2005.00904 (2020)"},{"key":"11_CR24","doi-asserted-by":"publisher","unstructured":"Law, M., Russo, A., Broda, K., Bertino, E.: Scalable non-observational predicate learning in asp. In: Zhou, Z.H. (ed.) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, pp. 1936\u20131943. International Joint Conferences on Artificial Intelligence Organization, August 2021. https:\/\/doi.org\/10.24963\/ijcai.2021\/267, https:\/\/doi.org\/10.24963\/ijcai.2021\/267, main Track","DOI":"10.24963\/ijcai.2021\/267"},{"issue":"11","key":"11_CR25","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","volume":"86","author":"Y LeCun","year":"1998","unstructured":"LeCun, Y., Bottou, L., Bengio, Y., Haffner, P.: Gradient-based learning applied to document recognition. Proc. IEEE 86(11), 2278\u20132324 (1998)","journal-title":"Proc. IEEE"},{"key":"11_CR26","unstructured":"LeCun, Y., Cortes, C., Burges, C.: Mnist handwritten digit database. ATT Labs. http:\/\/yann.lecun.com\/exdb\/mnist2 (2010)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Li, D., Li, J., Le, H., Wang, G., Savarese, S., Hoi, S.C.: LAVIS: a one-stop library for language-vision intelligence. In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations), pp. 31\u201341. Association for Computational Linguistics, Toronto, Canada, July 2023. https:\/\/aclanthology.org\/2023.acl-demo.3","DOI":"10.18653\/v1\/2023.acl-demo.3"},{"key":"11_CR28","unstructured":"Li, J., Li, D., Savarese, S., Hoi, S.: BLIP-2: bootstrapping language-image pre-training with frozen image encoders and large language models. In: ICML (2023)"},{"key":"11_CR29","unstructured":"Li, Z., et al: Neuro-symbolic learning yielding logical constraints. In: Thirty-seventh Conference on Neural Information Processing Systems (2023)"},{"key":"11_CR30","doi-asserted-by":"publisher","unstructured":"Manhaeve, R., Duman\u010di\u0107, S., Kimmig, A., Demeester, T., De Raedt, L.: Neural probabilistic logic programming in deepproblog. Artificial Intelligence 298, 103504 (2021). https:\/\/doi.org\/10.1016\/j.artint.2021.103504, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370221000552","DOI":"10.1016\/j.artint.2021.103504"},{"key":"11_CR31","doi-asserted-by":"publisher","unstructured":"Manhaeve, R., Marra, G., De\u00a0Raedt, L.: Approximate Inference for Neural Probabilistic Logic Programming. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, pp. 475\u2013486, November 2021. https:\/\/doi.org\/10.24963\/kr.2021\/45, https:\/\/doi.org\/10.24963\/kr.2021\/45","DOI":"10.24963\/kr.2021\/45"},{"key":"11_CR32","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. New Generation Comput. 8, 295\u2013318 (1991)","journal-title":"Inductive logic programming. New Generation Comput."},{"issue":"1","key":"11_CR33","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, S.H., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49\u201373 (2015)","journal-title":"Mach. Learn."},{"key":"11_CR34","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, August 2023. https:\/\/doi.org\/10.24963\/ijcai.2023\/461, https:\/\/doi.org\/10.24963\/ijcai.2023\/461, main Track","DOI":"10.24963\/ijcai.2023\/461"},{"key":"11_CR35","unstructured":"Riegel, R., et\u00a0al.: Logical neural networks. arXiv preprint arXiv:2006.13155 (2020)"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Sen, P., de\u00a0Carvalho, B.W., Riegel, R., Gray, A.: Neuro-symbolic inductive logic programming with logical neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a036, pp. 8212\u20138219 (2022)","DOI":"10.1609\/aaai.v36i8.20795"},{"issue":"5","key":"11_CR37","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":"11_CR38","doi-asserted-by":"publisher","unstructured":"Skryagin, A., Ochs, D., Dhami, D.S., Kersting, K.: Scalable neural-probabilistic answer set programming. J. Artif. Int. Res. 78 (dec 2023). https:\/\/doi.org\/10.1613\/jair.1.15027, https:\/\/doi.org\/10.1613\/jair.1.15027","DOI":"10.1613\/jair.1.15027"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Tsamoura, E., Hospedales, T., Michael, L.: Neural-symbolic integration: a compositional perspective. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a035, pp. 5051\u20135060 (2021)","DOI":"10.1609\/aaai.v35i6.16639"},{"key":"11_CR40","unstructured":"Vaswani, A., et al.: Attention is all you need. Advances in neural information processing systems 30 (2017)"},{"key":"11_CR41","unstructured":"Wang, P.W., Donti, P.L., Wilder, B., Kolter, Z.: Satnet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver. In: International Conference on Machine Learning (2019), https:\/\/api.semanticscholar.org\/CorpusID:168170169"},{"key":"11_CR42","doi-asserted-by":"publisher","unstructured":"Winters, T., Marra, G., Manhaeve, R., Raedt, L.D.: Deepstochlog: neural stochastic logic programming. In: Proceedings of the AAAI Conference on Artificial Intelligence 36(9), 10090\u201310100, June 2022. https:\/\/doi.org\/10.1609\/aaai.v36i9.21248, https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/21248","DOI":"10.1609\/aaai.v36i9.21248"},{"key":"11_CR43","unstructured":"Xu, J., Zhang, Z., Friedman, T., Liang, Y., Van\u00a0den Broeck, G.: A semantic loss function for deep learning with symbolic knowledge. In: Dy, J., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a080, pp. 5502\u20135511. PMLR (10\u201315 Jul 2018). https:\/\/proceedings.mlr.press\/v80\/xu18h.html"},{"key":"11_CR44","unstructured":"Yang, Y., Song, L.: Learn to explain efficiently via neural logic inductive learning. In: International Conference on Learning Representations (2020). https:\/\/openreview.net\/forum?id=SJlh8CEYDB"},{"key":"11_CR45","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 (7 2020). https:\/\/doi.org\/10.24963\/ijcai.2020\/243, https:\/\/doi.org\/10.24963\/ijcai.2020\/243, main track","DOI":"10.24963\/ijcai.2020\/243"},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"Yin, S., et al.: A survey on multimodal large language models (2023)","DOI":"10.1093\/nsr\/nwae403"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T22:37:10Z","timestamp":1732747030000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71167-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711664","9783031711671"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71167-1_11","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":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"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"}}]}}