{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:22:44Z","timestamp":1745965364750},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119309"},{"type":"electronic","value":"9783642119316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11931-6_4","type":"book-chapter","created":{"date-parts":[[2010,3,25]],"date-time":"2010-03-25T10:42:44Z","timestamp":1269513764000},"page":"74-92","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Learning in Inductive Programming"],"prefix":"10.1007","author":[{"given":"Robert","family":"Henderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10704973_1","volume-title":"Advanced Functional Programming","author":"L. Augusteijn","year":"1999","unstructured":"Augusteijn, L.: Sorting morphisms. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 1\u201327. Springer, Heidelberg (1999)"},{"key":"4_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-540-30215-5_3","volume-title":"Algorithmic Learning Theory","author":"L. Raedt De","year":"2004","unstructured":"De Raedt, L., Kersting, K.: Probabilistic inductive logic programming. In: Ben-David, S., Case, J., Maruoka, A. (eds.) ALT 2004. LNCS (LNAI), vol.\u00a03244, pp. 19\u201336. Springer, Heidelberg (2004)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Kitzelmann, E., Schmid, U.: A unifying framework for analysis and evaluation of inductive programming systems. In: Proceedings of the Second Conference on Artificial General Intelligence, AGI 2009 (2009)","DOI":"10.2991\/agi.2009.16"},{"key":"4_CR4","unstructured":"Katayama, S.: Systematic search for lambda expressions. In: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, vol.\u00a06, pp. 111\u2013126. Intellect (2007)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0027320","volume-title":"Inductive Logic Programming","author":"K. Khan","year":"1998","unstructured":"Khan, K., Muggleton, S., Parson, R.: Repeat learning using predicate invention. In: Page, D.L. (ed.) ILP 1998. LNCS, vol.\u00a01446, pp. 165\u2013174. Springer, Heidelberg (1998)"},{"key":"4_CR6","unstructured":"Kitzelmann, E.: Data-driven induction of recursive functions from input\/output-examples. In: Proceedings of the ECML\/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP 2007), pp. 15\u201326 (2007)"},{"key":"4_CR7","unstructured":"Muggleton, S.: Duce, an oracle based approach to constructive induction. In: IJCAI 1987, pp. 287\u2013292 (1987)"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0004-3702(94)00042-Y","volume":"74","author":"J.R. Olsson","year":"1995","unstructured":"Olsson, J.R.: Inductive functional programming using incremental program transformation. Artificial Intelligence\u00a074(1), 55\u201383 (1995)","journal-title":"Artificial Intelligence"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","first-page":"3","volume-title":"Machine Learning: ECML-93","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R., Cameron-Jones, R.M.: FOIL: A midterm report. In: Brazdil, P.B. (ed.) ECML 1993. LNCS, vol.\u00a0667, pp. 3\u201320. Springer, Heidelberg (1993)"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/B:MACH.0000015880.99707.b2","volume":"54","author":"J. Schmidhuber","year":"2004","unstructured":"Schmidhuber, J.: Optimal ordered problem solver. Machine Learning\u00a054(3), 211\u2013254 (2004)","journal-title":"Machine Learning"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1023\/A:1007383707642","volume":"28","author":"J. Schmidhuber","year":"1997","unstructured":"Schmidhuber, J., Zhao, J., Wiering, M.: Shifting inductive bias with success-story algorithm, adaptive levin search, and incremental self-improvement. Machine Learning\u00a028(1), 105\u2013130 (1997)","journal-title":"Machine Learning"},{"key":"4_CR12","unstructured":"Solomonoff, R.J.: Progress in incremental machine learning. Given at: NIPS Workshop on Universal Learning Algorithms and Optimal Search. Whistler, B.C., Canada, December 14 (2002), \n                    \n                      http:\/\/world.std.com\/~rjs\/pubs.html"}],"container-title":["Lecture Notes in Computer Science","Approaches and Applications of Inductive Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11931-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:00:33Z","timestamp":1619784033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11931-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119309","9783642119316"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11931-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}