{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T19:11:11Z","timestamp":1763665871191,"version":"3.45.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032090867"},{"type":"electronic","value":"9783032090874"}],"license":[{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"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-09087-4_11","type":"book-chapter","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:30Z","timestamp":1763662890000},"page":"163-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Pre-Training Meta-Rule Selection Policy for\u00a0Visual Generative Abductive Learning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-6163-9635","authenticated-orcid":false,"given":"Yu","family":"Jin","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1670-288X","authenticated-orcid":false,"given":"Jingming","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3701-9309","authenticated-orcid":false,"given":"Zhexu","family":"Luo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3781-1242","authenticated-orcid":false,"given":"Yifei","family":"Peng","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4068-7481","authenticated-orcid":false,"given":"Ziang","family":"Qin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6884-7158","authenticated-orcid":false,"given":"Wang-Zhou","family":"Dai","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8580-1103","authenticated-orcid":false,"given":"Yao-Xiang","family":"Ding","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4243-6112","authenticated-orcid":false,"given":"Kun","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,21]]},"reference":[{"key":"11_CR1","unstructured":"Bahdanau, D., Cho, K., Bengio, Y.: Neural machine translation by jointly learning to align and translate. arXiv preprint arXiv:1409.0473 (2014)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1613\/jair.1.13507","volume":"74","author":"A Cropper","year":"2022","unstructured":"Cropper, A., Duman\u010di\u0107, S.: Inductive logic programming at 30: a new introduction. J. Artif. Intell. Res. 74, 765\u2013850 (2022)","journal-title":"J. Artif. Intell. Res."},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Cropper, A., Muggleton, S.H.: Logical minimisation of meta-rules within meta-interpretive learning. In: Davis, J., Ramon, J. (eds.) Inductive Logic Programming. LNCS, vol. 9046, pp. 62\u201375. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23708-4_5","DOI":"10.1007\/978-3-319-23708-4_5"},{"key":"11_CR4","unstructured":"Cropper, A., Muggleton, S.H.: Metagol system. https:\/\/github.com\/metagol\/metagol (2016). https:\/\/github.com\/metagol\/metagol"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1007\/s10994-019-05834-x","volume":"109","author":"A Cropper","year":"2020","unstructured":"Cropper, A., Tourret, S.: Logical reduction of metarules. Mach. Learn. 109, 1323\u20131369 (2020)","journal-title":"Mach. Learn."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Dai, W.Z., Muggleton, S.H.: Abductive knowledge induction from raw data. arXiv preprint arXiv:2010.03514 (2020)","DOI":"10.24963\/ijcai.2021\/254"},{"key":"11_CR7","unstructured":"Dai, W.Z., Xu, Q., Yu, Y., Zhou, Z.H.: Bridging machine learning and logical reasoning by abductive learning. In: Proceedings of the 33rd International Conference on Neural Information Processing Systems (2019)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1022664419589","volume":"8","author":"L De Raedt","year":"1992","unstructured":"De Raedt, L., Bruynooghe, M.: Interactive concept-learning and constructive induction by analogy. Mach. Learn. 8, 107\u2013150 (1992)","journal-title":"Mach. Learn."},{"key":"11_CR9","unstructured":"Emde, W., Habel, C., Rollinger, C.R.: The discovery of the equator or concept driven learning. In: IJCAI, pp. 455\u2013458 (1983)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-30109-7_12","volume-title":"Inductive Logic Programming","author":"S Ferilli","year":"2004","unstructured":"Ferilli, S., Esposito, F., Basile, T.M.A., Di Mauro, N.: Automatic induction of first-order logic descriptors type domains from observations. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol. 3194, pp. 116\u2013131. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30109-7_12"},{"key":"11_CR11","unstructured":"Hsu, J., Mao, J., Tenenbaum, J., Wu, J.: What\u2019s left? Concept grounding with logic-enhanced foundation models. Adv. Neural Inf. Process. Syst. 36 (2024)"},{"key":"11_CR12","unstructured":"Kietz, J.U., Wrobel, S.: Controlling the complexity of learning in logic through syntactic and task-oriented models. Inductive Logic Programming (1992)"},{"key":"11_CR13","unstructured":"Kingma, D.P., Ba, J.: Adam: a method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)"},{"key":"11_CR14","unstructured":"LeCun, Y., Cortes, C., Burges, C.: Mnist handwritten digit database. ATT Labs. http:\/\/yann.lecun.com\/exdb\/mnist$$\\textbf{2}$$ (2010)"},{"key":"11_CR15","unstructured":"Manhaeve, R., Duman\u010di\u0107, S., Kimmig, A., Demeester, T., Raedt, L.D.: Deepproblog: neural probabilistic logic programming (2018)"},{"key":"11_CR16","unstructured":"McCreath, E., Sharma, A.: Extraction of meta-knowledge to restrict the hypothesis space for ilp systems. In: AI-CONFERENCE, pp. 75\u201382. Citeseer (1995)"},{"key":"11_CR17","unstructured":"Misino, E., Marra, G., Sansone, E.: Vael: bridging variational autoencoders and probabilistic logic programming (2022)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-61252-2_1","volume-title":"Rules and Reasoning","author":"SH Muggleton","year":"2017","unstructured":"Muggleton, S.H.: Meta-interpretive learning: achievements and challenges (Invited Paper). In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds.) RuleML+RR 2017. LNCS, vol. 10364, pp. 1\u20136. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61252-2_1"},{"key":"11_CR19","unstructured":"Paszke, A., et\u00a0al.: Pytorch: an imperative style, high-performance deep learning library. Adv. Neural Inf. Process. Syst. 32 (2019)"},{"key":"11_CR20","unstructured":"Peng, Y., et al.: Generating by understanding: neural visual generation with logical symbol groundings. arXiv preprint arXiv:2310.17451 (2023)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Picado, J., Termehchy, A., Fern, A., Pathak, S.: Towards automatically setting language bias in relational learning. In: Proceedings of the 1st Workshop on Data Management for End-to-End Machine Learning, pp.\u00a01\u20134 (2017)","DOI":"10.1145\/3076246.3076249"},{"key":"11_CR22","unstructured":"Ramesh, A., et al.: Zero-shot text-to-image generation. In: International Conference on Machine Learning, pp. 8821\u20138831. PMLR (2021)"},{"key":"11_CR23","unstructured":"Ramsauer, H., et\u00a0al.: Hopfield networks is all you need. arXiv preprint arXiv:2008.02217 (2020)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Rombach, R., Blattmann, A., Lorenz, D., Esser, P., Ommer, B.: High-resolution image synthesis with latent diffusion models. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 10684\u201310695 (2022)","DOI":"10.1109\/CVPR52688.2022.01042"},{"key":"11_CR25","first-page":"36479","volume":"35","author":"C Saharia","year":"2022","unstructured":"Saharia, C., et al.: Photorealistic text-to-image diffusion models with deep language understanding. Adv. Neural Inf. Process. Syst. 35, 36479\u201336494 (2022)","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"11_CR26","unstructured":"Schulman, J., Wolski, F., Dhariwal, P., Radford, A., Klimov, O.: Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347 (2017)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-030-19570-0_17","volume-title":"Logics in Artificial Intelligence","author":"S Tourret","year":"2019","unstructured":"Tourret, S., Cropper, A.: SLD-resolution reduction of second-order horn fragments. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 259\u2013276. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_17"},{"key":"11_CR28","unstructured":"Van Den\u00a0Oord, A., Vinyals, O., Kavukcuoglu, K.: Neural discrete representation learning. Adv. Neural Inf. Process. Syst. 30 (2017)"},{"key":"11_CR29","unstructured":"Wielemaker, J.: An overview of the swi-prolog programming environment. In: Proceedings of the 13th International Workshop on LP Environments (2003)"},{"key":"11_CR30","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)"},{"issue":"7","key":"11_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-018-9801-4","volume":"62","author":"Z-H Zhou","year":"2019","unstructured":"Zhou, Z.-H.: Abductive learning: towards bridging machine learning and logical reasoning. SCIENCE CHINA Inf. Sci. 62(7), 1\u20133 (2019). https:\/\/doi.org\/10.1007\/s11432-018-9801-4","journal-title":"SCIENCE CHINA Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09087-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T19:03:35Z","timestamp":1763665415000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09087-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,21]]},"ISBN":["9783032090867","9783032090874"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09087-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,21]]},"assertion":[{"value":"21 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ILP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanjing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"20 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ilp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.lamda.nju.edu.cn\/ijclr24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}