{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T21:44:58Z","timestamp":1780091098101,"version":"3.54.0"},"reference-count":118,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T00:00:00Z","timestamp":1636416000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T00:00:00Z","timestamp":1636416000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2022,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises given training examples and background knowledge. As ILP turns 30, we review the last decade of research. We focus on (i) new meta-level search methods, (ii) techniques for learning recursive programs, (iii) new approaches for predicate invention, and (iv) the use of different technologies. We conclude by discussing current limitations of ILP and directions for future research.<\/jats:p>","DOI":"10.1007\/s10994-021-06089-1","type":"journal-article","created":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T22:02:16Z","timestamp":1636495336000},"page":"147-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":47,"title":["Inductive logic programming at 30"],"prefix":"10.1007","volume":"111","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4543-7199","authenticated-orcid":false,"given":"Andrew","family":"Cropper","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastijan","family":"Duman\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"Evans","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen H.","family":"Muggleton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,11,9]]},"reference":[{"issue":"1","key":"6089_CR1","first-page":"3649","volume":"14","author":"J Ahlgren","year":"2013","unstructured":"Ahlgren, J., & Yuen, S. Y. (2013). Efficient program synthesis using constraint satisfaction in inductive logic programming. The Journal of Machine Learning Research, 14(1), 3649\u20133682.","journal-title":"The Journal of Machine Learning Research"},{"key":"6089_CR2","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1007\/s10994-020-05941-0","volume":"110","author":"L Ai","year":"2020","unstructured":"Ai, L., Muggleton, S., Hocquette, C., Gromowski, M., & Schmid, U. (2020). Beneficial and harmful explanatory machine learning. Machine Learning, 110, 695\u2013721.","journal-title":"Machine Learning"},{"key":"6089_CR3","doi-asserted-by":"crossref","unstructured":"Albarghouthi, A., Koutris, P., Naik, M., & Smith, C. (2017). Constraint-based synthesis of datalog programs. In 23rd international conference on principles and practice of constraint programming, CP 2017. Lecture notes in computer science (Vol. 10416, pp. 689\u2013706). Springer.","DOI":"10.1007\/978-3-319-66158-2_44"},{"key":"6089_CR4","doi-asserted-by":"crossref","unstructured":"Antanas, L., Moreno, P., & De Raedt, L. (2015). Relational kernel-based grasping with numerical features. In 25th international conference on inductive logic programming, ILP 2015. Lecture notes in computer science (Vol. 9575, pp. 1\u201314). Springer.","DOI":"10.1007\/978-3-319-40566-7_1"},{"key":"6089_CR5","unstructured":"Bain, M., & Muggleton, S. (1992). Non-monotonic learning. In Inductive logic programming (pp. 145\u2013161). Academic Press."},{"issue":"7","key":"6089_CR6","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.1007\/s10994-018-5709-1","volume":"107","author":"M Bain","year":"2018","unstructured":"Bain, M., & Srinivasan, A. (2018). Identification of biological transition systems using meta-interpreted logic programs. Machine Learning, 107(7), 1171\u20131206.","journal-title":"Machine Learning"},{"key":"6089_CR7","unstructured":"Balog, M., Gaunt, A. L., Brockschmidt, M., Nowozin, S., & Tarlow, D. (2017). Deepcoder: Learning to write programs. In 5th international conference on learning representations, ICLR 2017. OpenReview.net."},{"key":"6089_CR8","doi-asserted-by":"crossref","unstructured":"Bartha, S., & Cheney, J. (2019). Towards meta-interpretive learning of programming language semantics. In 29th international conference on inductive logic programming, ILP 2019. Lecture notes in computer science (Vol. 11770, pp. 16\u201325). Springer.","DOI":"10.1007\/978-3-030-49210-6_2"},{"issue":"2","key":"6089_CR9","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1017\/S1471068413000689","volume":"15","author":"E Bellodi","year":"2015","unstructured":"Bellodi, E., & Riguzzi, F. (2015). Structure learning of probabilistic logic programs by searching the clause space. Theory and Practice of Logic Programming, 15(2), 169\u2013212.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1\u20132","key":"6089_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S0004-3702(98)00034-4","volume":"101","author":"H Blockeel","year":"1998","unstructured":"Blockeel, H., & De Raedt, L. (1998). Top-down induction of first-order logical decision trees. Artificial Intelligence, 101(1\u20132), 285\u2013297.","journal-title":"Artificial Intelligence"},{"issue":"12","key":"6089_CR11","doi-asserted-by":"crossref","first-page":"e29028","DOI":"10.1371\/journal.pone.0029028","volume":"6","author":"DA Bohan","year":"2011","unstructured":"Bohan, D. A., Caron-Lormier, G., Muggleton, S., Raybould, A., & Tamaddoni-Nezhad, A. (2011). Automated discovery of food webs from ecological data using logic-based machine learning. PLoS ONE, 6(12), e29028.","journal-title":"PLoS ONE"},{"issue":"7","key":"6089_CR12","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1016\/j.tree.2017.03.001","volume":"32","author":"DA Bohan","year":"2017","unstructured":"Bohan, D. A., Vacher, C., Tamaddoni-Nezhad, A., Raybould, A., Dumbrell, A. J., & Woodward, G. (2017). Next-generation global biomonitoring: Large-scale, automated reconstruction of ecological networks. Trends in Ecology & Evolution, 32(7), 477\u2013487.","journal-title":"Trends in Ecology & Evolution"},{"key":"6089_CR13","doi-asserted-by":"crossref","unstructured":"Bratko, I. (1999). Refining complete hypotheses in ILP. In 9th international workshop on inductive logic programming, ILP-99. Lecture notes in computer science (Vol. 1634, pp. 44\u201355). Springer.","DOI":"10.1007\/3-540-48751-4_6"},{"key":"6089_CR14","unstructured":"Chollet, F. (2019). On the measure of intelligence. CoRR, arXiv:1911.01547"},{"key":"6089_CR15","doi-asserted-by":"crossref","unstructured":"Corapi, D., Russo, A., & Lupu, E.(2011). Inductive logic programming in answer set programming. In 21st international conference on inductive logic programming, ILP 2011. Lecture notes in computer science (Vol. 7207, pp. 91\u201397). Springer.","DOI":"10.1007\/978-3-642-31951-8_12"},{"key":"6089_CR16","doi-asserted-by":"crossref","unstructured":"Cropper, A. (2019). Playgol: Learning programs through play. In Proceedings of the twenty-eighth international joint conference on artificial intelligence, IJCAI 2019 (pp. 6074\u20136080). ijcai.org.","DOI":"10.24963\/ijcai.2019\/841"},{"key":"6089_CR17","doi-asserted-by":"crossref","unstructured":"Cropper, A. (2020). Forgetting to learn logic programs. In The thirty-fourth AAAI conference on artificial intelligence (pp. 3676\u20133683). AAAI Press.","DOI":"10.1609\/aaai.v34i04.5776"},{"key":"6089_CR18","unstructured":"Cropper, A., & Dumancic, S. (2020a). Inductive logic programming at 30: A new introduction. CoRR, arxiv:org\/abs\/2008.07912"},{"key":"6089_CR19","doi-asserted-by":"crossref","unstructured":"Cropper, A., & Duman\u010di\u0107, S. (2020b). Learning large logic programs by going beyond entailment. In Proceedings of the twenty-ninth international joint conference on artificial intelligence, IJCAI 2020 (pp. 2073\u20132079). ijcai.org.","DOI":"10.24963\/ijcai.2020\/287"},{"issue":"4","key":"6089_CR20","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/s10994-020-05934-z","volume":"110","author":"A Cropper","year":"2021","unstructured":"Cropper, A., & Morel, R. (2021a). Learning programs by learning from failures. Machine Learning, 110(4), 801\u2013856. https:\/\/doi.org\/10.1007\/s10994-020-05934-z.","journal-title":"Machine Learning"},{"key":"6089_CR21","unstructured":"Cropper, A., & Morel, R. (2021b). Predicate invention by learning from failures. CoRR, arxiv:org\/abs\/2104.14426"},{"key":"6089_CR22","unstructured":"Cropper, A., & Muggleton, S. H. (2015). Learning efficient logical robot strategies involving composable objects. In Proceedings of the twenty-fourth international joint conference on artificial intelligence, IJCAI 2015 (pp. 3423\u20133429). AAAI Press."},{"key":"6089_CR23","unstructured":"Cropper, A., & Muggleton, S. H. (2016). Metagol system. https:\/\/github.com\/metagol\/metagol"},{"issue":"7","key":"6089_CR24","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1007\/s10994-018-5712-6","volume":"108","author":"A Cropper","year":"2019","unstructured":"Cropper, A., & Muggleton, S. H. (2019). Learning efficient logic programs. Machine Learning, 108(7), 1063\u20131083.","journal-title":"Machine Learning"},{"issue":"7","key":"6089_CR25","doi-asserted-by":"crossref","first-page":"1323","DOI":"10.1007\/s10994-019-05834-x","volume":"109","author":"A Cropper","year":"2020","unstructured":"Cropper, A., & Tourret, S. (2020). Logical reduction of metarules. Machine Learning, 109(7), 1323\u20131369.","journal-title":"Machine Learning"},{"key":"6089_CR26","doi-asserted-by":"crossref","unstructured":"Cropper, A., Tamaddoni-Nezhad, A., & Muggleton, S. H. (2015). Meta-interpretive learning of data transformation programs. In 25th international conference on inductive logic programming, ILP 2015. Lecture notes in computer science (Vol. 9575, pp 46\u201359). Springer.","DOI":"10.1007\/978-3-319-40566-7_4"},{"key":"6089_CR27","doi-asserted-by":"crossref","unstructured":"Cropper, A., Duman\u010di\u0107, S., & Muggleton, S. H. (2020a). Turning 30: New ideas in inductive logic programming. In Proceedings of the twenty-ninth international joint conference on artificial intelligence, IJCAI 2020 (pp. 4833\u20134839). ijcai.org.","DOI":"10.24963\/ijcai.2020\/673"},{"issue":"7","key":"6089_CR28","doi-asserted-by":"crossref","first-page":"1393","DOI":"10.1007\/s10994-019-05843-w","volume":"109","author":"A Cropper","year":"2020","unstructured":"Cropper, A., Evans, R., & Law, M. (2020b). Inductive general game playing. Machine Learning, 109(7), 1393\u20131434.","journal-title":"Machine Learning"},{"issue":"7","key":"6089_CR29","doi-asserted-by":"crossref","first-page":"1289","DOI":"10.1007\/s10994-019-05862-7","volume":"109","author":"A Cropper","year":"2020","unstructured":"Cropper, A., Morel, R., & Muggleton, S. (2020c). Learning higher-order logic programs. Machine Learning, 109(7), 1289\u20131322.","journal-title":"Machine Learning"},{"key":"6089_CR30","doi-asserted-by":"crossref","unstructured":"Dai, W. Z., & Muggleton, S. H. (2021). Abductive knowledge induction from raw data. In Proceedings of the 35th conference on artificial intelligence (IJCAI 2021), IJCAI (in Press).","DOI":"10.24963\/ijcai.2021\/254"},{"key":"6089_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68856-3","volume-title":"Logical and relational learning. Cognitive technologies","author":"L De Raedt","year":"2008","unstructured":"De Raedt, L. (2008). Logical and relational learning. Cognitive technologies. Springer."},{"key":"6089_CR34","unstructured":"De Raedt, L., Dries, A., Thon, I., den Broeck, G. V., & Verbeke, M. (2015). Inducing probabilistic relational rules from probabilistic examples. In Proceedings of the twenty-fourth international joint conference on artificial intelligence, IJCAI 2015 (pp. 1835\u20131843). AAAI Press."},{"key":"6089_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-78652-8","volume-title":"Probabilistic inductive logic programming","author":"L De Raedt","year":"2008","unstructured":"De Raedt, L., & Kersting, K. (2008). Probabilistic inductive logic programming (pp. 1\u201327). Springer."},{"key":"6089_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01574-8","volume-title":"Statistical relational artificial intelligence: Logic, probability, and computation. Synthesis lectures on artificial intelligence and machine learning","author":"L De Raedt","year":"2016","unstructured":"De Raedt, L., Kersting, K., Natarajan, S., & Poole, D. (2016). Statistical relational artificial intelligence: Logic, probability, and computation. Synthesis lectures on artificial intelligence and machine learning. Morgan & Claypool Publishers."},{"key":"6089_CR33","unstructured":"De Raedt, L., Kimmig, A., & Toivonen, H. (2007). Problog: A probabilistic prolog and its application in link discovery. In IJCAI 2007, Proceedings of the 20th international joint conference on artificial intelligence, Hyderabad, India, January 6\u201312, 2007, pp. 2462\u20132467."},{"key":"6089_CR36","unstructured":"Dong, H., Mao, J., Lin, T., Wang, C., Li, L., & Zhou, D. (2019a). Neural logic machines. In ICLR."},{"key":"6089_CR37","unstructured":"Dong, H., Mao, J., Lin, T., Wang, C., Li, L., & Zhou, D. (2019b). Neural logic machines. In 7th international conference on learning representations, ICLR 2019, New Orleans, LA, USA, May 6\u20139, 2019, OpenReview.net. https:\/\/openreview.net\/forum?id=B1xY-hRctX"},{"key":"6089_CR39","doi-asserted-by":"crossref","unstructured":"Duman\u010di\u0107, S., & Blockeel, H. (2017) . Clustering-based relational unsupervised representation learning with an explicit distributed representation. In Proceedings of the twenty-sixth international joint conference on artificial intelligence, IJCAI 2017 (pp. 1631\u20131637). ijcai.org.","DOI":"10.24963\/ijcai.2017\/226"},{"key":"6089_CR38","unstructured":"Dumancic, S., Guns, T., & Cropper, A. (2020). Knowledge refactoring for inductive program synthesis. In AAAI."},{"key":"6089_CR40","doi-asserted-by":"crossref","unstructured":"Duman\u010di\u0107, S., Guns, T., Meert, W., & Blockeel, H. (2019). Learning relational representations with auto-encoding logic programs. In Proceedings of the twenty-eighth international joint conference on artificial intelligence, IJCAI 2019 (pp. 6081\u20136087). ijcai.org.","DOI":"10.24963\/ijcai.2019\/842"},{"key":"6089_CR41","first-page":"7816","volume":"2018","author":"K Ellis","year":"2018","unstructured":"Ellis, K., Morales, L., Sabl\u00e9-Meyer, M., Solar-Lezama, A., & Tenenbaum, J. (2018). Learning libraries of subroutines for neurally-guided Bayesian program induction. NeurIPS, 2018, 7816\u20137826.","journal-title":"NeurIPS"},{"key":"6089_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., & Grefenstette, E. (2018). Learning explanatory rules from noisy data. Journal of Artificial Intelligence Research, 61, 1\u201364.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6089_CR43","doi-asserted-by":"crossref","first-page":"103438","DOI":"10.1016\/j.artint.2020.103438","volume":"293","author":"R Evans","year":"2021","unstructured":"Evans, R., Hern\u00e1ndez-Orallo, J., Welbl, J., Kohli, P., & Sergot, M. (2021). Making sense of sensory input. Artificial Intelligence, 293, 103438.","journal-title":"Artificial Intelligence"},{"key":"6089_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-016-0412-9","author":"S Ferilli","year":"2016","unstructured":"Ferilli, S. (2016). Predicate invention-based specialization in inductive logic programming. Journal of Intelligent Information Systems. https:\/\/doi.org\/10.1007\/s10844-016-0412-9.","journal-title":"Journal of Intelligent Information Systems"},{"key":"6089_CR45","doi-asserted-by":"crossref","unstructured":"Ferilli, S., Esposito, F., Basile, T. M. A., & Mauro, N. D. (2004). Automatic induction of first-order logic descriptors type domains from observations. In 14th international conference on inductive logic programming, ILP 2004. Lecture notes in computer science (Vol. 3194, pp. 116\u2013131). Springer.","DOI":"10.1007\/978-3-540-30109-7_12"},{"key":"6089_CR46","unstructured":"Garcez, Ad., & Lamb, L. C. (2020). Neurosymbolic ai: The 3rd wave. arXiv preprint arXiv:2012.05876"},{"key":"6089_CR47","volume-title":"Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012a). Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning. Morgan & Claypool Publishers."},{"key":"6089_CR48","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., & Schaub, T. (2012b). Conflict-driven answer set solving: From theory to practice. Artificial Intelligence, 187, 52\u201389.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"6089_CR49","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1609\/aimag.v34i2.2475","volume":"34","author":"MR Genesereth","year":"2013","unstructured":"Genesereth, M. R., & Bj\u00f6rnsson, Y. (2013). The international general game playing competition. AI Magazine, 34(2), 107\u2013111.","journal-title":"AI Magazine"},{"key":"6089_CR50","doi-asserted-by":"crossref","unstructured":"Gulwani, S. (2011). Automating string processing in spreadsheets using input-output examples. In Proceedings of the 38th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL 2011 (pp. 317\u2013330). ACM.","DOI":"10.1145\/1925844.1926423"},{"key":"6089_CR51","doi-asserted-by":"publisher","unstructured":"Heule, M. J. H., Kullmann, O., & Marek, V. W. (2016). Solving and verifying the boolean pythagorean triples problem via cube-and-conquer. In N. Creignou & D. L. Berre (Eds.), 19th international conference on theory and applications of satisfiability testing\u2014SAT 2016, Bordeaux, France, July 5\u20138, 2016, Proceedings. Lecture notes in computer science (Vol. 9710, pp. 228\u2013245). Springer. https:\/\/doi.org\/10.1007\/978-3-319-40970-2_15","DOI":"10.1007\/978-3-319-40970-2_15"},{"key":"6089_CR52","doi-asserted-by":"crossref","unstructured":"Hocquette, C., & Muggleton, S. H. (2020). Complete bottom-up predicate invention in meta-interpretive learning. In Proceedings of the twenty-ninth international joint conference on artificial intelligence, IJCAI 2020 (pp. 2312\u20132318). ijcai.org.","DOI":"10.24963\/ijcai.2020\/320"},{"key":"6089_CR53","doi-asserted-by":"publisher","unstructured":"Huynh, T. N., & Mooney, R. J. (2008). Discriminative structure and parameter learning for Markov logic networks. In Proceedings of the 25th international conference on machine learning (pp. 416\u2013423). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/1390156.1390209","DOI":"10.1145\/1390156.1390209"},{"issue":"1","key":"6089_CR54","first-page":"7","volume":"3","author":"K Inoue","year":"2016","unstructured":"Inoue, K. (2016). Meta-level abduction. FLAP, 3(1), 7\u201336.","journal-title":"FLAP"},{"issue":"2","key":"6089_CR55","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10994-013-5341-z","volume":"91","author":"K Inoue","year":"2013","unstructured":"Inoue, K., Doncescu, A., & Nabeshima, H. (2013). Completing causal networks by meta-level abduction. Machine Learning, 91(2), 239\u2013277.","journal-title":"Machine Learning"},{"issue":"1","key":"6089_CR56","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s10994-013-5353-8","volume":"94","author":"K Inoue","year":"2014","unstructured":"Inoue, K., Ribeiro, T., & Sakama, C. (2014). Learning from interpretation transition. Machine Learning, 94(1), 51\u201379.","journal-title":"Machine Learning"},{"issue":"1","key":"6089_CR57","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1609\/aimag.v33i1.2395","volume":"33","author":"M J\u00e4rvisalo","year":"2012","unstructured":"J\u00e4rvisalo, M., Le Berre, D., Roussel, O., & Simon, L. (2012). The international sat solver competitions. Ai Magazine, 33(1), 89\u201392.","journal-title":"Ai Magazine"},{"issue":"3","key":"6089_CR58","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10994-016-5556-x","volume":"103","author":"R Kaalia","year":"2016","unstructured":"Kaalia, R., Srinivasan, A., Kumar, A., & Ghosh, I. (2016). ILP-assisted de novo drug design. Machine Learning, 103(3), 309\u2013341.","journal-title":"Machine Learning"},{"key":"6089_CR59","unstructured":"Kaiser, L., & Sutskever, I. (2016). Neural gpus learn algorithms. In 4th international conference on learning representations, ICLR 2016."},{"issue":"3\u20134","key":"6089_CR60","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1017\/S1471068418000261","volume":"18","author":"T Kaminski","year":"2018","unstructured":"Kaminski, T., Eiter, T., & Inoue, K. (2018). Exploiting answer set programming with external sources for meta-interpretive learning. Theory and Practice of Logic Programming, 18(3\u20134), 571\u2013588.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2\u20133","key":"6089_CR61","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10994-015-5512-1","volume":"100","author":"N Katzouris","year":"2015","unstructured":"Katzouris, N., Artikis, A., & Paliouras, G. (2015). Incremental learning of event definitions with inductive logic programming. Machine Learning, 100(2\u20133), 555\u2013585.","journal-title":"Machine Learning"},{"issue":"5\u20136","key":"6089_CR62","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1017\/S1471068416000260","volume":"16","author":"N Katzouris","year":"2016","unstructured":"Katzouris, N., Artikis, A., & Paliouras, G. (2016). Online learning of event definitions. Theory and Practice of Logic Programming, 16(5\u20136), 817\u2013833.","journal-title":"Theory and Practice of Logic Programming"},{"key":"6089_CR63","doi-asserted-by":"publisher","unstructured":"Kok, S., & Domingos, P. (2009). Learning Markov logic network structure via hypergraph lifting. In Proceedings of the 26th international conference on machine learning (pp. 505\u2013512). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/1553374.1553440","DOI":"10.1145\/1553374.1553440"},{"key":"6089_CR64","doi-asserted-by":"crossref","unstructured":"Kok, S., & Domingos, P. M. (2007). Statistical predicate invention. In Machine Learning, Proceedings of the twenty-fourth international conference (ICML 2007), ACM international conference proceeding series (Vol. 227, pp. 433\u2013440). ACM.","DOI":"10.1145\/1273496.1273551"},{"key":"6089_CR65","unstructured":"Kramer, S. (1995). Predicate invention: A comprehensive view. Rapport technique OFAI-TR-95-32, Austrian Research Institute for Artificial Intelligence."},{"key":"6089_CR66","doi-asserted-by":"crossref","unstructured":"Kramer, S. (2020). A brief history of learning symbolic higher-level representations from data (and a curious look forward). In Proceedings of the twenty-ninth international joint conference on artificial intelligence, IJCAI 2020 (pp. 4868\u20134876). ijcai.org.","DOI":"10.24963\/ijcai.2020\/678"},{"key":"6089_CR67","unstructured":"Law, M. (2018). Inductive learning of answer set programs. PhD thesis, Imperial College London, UK."},{"key":"6089_CR68","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., & Broda, K.(2014). Inductive learning of answer set programs. In 14th European conference on logics in artificial intelligence, JELIA 2014. Lecture notes in computer science (Vol. 8761, pp. 311\u2013325). Springer.","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"6089_CR69","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/j.artint.2018.03.005","volume":"259","author":"M Law","year":"2018","unstructured":"Law, M., Russo, A., & Broda, K. (2018). The complexity and generality of learning answer set programs. Artificial Intelligence, 259, 110\u2013146.","journal-title":"Artificial Intelligence"},{"key":"6089_CR70","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Bertino, E., Broda, K., & Lobo, J. (2019). Representing and learning grammars in answer set programming. In The thirty-third AAAI conference on artificial intelligence, AAAI 2019 (pp. 2919\u20132928). AAAI Press.","DOI":"10.1609\/aaai.v33i01.33012919"},{"key":"6089_CR71","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Bertino, E., Broda, K., & Lobo, J .(2020a) . Fastlas: Scalable inductive logic programming incorporating domain-specific optimisation criteria. In The thirty-fourth AAAI conference on artificial intelligence, AAAI 2020 (pp. 2877\u20132885). AAAI Press.","DOI":"10.1609\/aaai.v34i03.5678"},{"key":"6089_CR72","volume-title":"The ilasp system for inductive learning of answer set programs","author":"M Law","year":"2020","unstructured":"Law, M., Russo, A., & Broda, K. (2020b). The ilasp system for inductive learning of answer set programs. The Association for Logic Programming Newsletter."},{"key":"6089_CR73","doi-asserted-by":"crossref","unstructured":"Leban, G., Zabkar, J., & Bratko, I. (2008). An experiment in robot discovery with ILP. In 18th international conference inductive logic programming, ILP 2008. Lecture notes in computer science (Vol. 5194, pp. 77\u201390). Springer.","DOI":"10.1007\/978-3-540-85928-4_10"},{"key":"6089_CR74","doi-asserted-by":"crossref","unstructured":"Legras, S., Rouveirol, C., & Ventos, V. (2018) . The game of bridge: A challenge for ILP. In 28th international conference inductive logic programming, ILP 2018. Lecture notes in computer science (Vol. 11105, pp. 72\u201387). Springer.","DOI":"10.1007\/978-3-319-99960-9_5"},{"key":"6089_CR75","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J. B., & Muggleton, S. (2014). Bias reformulation for one-shot function induction. In ECAI 2014\u201421st European Conference on Artificial Intelligence, 18\u201322 August 2014, frontiers in artificial intelligence and applications (Vol. 263, pp. 525\u2013530). IOS Press."},{"key":"6089_CR76","unstructured":"Marcus, G. (2018). Deep learning: A critical appraisal. CoRR, arXiv:1801.00631"},{"key":"6089_CR77","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez, D., Aleny\u00e0, G., Torras, C., Ribeiro, T., & Inoue, K. (2016). Learning relational dynamics of stochastic domains for planning. In Proceedings of the twenty-sixth international conference on automated planning and scheduling, ICAPS 2016 (pp. 235\u2013243). AAAI Press.","DOI":"10.1609\/icaps.v26i1.13746"},{"key":"6089_CR78","unstructured":"McCreath, E., & Sharma, A. (1995). Extraction of meta-knowledge to restrict the hypothesis space for ilp systems. In Eighth Australian joint conference on artificial intelligence, pp. 75\u201382."},{"key":"6089_CR79","unstructured":"Michie, D. (1988). Machine learning in the next five years. In D. H. Sleeman (Ed.), Proceedings of the third European Working Session on Learning, EWSL 1988 (pp. 107\u2013122). Turing Institute, Pitman Publishing."},{"key":"6089_CR80","unstructured":"Muggleton, S. (1987). Duce, an oracle-based approach to constructive induction. In Proceedings of the 10th International joint conference on artificial intelligence (pp. 287\u2013292). Morgan Kaufmann."},{"issue":"4","key":"6089_CR81","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S. (1991). Inductive logic programming. New Generation Computing, 8(4), 295\u2013318.","journal-title":"New Generation Computing"},{"issue":"3&4","key":"6089_CR82","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13(3 & 4), 245\u2013286.","journal-title":"New Generation Computing"},{"key":"6089_CR83","doi-asserted-by":"crossref","unstructured":"Muggleton, S., & Buntine, W. L. (1988). Machine invention of first order predicates by inverting resolution. In Machine Learning, Proceedings of the fifth international conference on machine learning (pp. 339\u2013352). Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"issue":"20","key":"6089_CR84","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., & De Raedt, L. (1994). Inductive logic programming: Theory and methods. The Journal of Logic Programming, 19(20), 629\u2013679.","journal-title":"The Journal of Logic Programming"},{"issue":"1","key":"6089_CR88","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"S Muggleton","year":"2012","unstructured":"Muggleton, S., De Raedt, L., Poole, D., Bratko, I., Flach, P. A., Inoue, K., & Srinivasan, A. (2012). ILP turns 20\u2014Biography and future challenges. Machine Learning, 86(1), 3\u201323.","journal-title":"Machine Learning"},{"issue":"7","key":"6089_CR89","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1007\/s10994-018-5710-8","volume":"107","author":"S Muggleton","year":"2018","unstructured":"Muggleton, S., Dai, W., Sammut, C., Tamaddoni-Nezhad, A., Wen, J., & Zhou, Z. (2018a). Meta-interpretive learning from noisy images. Machine Learning, 107(7), 1097\u20131118.","journal-title":"Machine Learning"},{"key":"6089_CR85","unstructured":"Muggleton, S., & Feng, C. (1990). Efficient induction of logic programs. In First international workshop on algorithmic learning theory, ALT \u201990, pp. 368\u2013381."},{"key":"6089_CR86","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s00354-019-00054-2","volume":"37","author":"S Muggleton","year":"2019","unstructured":"Muggleton, S., & Hocquette, C. (2019). Machine discovery of comprehensible strategies for simple games using meta-interpretive learning. New Generation Computing, 37, 203\u2013217.","journal-title":"New Generation Computing"},{"issue":"1","key":"6089_CR90","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"SH Muggleton","year":"2014","unstructured":"Muggleton, S. H., Lin, D., Pahlavi, N., & Tamaddoni-Nezhad, A. (2014). Meta-interpretive learning: Application to grammatical inference. Machine Learning, 94(1), 25\u201349.","journal-title":"Machine Learning"},{"issue":"1","key":"6089_CR91","doi-asserted-by":"crossref","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. (2015). Meta-interpretive learning of higher-order dyadic Datalog: Predicate invention revisited. Machine Learning, 100(1), 49\u201373.","journal-title":"Machine Learning"},{"key":"6089_CR87","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Paes, A., Costa, V. S., & Zaverucha, G. (2009). Chess revision: Acquiring the rules of chess variants through FOL theory revision from examples. In 19th international conference inductive logic programming, ILP 2009. Lecture notes in computer science (Vol. 5989, pp. 123\u2013130). Springer.","DOI":"10.1007\/978-3-642-13840-9_12"},{"issue":"7","key":"6089_CR92","doi-asserted-by":"crossref","first-page":"1119","DOI":"10.1007\/s10994-018-5707-3","volume":"107","author":"SH Muggleton","year":"2018","unstructured":"Muggleton, S. H., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A., & Besold, T. R. (2018b). Ultra-strong machine learning: Comprehensibility of programs learned with ILP. Machine Learning, 107(7), 1119\u20131140.","journal-title":"Machine Learning"},{"key":"6089_CR93","doi-asserted-by":"crossref","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., & Wolf, R. (1997). Foundations of inductive logic programming. Springer."},{"key":"6089_CR94","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1007\/s10994-020-05945-w","volume":"110","author":"S Patsantzis","year":"2021","unstructured":"Patsantzis, S., & Muggleton, S. (2021). Top program construction and reduction for polynomial time meta-interpretive learning. Machine Learning, 110, 755\u2013778.","journal-title":"Machine Learning"},{"key":"6089_CR95","doi-asserted-by":"crossref","unstructured":"Picado, J., Termehchy, A., Fern, A., & Pathak, S. (2017). Towards automatically setting language bias in relational learning. In Proceedings of the 1st workshop on Data Management for End-to-End Machine Learning, DEEM@SIGMOD 2017 (pp. 3:1\u20133:4). ACM.","DOI":"10.1145\/3076246.3076249"},{"key":"6089_CR96","doi-asserted-by":"publisher","unstructured":"Picado, J., Termehchy, A., Fern, A., Pathak, S., Ilango, P., & Davis, J. (2021). Scalable and usable relational learning with automatic language bias. In G. Li, Z. Li, S. Idreos, & D. Srivastava (Eds.), SIGMOD \u201921: International Conference on Management of Data, Virtual Event, China, June 20\u201325, 2021 (pp. 1440\u20131451). ACM. https:\/\/doi.org\/10.1145\/3448016.3457275","DOI":"10.1145\/3448016.3457275"},{"key":"6089_CR97","unstructured":"Plotkin, G. (1971). Automatic methods of inductive inference. PhD thesis, Edinburgh University."},{"key":"6089_CR98","first-page":"239","volume":"5","author":"JR Quinlan","year":"1990","unstructured":"Quinlan, J. R. (1990). Learning logical definitions from relations. Machine Learning, 5, 239\u2013266.","journal-title":"Machine Learning"},{"issue":"3","key":"6089_CR99","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O Ray","year":"2009","unstructured":"Ray, O. (2009). Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3), 329\u2013340.","journal-title":"Journal of Applied Logic"},{"key":"6089_CR100","unstructured":"Reed, S. E., & de Freitas, N. (2016). Neural programmer-interpreters. In 4th international conference on learning representations, ICLR 2016."},{"key":"6089_CR101","doi-asserted-by":"crossref","unstructured":"Ribeiro, T., & Inoue, K. (2014). Learning prime implicant conditions from interpretation transition. In 24th international conference on inductive logic programming, ILP 2014. Lecture notes in computer science (Vol. 9046, pp. 108\u2013125). Springer.","DOI":"10.1007\/978-3-319-23708-4_8"},{"key":"6089_CR103","doi-asserted-by":"crossref","unstructured":"Ribeiro, T., Folschette, M., Magnin, M., & Inoue, K. (2020). Learning any semantics for dynamical systems represented by logic programs. Working paper or preprint.","DOI":"10.1007\/s10994-021-06105-4"},{"key":"6089_CR102","doi-asserted-by":"crossref","unstructured":"Ribeiro, T., Magnin, M., Inoue, K., & Sakama, C. (2015) Learning multi-valued biological models with delayed influence from time-series observations. In 14th IEEE international conference on machine learning and applications, ICMLA 2015 (pp. 25\u201331). IEEE.","DOI":"10.1109\/ICMLA.2015.19"},{"issue":"1\u20132","key":"6089_CR104","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., & Domingos, P. M. (2006). Markov logic networks. Machine Learning, 62(1\u20132), 107\u2013136. https:\/\/doi.org\/10.1007\/s10994-006-5833-1.","journal-title":"Machine Learning"},{"key":"6089_CR105","unstructured":"Rockt\u00e4schel, T., & Riedel, S. (2017). End-to-end differentiable proving. In Advances in neural information processing systems 30: Annual conference on neural information processing systems 2017, 4\u20139 December 2017, pp. 3788\u20133800."},{"key":"6089_CR106","unstructured":"Sammut, C., Sheh, R., Haber, A., & Wicaksono, H. (2015). The robot engineer. In Late breaking papers of the 25th international conference on inductive logic programming, CEUR Workshop Proceedings (Vol. 1636, pp. 101\u2013106). CEUR-WS.org."},{"key":"6089_CR107","doi-asserted-by":"crossref","unstructured":"Sato, T. (1995). A statistical learning method for logic programs with distribution semantics. In L. Sterling (Ed.), Logic programming, Proceedings of the twelfth international conference on logic programming, Tokyo, Japan, June 13\u201316, 1995 (pp. 715\u2013729). MIT Press.","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"6089_CR108","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T Sato","year":"2001","unstructured":"Sato, T., & Kameya, Y. (2001). Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Research, 15, 391\u2013454. https:\/\/doi.org\/10.1613\/jair.912.","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"7","key":"6089_CR109","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1007\/s10994-018-5708-2","volume":"107","author":"P Sch\u00fcller","year":"2018","unstructured":"Sch\u00fcller, P., & Benz, M. (2018). Best-effort inductive logic programming via fine-grained cost-based hypothesis generation\u2014The inspire system at the inductive logic programming competition. Machine Learning, 107(7), 1141\u20131169.","journal-title":"Machine Learning"},{"key":"6089_CR110","doi-asserted-by":"crossref","unstructured":"Sivaraman, A., Zhang, T., den Broeck, G. V., & Kim, M. (2019). Active inductive logic programming for code search. In Proceedings of the 41st international conference on software engineering, ICSE 2019 (pp. 292\u2013303). IEEE\/ACM.","DOI":"10.1109\/ICSE.2019.00044"},{"key":"6089_CR111","unstructured":"Srinivasan, A. (2001). The ALEPH manual. Machine Learning at the Computing Laboratory, Oxford University."},{"key":"6089_CR112","first-page":"369","volume":"4","author":"A Srinivasan","year":"2003","unstructured":"Srinivasan, A., King, R. D., & Bain, M. (2003). An empirical study of the use of relevance information in inductive logic programming. The Journal of Machine Learning Research, 4, 369\u2013383.","journal-title":"The Journal of Machine Learning Research"},{"issue":"1\u20132","key":"6089_CR113","first-page":"95","volume":"20","author":"I Stahl","year":"1995","unstructured":"Stahl, I. (1995). The appropriateness of predicate invention as bias shift operation in ILP. Machine Learning, 20(1\u20132), 95\u2013117.","journal-title":"Machine Learning"},{"key":"6089_CR114","doi-asserted-by":"crossref","unstructured":"Tamaddoni-Nezhad, A., Bohan, D., Raybould, A., & Muggleton, S.(2014). Towards machine learning of predictive models from ecological data. In 24th international conference on inductive logic programming, ILP 2014. Lecture notes in computer science (Vol. 9046, pp. 154\u2013167). Springer.","DOI":"10.1007\/978-3-319-23708-4_11"},{"key":"6089_CR115","unstructured":"Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A. N., Kaiser, \u0141., & Polosukhin, I. (2017). Attention is all you need. In Advances in neural information processing systems, pp. 5998\u20136008."},{"key":"6089_CR116","doi-asserted-by":"crossref","unstructured":"Wang, W. Y., Mazaitis, K., & Cohen, W. W. (2014). Structure learning via parameter learning. In Proceedings of the 23rd ACM international conference on conference on information and knowledge management, CIKM 2014 (pp. 1199\u20131208). ACM.","DOI":"10.1145\/2661829.2662022"},{"key":"6089_CR117","volume-title":"Algorithms and data structures","author":"N Wirth","year":"1985","unstructured":"Wirth, N. (1985). Algorithms and data structures. Prentice Hall."},{"key":"6089_CR118","unstructured":"Yang, F., Yang, Z., & Cohen, W. W. (2017). Differentiable learning of logical rules for knowledge base reasoning. In NIPS 2017."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-021-06089-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-021-06089-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-021-06089-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T21:16:16Z","timestamp":1726089376000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-021-06089-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,9]]},"references-count":118,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,1]]}},"alternative-id":["6089"],"URL":"https:\/\/doi.org\/10.1007\/s10994-021-06089-1","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,9]]},"assertion":[{"value":"1 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 August 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 September 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 November 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}}]}}