{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:53:54Z","timestamp":1760043234445,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319237077"},{"type":"electronic","value":"9783319237084"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23708-4_5","type":"book-chapter","created":{"date-parts":[[2015,12,26]],"date-time":"2015-12-26T08:08:52Z","timestamp":1451117332000},"page":"62-75","source":"Crossref","is-referenced-by-count":17,"title":["Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Cropper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen H.","family":"Muggleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Muggleton, S.H., Fidjeland, A., Luk, W.: Scalable acceleration of inductive logic programs. In IEEE international conference on field-programmable technology, pp. 252\u2013259. IEEE (2002)","DOI":"10.1109\/FPT.2002.1188689"},{"issue":"1","key":"5_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.924","volume":"16","author":"H Blockeel","year":"2002","unstructured":"Blockeel, H., Dehaspe, L., Demoen, B., Janssens, G., Ramon, J., Vandecasteele, H.: Improving the efficiency of inductive logic programming through the use of query packs. J. Artif. Intell. Res. 16(1), 135\u2013166 (2002)","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"5_CR3","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.K.: Learnability and the Vapnik-Chervonenkis dimension. J. ACM 36(4), 929\u2013965 (1989)","journal-title":"J. ACM"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Carlson, A., Betteridge, J., Kisiel, B., Settles, B., Hruschka Jr., E.R., Mitchell, T.M.: Toward an architecture for never-ending language learning. In: Proceedings of the Twenty-Fourth Conference on Artificial Intelligence (AAAI 2010) (2010)","DOI":"10.1609\/aaai.v24i1.7519"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0004-3702(94)90070-1","volume":"68","author":"W Cohen","year":"1994","unstructured":"Cohen, W.: Grammatically biased learning: learning logic programs using an explicit antecedent description language. Artif. Intell. 68, 303\u2013366 (1994)","journal-title":"Artif. Intell."},{"key":"5_CR6","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 De","year":"2012","unstructured":"De 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)"},{"key":"5_CR7","first-page":"1","volume":"40","author":"GE Hinton","year":"1986","unstructured":"Hinton, G.E.: Learning distributed representations of concepts. Artif. Intell. 40, 1\u201312 (1986)","journal-title":"Artif. Intell."},{"key":"5_CR8","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J.B., Muggleton, S.H.: Bias reformulation for one-shot function induction. In: Proceedings of the 23rd European Conference on Artificial Intelligence (ECAI 2014), pp. 525\u2013530. IOS Press, Amsterdam (2014)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"SH Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse entailment and progol. New Gener. Comput. 13, 245\u2013286 (1995)","journal-title":"New Gener. Comput."},{"key":"5_CR10","unstructured":"S.H. Muggleton and D. Lin. Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited. In: Proceedings of the 23rd International Joint Conference Artificial Intelligence (IJCAI 2013), pp. 1551\u20131557 (2013)"},{"key":"5_CR11","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, 25\u201349 (2014)","journal-title":"Mach. Learn."},{"issue":"1","key":"5_CR12","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":"5_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S-H Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS (LNAI), vol. 1228. Springer, Heidelberg (1997)"},{"key":"5_CR14","unstructured":"G.D. Plotkin. Automatic methods of inductive inference. PhD thesis, Edinburgh University, August 1971"},{"key":"5_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"EY Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge (1983)"},{"key":"5_CR16","unstructured":"A. Srinivasan. A study of two probabilistic methods for searching large spaces with ilp. Technical report PRG-TR-16-00, Oxford University Computing Laboratory, Oxford (2000)"},{"key":"5_CR17","unstructured":"Srinivasan, A.: The ALEPH manual, Machine Learning at the Computing Laboratory. Oxford University (2001)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23708-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T23:02:47Z","timestamp":1748732567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23708-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319237077","9783319237084"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23708-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}