{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:05Z","timestamp":1725564545336},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220077"},{"type":"electronic","value":"9783540246770"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24677-0_53","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T17:37:46Z","timestamp":1283967466000},"page":"512-522","source":"Crossref","is-referenced-by-count":1,"title":["An Algorithm for Incremental Mode Induction"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Di Mauro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Ferilli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teresa M. A.","family":"Basile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","unstructured":"McCreath, E., Sharma, A.: Extraction of Meta-Knowledge to Restrict the Hypothes Space for ILP Systems. In: Eight Australian Joint Conference on Artificial Intelligence, Xin Yao, pp. 75\u201382 (1995)"},{"key":"53_CR2","unstructured":"Warren, D.H.D.: Implementing Prolog \u2013 Compiling Predicate Logic Programs. Research Reports 39 and 40, Dept. of Artificial Intelligence, University of Edinburgh (1977)"},{"key":"53_CR3","unstructured":"Mellish, C.S.: The Automatic Generation of Mode Declarations for Prolog Programs. DAI Research Paper 163, Dept. of Artificial Intelligence, University of Edinburgh (August 1981)"},{"issue":"1","key":"53_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"C.S. Mellish","year":"1985","unstructured":"Mellish, C.S.: Some Global Optimizations for a Prolog Compiler. J. Logic Programming\u00a02(1), 43\u201366 (1985)","journal-title":"J. Logic Programming"},{"key":"53_CR5","first-page":"187","volume-title":"Proc. 1984 Int.Symposium on Logic Programming","author":"U.S. Reddy","year":"1984","unstructured":"Reddy, U.S.: Transformation of Logic Programs into Functional Programs. In: Proc. 1984 Int.Symposium on Logic Programming, February 1984, pp. 187\u2013196. IEEE Computer Society, Atlantic City (1984)"},{"key":"53_CR6","unstructured":"Bruynooghe, M., Demoen, B., Callebaut, A., Janssens, G.: Abstract Interpretation: Towards the Global Optimization of Prolog Programs. In: Proc. Fourth IEEE Symposium on Logic Programming, San Francisco, CA (September 1987)"},{"key":"53_CR7","unstructured":"Manilla, H., Ukkonen, E.: Flow Analysis of Prolog Programs. In: Proc. Fourth IEEE Symposium on Logic Programming, San Francisco, CA (September 1987)"},{"issue":"3","key":"53_CR8","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S.K. Debray","year":"1988","unstructured":"Debray, S.K., Warren, D.S.: Automatic Mode Inference for Logic Programs. Journal of Logic Programming\u00a05(3), 207\u2013229 (1988)","journal-title":"Journal of Logic Programming"},{"key":"53_CR9","volume-title":"Knowledge Acquisition and Machine Learning: Theory Methods and Applications","author":"K. Morik","year":"1993","unstructured":"Morik, K., Wrobel, S., Kietz, J., Emde, W.: Knowledge Acquisition and Machine Learning: Theory Methods and Applications. Academic Press, London (1993)"},{"key":"53_CR10","unstructured":"Muggleton, S., Feng, C.: Efficient Induction of Logic Programs. In: Proceedings of the First Conference on Algorithmic Learning Theory, Tokyo, pp. 368\u2013381. Ohmsa Publishers (1990)"},{"issue":"1","key":"53_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/181668.181676","volume":"5","author":"R.M. Cameron-Jones","year":"1994","unstructured":"Cameron-Jones, R.M., Quinlan, J.R.: Efficient top-down induction of logic programs. SIGART Bulletin\u00a05(1), 33\u201342 (1994)","journal-title":"SIGART Bulletin"},{"issue":"3-4","key":"53_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"53_CR13","doi-asserted-by":"crossref","unstructured":"Furusawa, M., Inuzuka, N., Seki, H., Itoh, H.: Bottom-up induction of logic programs with more than one recursive clause. In: Proceedings of IJCAI 1997 workshop Frontiers of ILP, Nagoya (1997)","DOI":"10.1007\/3540635149_45"},{"key":"53_CR14","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: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 192\u2013205. IOS Press, Amsterdam (1996)"},{"key":"53_CR15","doi-asserted-by":"crossref","unstructured":"McCreath, E., Sharma, A.: LIME: A System for Learning Relations. Algorithmic Learning Theory, 336\u2013374 (1998)","DOI":"10.1007\/3-540-49730-7_25"},{"key":"53_CR16","first-page":"64","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"1992","unstructured":"Rouveirol, C.: Extensions of Inversion of Resolution Applied to Theory Completion. In: Muggleton, S. (ed.) Inductive Logic Programming, pp. 64\u201390. Academic Press, London (1992)"},{"key":"53_CR17","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1080\/713827255","volume":"17","author":"F. Esposito","year":"2003","unstructured":"Esposito, F., Ferilli, S., Fanizzi, N., Basile, T.M.A., Di Mauro, N.: Incremental Multistrategy Learning for Document Processing. Applied Artificial Intelligence Journal\u00a017, 859\u2013883 (2003)","journal-title":"Applied Artificial Intelligence Journal"}],"container-title":["Lecture Notes in Computer Science","Innovations in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24677-0_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T02:34:27Z","timestamp":1559615667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24677-0_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220077","9783540246770"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24677-0_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}