{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:22:08Z","timestamp":1748146928671,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_13","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"198-213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Typed Meta-interpretive Learning of Logic Programs"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Morel","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Cropper","sequence":"additional","affiliation":[]},{"given":"C.-H. Luke","family":"Ong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/978-3-319-66158-2_44","volume-title":"Principles and Practice of Constraint Programming","author":"A Albarghouthi","year":"2017","unstructured":"Albarghouthi, A., Koutris, P., Naik, M., Smith, C.: Constraint-based synthesis of datalog programs. In: Beck, J.C. (ed.) CP 2017. LNCS, vol. 10416, pp. 689\u2013706. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66158-2_44"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1145\/76359.76371","volume":"36","author":"A Blumer","year":"1989","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D., Warmuth, M.: Learnability and the Vapnik-Chervonenkis dimension. J. ACM 36(4), 929\u2013965 (1989)","journal-title":"J. ACM"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-78469-2_10","volume-title":"Inductive Logic Programming","author":"W Bridewell","year":"2008","unstructured":"Bridewell, W., Todorovski, L.: Learning declarative bias. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS, vol. 4894, pp. 63\u201377. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78469-2_10"},{"key":"13_CR4","unstructured":"Campero, A., Pareja, A., Klinger, T., Tenenbaum, J., Riedel, S.: Logical rule induction and theory learning using neural theorem proving. ArXiv e-prints, September 2018"},{"issue":"1\u20132","key":"13_CR5","first-page":"5","volume":"12","author":"VS Costa","year":"2012","unstructured":"Costa, V.S., Rocha, R., Damas, L.: The YAP Prolog system. TPLP 12(1\u20132), 5\u201334 (2012)","journal-title":"TPLP"},{"key":"13_CR6","unstructured":"Cropper, A.: Efficiently learning efficient programs. Ph.D. thesis. Imperial College London, UK (2017)"},{"key":"13_CR7","unstructured":"Cropper, A., Muggleton, S.H.: Learning efficient logical robot strategies involving composable objects. In: Yang, Q., Wooldridge, M. (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)"},{"key":"13_CR8","unstructured":"Cropper, A., Muggleton, S.H.: Learning higher-order logic programs through abstraction and invention. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9\u201315 July 2016, pp. 1418\u20131424. IJCAI\/AAAI Press (2016)"},{"key":"13_CR9","unstructured":"Cropper, A., Muggleton, S.H.: Metagol system (2016). https:\/\/github.com\/metagol\/metagol"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Cropper, A., Muggleton, S.H.: Learning efficient logic programs. Mach. Learn. 1\u201321 (2018)","DOI":"10.1007\/s10994-018-5712-6"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-99960-9_1","volume-title":"Inductive Logic Programming","author":"A Cropper","year":"2018","unstructured":"Cropper, A., Tourret, S.: Derivation reduction of metarules in meta-interpretive learning. In: Riguzzi, F., Bellodi, E., Zese, R. (eds.) ILP 2018. LNCS, vol. 11105, pp. 1\u201321. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99960-9_1"},{"key":"13_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":"13_CR13","unstructured":"Farquhar, C., Grov, G., Cropper, A., Muggleton, S., Bundy, A.: Typed meta-interpretive learning for proof strategies. In: CEUR Workshop Proceedings, vol. 1636, pp. 17\u201332 (2015)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Frankle, J., Osera, P., Walker, D., Zdancewic, S.: Example-directed synthesis: a type-theoretic interpretation. In: Bod\u00edk, R., Majumdar, R. (ed.) Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, 20\u201322 January 2016, pp. 802\u2013815. ACM (2016)","DOI":"10.1145\/2837614.2837629"},{"issue":"2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"issue":"3\u20134","key":"13_CR16","first-page":"571","volume":"18","author":"T Kaminski","year":"2018","unstructured":"Kaminski, T., Eiter, T., Inoue, K.: Exploiting answer set programming with external sources for meta-interpretive learning. TPLP 18(3\u20134), 571\u2013588 (2018)","journal-title":"TPLP"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-11558-0_22","volume-title":"Logics in Artificial Intelligence","author":"M Law","year":"2014","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 311\u2013325. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11558-0_22"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Lovas, W., Pfenning, F.: Refinement types for logical frameworks and their interpretation as proof irrelevance. Log. Methods Comput. Sci. 6(4) (2010)","DOI":"10.2168\/LMCS-6(4:5)2010"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.J.: A deductive approach to program synthesis. ACM Trans. Program. Lang. Syst. 2(1), 90\u2013121 (1980)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"13_CR20","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 Gener. Comput. 8(4), 295\u2013318 (1991)","journal-title":"New Gener. Comput."},{"issue":"3&4","key":"13_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Gener. Comput. 13(3&4), 245\u2013286 (1995)","journal-title":"New Gener. Comput."},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","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.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94(1), 25\u201349 (2014)","journal-title":"Mach. Learn."},{"issue":"1","key":"13_CR23","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."},{"issue":"3","key":"13_CR24","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A Mycroft","year":"1984","unstructured":"Mycroft, A., O\u2019Keefe, R.A.: A polymorphic type system for Prolog. Artif. Intell. 23(3), 295\u2013307 (1984)","journal-title":"Artif. Intell."},{"key":"13_CR25","unstructured":"Nadathur, G., Miller, D.: An overview of lambda-PROLOG. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, 15\u201319 August 1988, vol. 2, pp. 810\u2013827. MIT Press (1988)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Osera, P., Zdancewic, S.: Type-and-example-directed program synthesis. In: Grove, D., Blackburn, S. (eds.) Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 15\u201317 June 2015, pp. 619\u2013630. ACM (2015)","DOI":"10.1145\/2737924.2738007"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Polikarpova, N., Kuraj, I., Solar-Lezama, A.: Program synthesis from polymorphic refinement types. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, New York, NY, USA, pp. 522\u2013538. ACM (2016)","DOI":"10.1145\/2908080.2908093"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-34106-9_2","volume-title":"Algorithmic Learning Theory","author":"L Raedt","year":"2012","unstructured":"Raedt, L.: Declarative modeling for machine learning and data mining. In: Bshouty, N.H., Stoltz, G., Vayatis, N., Zeugmann, T. (eds.) ALT 2012. LNCS, vol. 7568, pp. 12\u201312. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34106-9_2"},{"issue":"3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O Ray","year":"2009","unstructured":"Ray, O.: Nonmonotonic abductive inductive learning. J. Appl. Log. 7(3), 329\u2013340 (2009)","journal-title":"J. Appl. Log."},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/978-3-540-89982-2_59","volume-title":"Logic Programming","author":"T Schrijvers","year":"2008","unstructured":"Schrijvers, T., Costa, V.S., Wielemaker, J., Demoen, B.: Towards typed Prolog. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 693\u2013697. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89982-2_59"},{"issue":"7","key":"13_CR31","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1007\/s10994-018-5708-2","volume":"107","author":"P Sch\u00fcller","year":"2018","unstructured":"Sch\u00fcller, P., Benz, M.: Best-effort inductive logic programming via fine-grained cost-based hypothesis generation - the inspire system at the inductive logic programming competition. Mach. Learn. 107(7), 1141\u20131169 (2018)","journal-title":"Mach. Learn."},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Si, X., Lee, W., Zhang, R., Albarghouthi, A., Koutris, P., Naik, M.: Syntax-guided synthesis of datalog programs. In: Leavens, G.T., Garcia, A., Pasareanu, C.S. (eds.) Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, 04\u201309 November 2018, pp. 515\u2013527. ACM (2018)","DOI":"10.1145\/3236024.3236034"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-31424-7_44","volume-title":"Computer Aided Verification","author":"R Singh","year":"2012","unstructured":"Singh, R., Gulwani, S.: Synthesizing number transformations from input-output examples. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 634\u2013651. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_44"},{"key":"13_CR34","first-page":"499","volume":"17","author":"Z Somogyi","year":"1995","unstructured":"Somogyi, Z., Henderson, F.J., Conway, T.C.: Mercury, an efficient purely declarative logic programming language. Aust. Comput. Sci. Commun. 17, 499\u2013512 (1995)","journal-title":"Aust. Comput. Sci. Commun."},{"key":"13_CR35","unstructured":"Srinivasan, A.: The ALEPH manual. Machine Learning at the Computing Laboratory, Oxford University (2001)"},{"issue":"1\u20132","key":"13_CR36","first-page":"95","volume":"20","author":"I Stahl","year":"1995","unstructured":"Stahl, I.: The appropriateness of predicate invention as bias shift operation in ILP. Mach. Learn. 20(1\u20132), 95\u2013117 (1995)","journal-title":"Mach. Learn."},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Wang, W.Y., Mazaitis, K., Cohen, W.W.: Structure learning via parameter learning. In: Li, J., Wang, X.S., Garofalakis, M.N., Soboroff, I., Suel, T., Wang, M. (eds.) Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, 3\u20137 November 2014, pp. 1199\u20131208. ACM (2014)","DOI":"10.1145\/2661829.2662022"},{"issue":"1\u20132","key":"13_CR38","first-page":"67","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-Prolog. TPLP 12(1\u20132), 67\u201396 (2012)","journal-title":"TPLP"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,10]],"date-time":"2020-12-10T14:30:18Z","timestamp":1607610618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}