{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:05:35Z","timestamp":1725483935285},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677956"},{"type":"electronic","value":"9783540449607"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44960-4_6","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T12:59:31Z","timestamp":1178197171000},"page":"93-111","source":"Crossref","is-referenced-by-count":5,"title":["Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions"],"prefix":"10.1007","author":[{"given":"Floriana","family":"Esposito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donato","family":"Malerba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca A.","family":"Lisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Aha, D.W., Lapointe, S., Ling, C.X., Matwin, S.: Learning recursive relations with randomly selected small training sets. Proc. 11th Int. Conf. on Machine Learning, (1994) 12\u201318","DOI":"10.1016\/B978-1-55860-335-6.50010-6"},{"key":"6_CR2","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Logic programming. In:van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Vol. B. Elsevier, Amsterdam (1990) 493\u2013574"},{"key":"6_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-59286-5_51","volume-title":"Machine Learning ECML-95","author":"H. Bostr\u00f6m","year":"1995","unstructured":"Bostr\u00f6m, H.: Specialization of recursive predicates. In Lavrac, N., Wrobel, S. (eds.): Machine Learning ECML-95. Lecture Notes in Artificial Intelligence, Vol. 912. Springer-Verlag, Berlin(1995) 92\u2013106"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"Buntine, W.: Generalised subsumption and its applications to induction and redundancy. Artificial Intelligence, Vol. 36 (1988) 149\u2013176","journal-title":"Artificial Intelligence"},{"key":"6_CR5","unstructured":"Cameron-Jones, R.M., Quinlan, J.R.: Avoiding pitfalls when learning recursive theories. Proc. 12th Int. Joint Conf. on Artificial Intelligence, (1993) 1050\u20131055"},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering 1(1) (1989) 146\u2013166","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"6_CR7","unstructured":"Cohen, W. W.: Learnability of restricted logic programs. In: Muggleton, S. (ed.): Proc. 3rd Int. Workshop on Inductive Logic Programming, (1993) 41\u201371"},{"key":"6_CR8","volume-title":"Interactive Theory Revision","author":"L. Raedt De","year":"1992","unstructured":"DeRaedt, L.: Interactive Theory Revision. Academic Press, London (1992)"},{"key":"6_CR9","unstructured":"DeRaedt, L., Lavrac, N., Dzeroski, S.: Multiple predicate learning. Proc. 13th Int. Joint Conf. on Artificial Intelligence, (1993) 1037\u20131042"},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/3-540-56804-2_41","volume-title":"Methodologies for Intelligent Systems","author":"L. Raedt De","year":"1993","unstructured":"DeRaedt, L., Lavrac, N.: The many faces of inductive logic programming. In: Komorowski, J., Ras, Z.W. (eds.): Methodologies for Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 689. Springer-Verlag, Berlin (1993) 435\u2013449"},{"issue":"2\/3","key":"6_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. DeRaedt","year":"1997","unstructured":"DeRaedt, L., Dehaspe, L.: Clausal discovery. Machine Learning 26(2\/3), (1997) 99\u2013146","journal-title":"Machine Learning"},{"key":"6_CR12","unstructured":"Esposito, F., Caggese, S., Malerba, D., Semeraro, G.: Classification in noisy domains by flexible matching. Proc. European Symposium on Intelligent Techniques, (1997) 45\u201349"},{"key":"6_CR13","unstructured":"Esposito, F., Malerba, D., Lisi, F.A.: Machine Learning for Intelligent Processing of Printed Documents. In: Ras, Z.W., Skowron, A. (eds.): Journal of Intelligent Information Systems 16. Kluwer Academic Publishers (2000) 175\u2013198"},{"key":"6_CR14","series-title":"Apic Series","first-page":"193","volume-title":"Inductive Logic Programming","author":"P. Flach","year":"1992","unstructured":"Flach, P.: A framework for inductive logic programming. In: Muggleton, S. (ed.): Inductive Logic Programming, Vol. 38 of Apic Series. Academic Press, London (1992) 193\u2013211"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0743-1066(99)00028-X","volume":"41","author":"P. Flener","year":"1999","unstructured":"Flener, P., Yilmaz, S.: Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. Journal of Logic Programming 41(2\/3),Special Issue on Synthesis, Transformation and Analysis, (1999) 141\u2013195","journal-title":"Journal of Logic Programming"},{"key":"6_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/3-540-56804-2_40","volume-title":"Methodologies for Intelligent Systems","author":"A. Giordana","year":"1993","unstructured":"Giordana, A., Saitta, L., Baroglio, C.: Learning simple recursive theories. In: Komorowski, J., Ras, Z.W. (eds.): Methodologies for Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 689. Springer-Verlag, Berlin (1993) 425\u2013434"},{"key":"6_CR17","first-page":"192","volume-title":"Advances in Inductive Logic Programming","author":"P. Idestam-Almquist","year":"1996","unstructured":"Idestam-Almquist, P.: Efficient induction of recursive definitions by structural analysis of saturations. In: DeRaedt, L. (ed.): Advances in Inductive Logic Programming. IOS Press, Amsterdam(1996) 192\u2013205"},{"key":"6_CR18","first-page":"206","volume-title":"Advances in Inductive Logic Programming","author":"A. Jorge","year":"1996","unstructured":"Jorge, A., Brazdil, P.: Architecture for iterative learning of recursive definitions. In: De Raedt, L. (ed.): Advances in Inductive Logic Programming. IOS Press, Amsterdam (1996) 206\u2013218"},{"key":"6_CR19","first-page":"525","volume-title":"Handbook of Theoretical Computer Science","author":"J. Leeuwen van","year":"1990","unstructured":"vanLeeuwen, J.: Graph Algorithms. In: van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Vol. A. Elsevier, Amsterdam (1990) 525\u2013631"},{"key":"6_CR20","first-page":"87","volume-title":"Machine Learning and Statistics: The interface","author":"D. Malerba","year":"1997","unstructured":"Malerba, D., Semeraro, G., Esposito, F.: A multistrategy approach to learning multiple dependent concepts. In: Nakhaeizadeh, G., Taylor, C. (eds.): Machine Learning and Statistics: The interface. John Wiley & Sons, New York (1997) 87\u2013106"},{"key":"6_CR21","first-page":"435","volume-title":"Proc. 13th Europ. Conf. on Artificial Intelligence","author":"D. Malerba","year":"1998","unstructured":"Malerba, D., Esposito, F., Lisi, F.A.: Learning Recursive Theories with ATRE. In: Prade, H. (ed.), Proc. 13th Europ. Conf. on Artificial Intelligence. John Wiley & Sons, Chichester (1998) 435\u2013439"},{"key":"6_CR22","unstructured":"Mitchell, T.M.: Machine Learning. McGraw-Hill (1997)"},{"key":"6_CR23","first-page":"236","volume-title":"Advances in Inductive Logic Programming","author":"C.R. Mofizur","year":"1996","unstructured":"Mofizur, C.R., Numao, M.: Top-down induction of recursive programs from small number of sparse examples. In: De Raedt, L. (ed.): Advances in Inductive Logic Programming. IOS Press, Amsterdam (1996) 236\u2013253"},{"issue":"7","key":"6_CR24","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.144436","volume":"25","author":"G. Nagy","year":"1992","unstructured":"Nagy, G., Seth, S.C., Stoddard, S.D.: A prototype document image analysis system for technical journals. IEEE Computer 25(7), (1992) 10\u201322","journal-title":"IEEE Computer"},{"key":"6_CR25","unstructured":"Nienhuys-Cheng, S.-W., deWolf, R.: A complete method for program specialization based upon unfolding. Proc. 12th Europ. Conf. on Artificial Intelligence (1996) 438\u2013442"},{"key":"6_CR26","first-page":"153","volume-title":"Machine Intelligence","author":"G.D. Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalization. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 5. Edinburgh University Press, Edinburgh (1970) 153\u2013163"},{"key":"6_CR27","first-page":"101","volume-title":"Machine Intelligence","author":"G.D. Plotkin","year":"1971","unstructured":"Plotkin, G.D.: A further note on inductive generalization. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 6. Edinburgh University Press, Edinburgh (1971) 101\u2013124"},{"key":"6_CR28","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"Quinlan, J.R.: Learning Logical Definitions from Relations. Machine Learning 5 (1990) 239\u2013266","journal-title":"Machine Learning"},{"issue":"2","key":"6_CR29","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1022678217288","volume":"14","author":"C. Rouveirol","year":"1994","unstructured":"Rouveirol, C.: Flattening and saturation: Two representation changes for generalization. Machine Learning 14(2) (1994) 219\u2013232","journal-title":"Machine Learning"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44960-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T07:01:39Z","timestamp":1550300499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44960-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677956","9783540449607"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-44960-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}