{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T14:40:05Z","timestamp":1748961605109,"version":"3.41.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,5,16]],"date-time":"2016-05-16T00:00:00Z","timestamp":1463356800000},"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":["J Intell Inf Syst"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10844-016-0412-9","type":"journal-article","created":{"date-parts":[[2016,5,16]],"date-time":"2016-05-16T02:41:32Z","timestamp":1463366492000},"page":"33-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Predicate invention-based specialization in Inductive Logic Programming"],"prefix":"10.1007","volume":"47","author":[{"given":"Stefano","family":"Ferilli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,16]]},"reference":[{"key":"412_CR1","unstructured":"Bain, M, Muggleton S (1992) Non-monotonic learning. Inductive Logic Programming, pages 145\u2013161. Academic Press."},{"key":"412_CR2","unstructured":"Bergadano, F, Gunetti D, Nicosia M, Ruffo G (1995) Learning logic programs with negation as failure. L. De Raedt, editor Proceedings of ILP-95, 33\u201351."},{"key":"412_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic programming and databases","author":"S Ceri","year":"1990","unstructured":"Ceri, S, Gottlob G, Tanca L (1990) Logic programming and databases. Springer-verlag, heidelberg Germany."},{"key":"412_CR4","doi-asserted-by":"crossref","unstructured":"Clark, KL (1978) Negation as failure. H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"412_CR5","unstructured":"Esposito, F, Fanizzi N, Ferilli S, Semeraro G (2001a) A generalization model based on oi-implication for ideal theory refinement. Fundamenta Informaticae 47 (1-2): 15\u201333."},{"key":"412_CR6","unstructured":"Esposito, F, Fanizzi N, Ferilli S, Semeraro G (2001b) OI-implication, Soundness and refutation completeness. Inproceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), pages 847\u2013852 Morgan Kaufmann."},{"key":"412_CR7","doi-asserted-by":"crossref","unstructured":"Esposito, F, Laterza A, Malerba D, Semeraro G (1996) Locally finite, proper and complete operators for refining datalog programs. Z. W. Ra\u015b and M. Michalewicz, editors, Foundations of Intelligent Systems, number 1079 in Lecture Notes in Artificial Intelligence, pages 468\u2013478.. Springer.","DOI":"10.1007\/3-540-61286-6_171"},{"issue":"1\/2","key":"412_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"38","author":"F Esposito","year":"2000","unstructured":"Esposito, F., Semeraro G., Fanizzi N., revision S. Ferilli. (2000) Multistrategy theory Induction and abduction in inthelex. Machine Learning Journal 38 (1\/2): 133\u2013156.","journal-title":"Machine Learning Journal"},{"key":"412_CR9","unstructured":"Fanizzi, N, Ferilli S, Semeraro G, Esposito F (2001) On the decidability of OI-implication. proceedings of the Work in Progress Track of the 11th International Conference on Inductive Logic Programming (ILP-2001)\u2013 Research report, 27\u201337."},{"key":"412_CR10","unstructured":"Ferilli, S (2014) Toward an improved downward refinement operator for inductive logic programming. Atti del 11th Italian Convention on Computational Logic (CILC-2014), volume 1195 of Central Europe (CEUR) Workshop Proceedings, 99\u2013113."},{"key":"412_CR11","doi-asserted-by":"crossref","unstructured":"Ferilli, S, Fatiguso G (2015) An approach to predicate invention based on statistical relational model. AI*IA Advances in Artificial Intelligence, volume 9336 of Lecture Notes in Artificial Intelligence, pages 274\u2013287, 2015.","DOI":"10.1007\/978-3-319-24309-2_21"},{"key":"412_CR12","doi-asserted-by":"crossref","unstructured":"Ferilli, S, Pazienza A, Esposito F (2015) Empowered negative specialization in inductive logic programming. AI*IA Advances in Artificial Intelligence, volume 9336 of Lecture Notes in Artificial Intelligence, pages 288\u2013300, 2015.","DOI":"10.1007\/978-3-319-24309-2_22"},{"key":"412_CR13","volume-title":"Generalization of Clauses. PhD thesis, Stockholm University and Royal Institute of Technology","author":"P Idestam-Almquist","year":"1993","unstructured":"Idestam-Almquist, P (1993) Generalization of Clauses. PhD thesis, Stockholm University and Royal Institute of Technology. Kista, Sweden."},{"key":"412_CR14","unstructured":"Inoue, K, Kudoh Y (1997) Learning extended logic programs. proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), volume 1, pages 176\u2013181 Morgan Kaufmann."},{"key":"412_CR15","doi-asserted-by":"crossref","unstructured":"Kok, S, Domingos P (2007) Statistical predicate invention. Zoubin Ghahramani, editor, ICML, volume 227 of ACM International Conference Proceeding Series, pages 433\u2013440. ACM.","DOI":"10.1145\/1273496.1273551"},{"key":"412_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, JW (1987) Foundations of logic programming. Springer-Verlag, Berlin. second edition."},{"key":"412_CR17","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 (ILP). J Log Program 19: 629\u2013679.","journal-title":"J Log Program"},{"issue":"1","key":"412_CR18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, SH, Lin D, Tamaddoni-Nezhad A (2015) Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach Learn 100 (1): 49\u201373.","journal-title":"Mach Learn"},{"key":"412_CR19","unstructured":"N\u00e9dellec, C, Rouveirol C, Ad\u00e9 H, Bergadano F, Tausend B (1996) Declarative bias in ILP. L. de Raedt, editor, Advances in Inductive Logic Programming, pages 82\u2013103. IOS Press, Amsterdam, NL."},{"key":"412_CR20","doi-asserted-by":"crossref","unstructured":"Nienhuys-cheng, S-H, de Wolf R (1997) Foundations of Inductive Logic Programming, volume 1228 of Lecture Notes in Artificial Intelligence Springer.","DOI":"10.1007\/3-540-62927-0"},{"key":"412_CR21","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R Reiter","year":"1980","unstructured":"Reiter, R (1980) Equality and domain closure in first order databases. J ACM 27: 235\u2013249.","journal-title":"J ACM"},{"key":"412_CR22","first-page":"135","volume":"5","author":"JC Reynolds","year":"1970","unstructured":"Reynolds, JC (1970) Transformational systems and the algebraic structure of atomic formulas. Mach Intell 5: 135\u2013151.","journal-title":"Mach Intell"},{"issue":"2","key":"412_CR23","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1022678217288","volume":"14","author":"C Rouveirol","year":"1994","unstructured":"Rouveirol, C (1994) Flattening and saturation: Two representation changes for generalization. Mach Learn 14 (2): 219\u2013232.","journal-title":"Mach Learn"},{"key":"412_CR24","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0304-3975(88)90146-6","volume":"59","author":"M Schmidt-Schauss","year":"1988","unstructured":"Schmidt-Schauss, M (1988) Implication of clauses is undecidable. Theor Comput Sci 59: 287\u2013296.","journal-title":"Theor Comput Sci"},{"key":"412_CR25","doi-asserted-by":"crossref","unstructured":"Semeraro, G, Esposito F, Malerba D, Fanizzi N, Ferilli S (1998) A logic framework for the incremental inductive synthesis of datalog theories. N. E. Fuchs, editor, Logic Program Synthesis and Transformation, number 1463 in Lecture Notes in Computer Science, pages 300\u2013321. Springer-Verlag.","DOI":"10.1007\/3-540-49674-2_16"},{"key":"412_CR26","unstructured":"Shapiro, EY (1981) Inductive inference of theories from facts. Technical Report Research Report 192 Yale University."},{"key":"412_CR27","doi-asserted-by":"crossref","unstructured":"Shapiro, EY (1983) Algorithmic program debugging MIT Press.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"412_CR28","unstructured":"Siekmann, JH (1990). R. B. Banerji, editor, Formal Techniques in Artificial Intelligence - A Sourcebook, pages 460\u2013464. Elsevier Science Publisher."},{"key":"412_CR29","volume-title":"Machine intelligence, 13. chapter The Justification of Logical Theories Based on Data Compression, pages 87\u2013121","author":"A Srinivasan","year":"1995","unstructured":"Srinivasan, A, Muggleton S, Bain M (1995) Machine intelligence, 13. chapter The Justification of Logical Theories Based on Data Compression, pages 87\u2013121. Oxford University Press, Inc, New York, USA."},{"key":"412_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2317-5","volume-title":"Concept formation and knowledge revision","author":"S Wrobel","year":"1994","unstructured":"Wrobel, S (1994) Concept formation and knowledge revision. Kluwer Academic Publishers, Dordrecht Boston London."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-016-0412-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10844-016-0412-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-016-0412-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T14:20:58Z","timestamp":1748960458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10844-016-0412-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,16]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["412"],"URL":"https:\/\/doi.org\/10.1007\/s10844-016-0412-9","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[2016,5,16]]}}}