{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:33:50Z","timestamp":1763663630459,"version":"3.45.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032090867","type":"print"},{"value":"9783032090874","type":"electronic"}],"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_3","type":"book-chapter","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:29Z","timestamp":1763662889000},"page":"35-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Meta-Interpretive Learning as\u00a0Second Order Resolution"],"prefix":"10.1007","author":[{"given":"James","family":"Trewern","sequence":"first","affiliation":[]},{"given":"Stassa","family":"Patsantzis","sequence":"additional","affiliation":[]},{"given":"Alireza","family":"Tamaddoni-Nezhad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,21]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. J. ACM 43(1), 20\u201374 (1996). https:\/\/doi.org\/10.1145\/227595.227597","journal-title":"J. ACM"},{"key":"3_CR2","unstructured":"Cropper, A., Muggleton, S.: Learning higher-order logic programs through abstraction and invention. In: Proceedings of the 25th International Joint Conference Artificial Intelligence (IJCAI 2016), pp. 1418\u20131424. IJCAI (2016). http:\/\/www.doc.ic.ac.uk\/~shm\/Papers\/metafunc.pdf"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Cropper, A.: Playgol: learning programs through play. CoRR arxiv:1904.08993 (2019)","DOI":"10.24963\/ijcai.2019\/841"},{"key":"3_CR4","unstructured":"Cropper, A., Muggleton, S.H.: Learning efficient logical robot strategies involving composable objects. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 3423\u20133429. AAAI Press (2015). http:\/\/ijcai.org\/Abstract\/15\/482"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Flener, P., Yilmaz, S.: Inductive synthesis of recursive logic programs: achievements and prospects. J. Logic Program. 41(2), 141\u2013195 (1999). https:\/\/doi.org\/10.1016\/S0743-1066(99)00028-X. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S074310669900028X","DOI":"10.1016\/S0743-1066(99)00028-X"},{"key":"3_CR6","unstructured":"Hassan, A.K.: Warren\u2019s abstract machine: a tutorial reconstruction (1991)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-99960-9_3","volume-title":"Inductive Logic Programming","author":"C Hocquette","year":"2018","unstructured":"Hocquette, C., Muggleton, S.: How much can experimental cost be\u00a0reduced in active learning of agent strategies? In: Riguzzi, F., Bellodi, E., Zese, R. (eds.) ILP 2018. LNCS (LNAI), vol. 11105, pp. 38\u201353. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99960-9_3"},{"key":"3_CR8","unstructured":"Kowalski, R.A.: Predicate logic as programming language. In: IFIP Congress (1974). https:\/\/api.semanticscholar.org\/CorpusID:10850205"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J., Muggleton, S., Dwight, M.: Bias reformulation for one-shot function induction. In: Proceedings of the 23rd European Conference on Artificial Intelligence, pp. 525\u2013530 (2014). https:\/\/doi.org\/10.3233\/978-1-61499-419-0-525","DOI":"10.3233\/978-1-61499-419-0-525"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Symbolic Computation. Springer Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-642-83189-8","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"7","key":"3_CR11","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1007\/s10994-018-5710-8","volume":"107","author":"S Muggleton","year":"2018","unstructured":"Muggleton, S., Dai, W.-Z., Sammut, C., Tamaddoni-Nezhad, A., Wen, J., Zhou, Z.-H.: Meta-interpretive learning from noisy images. Mach. Learn. 107(7), 1097\u20131118 (2018). https:\/\/doi.org\/10.1007\/s10994-018-5710-8","journal-title":"Mach. Learn."},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"S Muggleton","year":"2015","unstructured":"Muggleton, S., Lin, D.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49\u201373 (2015)","journal-title":"Mach. Learn."},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19\u201320","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., de Raedt, L.: Inductive logic programming: theory and methods. J. Logic Program. 19\u201320(1), 629\u2013679 (1994). https:\/\/doi.org\/10.1016\/0743-1066(94)90035-3","journal-title":"J. Logic Program."},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"SH Muggleton","year":"2013","unstructured":"Muggleton, S.H., Lin, D., Pahlavi, N., Tamaddoni-Nezhad, A.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94(1), 25\u201349 (2013). https:\/\/doi.org\/10.1007\/s10994-013-5358-3","journal-title":"Mach. Learn."},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic programming","author":"SH Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.H., de Wolf, R.: Foundations of Inductive Logic programming. Springer, Berlin (1997)"},{"key":"3_CR16","unstructured":"Patsantzis, S., Muggleton, S.H.: Louise system (2019). https:\/\/github.com\/stassa\/louise"},{"key":"3_CR17","unstructured":"Patsantzis, S., Muggleton, S.H.: Meta-interpretive learning as metarule specialisation. CoRR arxiv:2106.07464 (2021)"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/s10994-020-05945-w","volume":"110","author":"S Patsantzis","year":"2021","unstructured":"Patsantzis, S., Muggleton, S.H.: Top program construction and reduction for polynomial time meta-interpretive learning. Mach. Learn. 110(4), 755\u2013778 (2021)","journal-title":"Mach. Learn."},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23\u201341 (1965). https:\/\/doi.org\/10.1145\/321250.321253","journal-title":"J. ACM"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 20(3), 586\u2013634 (1998)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Smith, D.A.: Multilog and data or-parallelism. J. Logic Program. 29(1), 195\u2013244 (1996) https:\/\/doi.org\/10.1016\/S0743-1066(96)00067-2. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0743106696000672","DOI":"10.1016\/S0743-1066(96)00067-2"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-58216-9_43","volume-title":"Logic Programming and Automated Reasoning","author":"DA Smith","year":"1994","unstructured":"Smith, D.A., Hickey, T.J.: Multi-SLD resolution. In: Pfenning, F. (ed.) LPAR 1994. LNCS, vol. 822, pp. 260\u2013274. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58216-9_43"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-56602-3_144","volume-title":"Machine Learning: ECML-93","author":"I Stahl","year":"1993","unstructured":"Stahl, I.: Predicate invention in ILP\u2014an overview. In: Brazdil, P.B. (ed.) ECML 1993. LNCS, vol. 667, pp. 311\u2013322. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56602-3_144"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: OLD resolution with tabulation. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol. 225, pp. 84\u201398. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/3-540-16492-8_66"},{"key":"3_CR25","unstructured":"Triska, M.: The power of Prolog (2005). https:\/\/www.metalevel.at\/prolog"},{"issue":"1\u20132","key":"3_CR26","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. Theory Pract. Logic Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Theory Pract. Logic Program."}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:31Z","timestamp":1763662891000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09087-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,21]]},"ISBN":["9783032090867","9783032090874"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09087-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"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"}}]}}