{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:08:21Z","timestamp":1760044101494,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","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":[[2001]]},"DOI":"10.1007\/3-540-44716-4_15","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"233-247","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Incremental Learning of Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"C.","family":"Ferri-Ram\u00edrez","sequence":"first","affiliation":[]},{"given":"J.","family":"Hern\u00e1ndez-Orallo","sequence":"additional","affiliation":[]},{"given":"M.J.","family":"Ram\u00edrez-Quintana","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"unstructured":"S. Abiteboul, P. Buneman, and D. Suciu. Data on the web: from relations to semistructured data and XML. Morgan Kaufmann Publishers, 1999.","key":"15_CR1"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3731.001.0001","volume-title":"Inductive Logic Programming: from Machine Learning to Software Engineering","author":"F. Bergadano","year":"1995","unstructured":"F. Bergadano and D. Gunetti. Inductive Logic Programming: from Machine Learning to Software Engineering. The MIT Press, Cambridge, Mass., 1995."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0020-7373(87)80003-2","volume":"27","author":"J. Cendrowska","year":"1987","unstructured":"J. Cendrowska. Prism: An algorithm for inducing modular rules. International Journal of Man-Machines Studies, 27:349\u2013370, 1987.","journal-title":"International Journal of Man-Machines Studies"},{"unstructured":"C. Ferri, J. Hern\u00e1ndez, and M.J. Ram\u00edrez. The FLIP system homepage. http:\/\/www.dsic.upv.es\/~jorallo\/flip\/, 2000.","key":"15_CR4"},{"key":"15_CR5","series-title":"Technical report","volume-title":"The FLIP user\u2019s manual (v0.7)","author":"C. Ferri","year":"2000","unstructured":"C. Ferri, J. Hern\u00e1ndez, and M.J. Ram\u00edrez. The FLIP user\u2019s manual (v0.7). Technical report, Department of Information Systems and Computation, Valencia University of Technology, 2000\/24, 2000."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/0304-3975(94)90195-3","volume":"133","author":"R. Godin","year":"1994","unstructured":"R. Godin and R. Missaoui. An incremental concept formation approach for learning from databases. Theoretical Computer Science, 133:387\u2013419, 1994.","journal-title":"Theoretical Computer Science"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19\u201920","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19\u201920:583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"unstructured":"J. Hern\u00e1ndez and M.J. Ram\u00edrez. Inverse Narrowing for the Induction of Functional Logic Programs. In Proc. Joint Conference on Declarative Programming, APPIA GULP-PRODE\u201998, pages 379\u2013393, 1998.","key":"15_CR8"},{"doi-asserted-by":"crossref","unstructured":"J. Hern\u00e1ndez and M.J. Ram\u00edrez. A Strong Complete Schema for Inductive Functional Logic Programming. In Proc. of the Ninth International Workshop on Inductive Logic Programming, ILP\u201999, volume 1634 of Lecture Notes in Artificial Intelligence, pages 116\u2013127, 1999.","key":"15_CR9","DOI":"10.1007\/3-540-48751-4_12"},{"unstructured":"J. Hern\u00e1ndez and M.J. Ram\u00edrez. Predictive Software. Automated Software Engineering, to appear, 2001.","key":"15_CR10"},{"unstructured":"H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proc of the 2nd Intern. Conf. on Princip. of Knowledge Representation and Reasoning, pages 387\u2013394. M. Kaufmann Publishers, 1991.","key":"15_CR11"},{"unstructured":"J. U. Kietz and S. Wrobel. Controlling the complexity of learning in logic through syntactic and task-oriented models. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, 1992.","key":"15_CR12"},{"issue":"4","key":"15_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"S. Muggleton. Inductive Logic Programming. New Generation Computing, 8(4):295\u2013318, 1991.","journal-title":"New Generation Computing"},{"issue":"1-2","key":"15_CR14","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0004-3702(99)00067-3","volume":"114","author":"S. Muggleton","year":"1999","unstructured":"S. Muggleton. Inductive logic programming: Issues, results, and the challenge of learning language in logic. Artificial Intelligence, 114(1-2):283\u2013296, 1999.","journal-title":"Artificial Intelligence"},{"unstructured":"S. Muggleton and W. Buntine. Machine invention of first-order predicates by inverting resolution. In S. Muggleton, editor, Inductive Logic Programming, pages 261\u2013280. Academic Press, 1992.","key":"15_CR15"},{"unstructured":"University of California. UCI Machine Learning Repository Content Summary. http:\/\/www.ics.uci.edu\/~mlearn\/MLSummary.html.","key":"15_CR16"},{"unstructured":"L. De Raedt. Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press, 1992.","key":"15_CR17"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(97)00021-2","volume":"185","author":"M. K. Rao","year":"1997","unstructured":"M. Krishna Rao. A framework for incremental learning of logic programs. Theoretical Computer Science, 185:191\u2013213, 1997.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"B. L. Richards and R. J. Mooney. First order theory revision. In Proc. of the 8th International Workshop on Machine Learning, pages 447\u2013451. Morgan Kaufmann, 1991.","key":"15_CR19","DOI":"10.1016\/B978-1-55860-200-7.50092-1"},{"key":"15_CR20","first-page":"95","volume":"19","author":"B. L. Richards","year":"1995","unstructured":"B. L. Richards and R. J. Mooney. Automated refinement of first-order horn-clause domain theories. Machine Learning, 19:95\u2013131, 1995.","journal-title":"Machine Learning"},{"key":"15_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/3-540-56602-3_128","volume-title":"Proc. of ECML-93","author":"S. Wrobel","year":"1993","unstructured":"S. Wrobel. On the proper definition of minimality in spezialization and theory revision. In P.B. Brazdil, editor, Proc. of ECML-93, volume 667 of Lecture Notes in Computer Science, pages 65\u201382. Springer-Verlag, 1993."},{"unstructured":"S. Wrobel. First order theory refinement. In L. De Raedt, editor, Advances in Inductive Logic Programming, pages 14\u201333. IOS Press, 1996.","key":"15_CR22"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,8]],"date-time":"2021-02-08T22:19:46Z","timestamp":1612822786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}