{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:02:48Z","timestamp":1769972568222,"version":"3.49.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,3,1]],"date-time":"2008-03-01T00:00:00Z","timestamp":1204329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s10462-009-9108-7","type":"journal-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T19:55:19Z","timestamp":1247082919000},"page":"45-62","source":"Crossref","is-referenced-by-count":21,"title":["An introduction to inductive programming"],"prefix":"10.1007","volume":"29","author":[{"given":"Pierre","family":"Flener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ute","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,9]]},"reference":[{"key":"9108_CR1","first-page":"319","volume":"2","author":"D Angluin","year":"1980","unstructured":"Angluin D (1980) Queries and concept learning. Mach Learn 2: 319\u2013342","journal-title":"Mach Learn"},{"key":"9108_CR2","doi-asserted-by":"crossref","unstructured":"Backus J (1981) The algebra of functional programs: function-level reasoning, linear equations and extended definitions. In: D\u00edaz J, Ramos I (eds) Formalization of programming concepts, vol 107. Springer, pp 1\u201343","DOI":"10.1007\/3-540-10699-5_91"},{"issue":"3","key":"9108_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0004-3702(72)90048-3","volume":"3","author":"AW Biermann","year":"1972","unstructured":"Biermann AW (1972) On the inference of turing machines from sample computations. Artif Intell 3(3): 181\u2013198","journal-title":"Artif Intell"},{"issue":"8","key":"9108_CR4","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/TSMC.1978.4310035","volume":"8","author":"AW Biermann","year":"1978","unstructured":"Biermann AW (1978) The inference of regular LISP programs from examples. IEEE Trans Syst Man Cybern 8(8): 585\u2013600","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"9108_CR5","first-page":"18","volume-title":"Encyclopedia of artificial intelligence","author":"AW Biermann","year":"1992","unstructured":"Biermann AW (1992) Automatic programming. In: Shapiro SC (eds) Encyclopedia of artificial intelligence, 2nd edn. Wiley, New York, pp 18\u201335","edition":"2"},{"key":"9108_CR6","volume-title":"Automatic program construction techniques","year":"1984","unstructured":"Biermann AW, Guiho G, Kodratoff Y (eds) (1984) Automatic program construction techniques. Macmillan, New York"},{"key":"9108_CR7","first-page":"205","volume-title":"Watch what I do: programming by demonstration","author":"A Cypher","year":"1993","unstructured":"Cypher A (1993a) Programming repetitive tasks by demonstration. In: Cypher A (eds) Watch what I do: programming by demonstration. The MIT Press, Cambridge, pp 205\u2013217"},{"key":"9108_CR8","volume-title":"Watch what I do: programming by demonstration","year":"1993","unstructured":"Cypher A (ed) (1993b) Watch what I do: programming by demonstration. The MIT Press, Cambridge"},{"key":"9108_CR9","volume-title":"Functional progamming","author":"AJ Field","year":"1988","unstructured":"Field AJ, Harrison PG (1988) Functional progamming. Addison-Wesley, Reading"},{"key":"9108_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2205-8","volume-title":"Logic program synthesis from incomplete information","author":"P Flener","year":"1995","unstructured":"Flener P (1995) Logic program synthesis from incomplete information. Kluwer, Massachusetts"},{"key":"9108_CR11","doi-asserted-by":"crossref","unstructured":"Flener P (1997) Inductive logic program synthesis with DIALOGS. In: Muggleton SH (ed) Revised selected papers of the 6th International Workshop on Inductive Logic Programming (ILP 1996), vol LNAI 1314. Springer\u2013Verlag, pp 175\u2013198","DOI":"10.1007\/3-540-63494-0_55"},{"key":"9108_CR12","doi-asserted-by":"crossref","unstructured":"Flener P (2002) Achievements and prospects of program synthesis. In: Kakas A, Sadri F (eds) Computational logic: logic programming and beyond; essays in honour of Robert A. Kowalski, vol LNAI 2407. Springer\u2013Verlag, pp 310\u2013346","DOI":"10.1007\/3-540-45628-7_13"},{"issue":"2","key":"9108_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008797606116","volume":"8","author":"P Flener","year":"2001","unstructured":"Flener P, Partridge D (2001) Inductive programming. Autom Softw Eng 8(2): 131\u2013137","journal-title":"Autom Softw Eng"},{"issue":"2\u20133","key":"9108_CR14","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, Y\u0131lmaz S (1999) Inductive synthesis of recursive logic programs: achievements and prospects. J Log Program 41(2\u20133): 141\u2013195","journal-title":"J Log Program"},{"issue":"1","key":"9108_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1006\/jsco.1999.0348","volume":"30","author":"P Flener","year":"2000","unstructured":"Flener P, Lau K-K, Ornaghi M, Richardson J (2000) An abstract formalisation of correct schemas for program synthesis. J Symb Comput 30(1): 93\u2013127","journal-title":"J Symb Comput"},{"key":"9108_CR16","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold EM (1967) Language identification in the limit. Inf Control 10: 447\u2013474","journal-title":"Inf Control"},{"key":"9108_CR17","volume-title":"Automated construction of XSL-templates: an inductive programming approach","author":"M Hofmann","year":"2008","unstructured":"Hofmann M (2008) Automated construction of XSL-templates: an inductive programming approach. VDM, Saarbr\u00fccken"},{"key":"9108_CR18","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-85845-4_10","volume-title":"KI 2008: advances in artificial intelligence","author":"M Hofmann","year":"2008","unstructured":"Hofmann M, Kitzelmann E, Schmid U (2008) Analysis and evaluation of inductive programming systems in a higher-order framework. In: Dengel A, Berns K, Breuel TM, Bomarius F, Roth-Berghofer TR (eds) KI 2008: advances in artificial intelligence. Springer, Berlin, pp 78\u201386"},{"key":"9108_CR19","unstructured":"Kitzelmann E (2007) Data-driven induction of recursive functions from input\/output-examples. In: Proceedings of the workshop on Approaches and Applications of Inductive Programming (AAIP 2007) at ECML 2007 (15\u201326)"},{"key":"9108_CR20","first-page":"429","volume":"7","author":"E Kitzelmann","year":"2006","unstructured":"Kitzelmann E, Schmid U (2006) Inductive synthesis of functional programs\u2014an explanation based generalization approach. J Mach Learn Res 7: 429\u2013454","journal-title":"J Mach Learn Res"},{"key":"9108_CR21","volume-title":"Your wish is my command: programming by example","year":"2001","unstructured":"Lieberman H (ed) (2001) Your wish is my command: programming by example. Morgan Kaufmann, San Francisco"},{"key":"9108_CR22","volume-title":"Automatic software design","year":"1991","unstructured":"Lowry ML, McCarthy RD (eds) (1991) Automatic software design. The MIT Press, New York"},{"issue":"8","key":"9108_CR23","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1109\/32.153379","volume":"18","author":"Z Manna","year":"1992","unstructured":"Manna Z, Waldinger R (1992) Fundamentals of deductive program synthesis. IEEE Trans Softw Eng 18(8): 674\u2013704","journal-title":"IEEE Trans Softw Eng"},{"key":"9108_CR24","volume-title":"Machine learning","author":"TM Mitchell","year":"1997","unstructured":"Mitchell TM (1997) Machine learning. McGraw-Hill, New York"},{"issue":"3\u20134","key":"9108_CR25","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"SH Muggleton","year":"1995","unstructured":"Muggleton SH (1995) Inverse entailment and Progol. New Gener Comput, Special Issue Inductive Log Program 13(3\u20134): 245\u2013286","journal-title":"New Gener Comput, Special Issue Inductive Log Program"},{"key":"9108_CR26","unstructured":"Muggleton SH, Feng C (1990) Efficient induction of logic programs. In: Proceedings of the Workshop on Algorithmic Learning Theory by the Japanese Society for AI, pp 368\u2013381"},{"key":"9108_CR27","unstructured":"Muggleton SH, Bryant CH, Srinivasan A (2000) Learning Chomsky-like grammars for biological sequence families. In: Proceedings of the 17th International Conference on Machine Learning (ICML 2000). Morgan Kaufmann, pp 631\u2013638"},{"issue":"1","key":"9108_CR28","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0004-3702(94)00042-Y","volume":"74","author":"JR Olsson","year":"1995","unstructured":"Olsson JR (1995) Inductive functional programming using incremental program transformation. Artif Intell 74(1): 55\u201383","journal-title":"Artif Intell"},{"key":"9108_CR29","unstructured":"Olsson JR, Powers DMW (2003) Machine learning of human language through automatic programming. In: Proceedings of the International Conference on Cognitive Science. University of New South Wales, Australia, pp 507\u2013512"},{"key":"9108_CR30","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.308","volume":"5","author":"JR Quinlan","year":"1996","unstructured":"Quinlan JR (1996) Learning first-order definitions of functions. J Artif Intell Res 5: 139\u2013161","journal-title":"J Artif Intell Res"},{"issue":"3\u20134","key":"9108_CR31","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF03037228","volume":"13","author":"JR Quinlan","year":"1995","unstructured":"Quinlan JR, Cameron-Jones RM (1995) Induction of logic programs: FOIL and related systems. New Gener Comput, Special Issue Inductive Log Program 13(3\u20134): 287\u2013312","journal-title":"New Gener Comput, Special Issue Inductive Log Program"},{"key":"9108_CR32","doi-asserted-by":"crossref","unstructured":"Rao MRKK (2004) Inductive inference of term rewriting systems from positive data. In: Proceedings of the 15th International Conference on Algorithmic Learning Theory (ALT 2004), vol 3244. Springer\u2013Verlag, pp 69\u201382","DOI":"10.1007\/978-3-540-30215-5_7"},{"key":"9108_CR33","volume-title":"Advances in computers, vol 37","author":"C Rich","year":"1993","unstructured":"Rich C, Waters RC (1993) Approaches to automatic programming. In: Yovits MC (eds) Advances in computers, vol 37. Academic Press, New York"},{"key":"9108_CR34","volume-title":"Inductive synthesis of functional programs\u2014learning domain-specific control rules and abstract schemes, vol LNAI 2654","author":"U Schmid","year":"1997","unstructured":"Schmid U (1997) Inductive synthesis of functional programs\u2014learning domain-specific control rules and abstract schemes, vol LNAI 2654. Springer\u2013Verlag, New York"},{"key":"9108_CR35","unstructured":"Schmid U, Waltermann J (2004) Automatic synthesis of XSL-transformations from example documents. In: Proceedings of Artificial Intelligence and Applications (AIA 2004), pp 252\u2013257. Acta Press, Series on Artificial Intelligence and Soft Computing"},{"key":"9108_CR36","doi-asserted-by":"crossref","unstructured":"Schmid U, Wysotzki F (1998) Induction of recursive program schemes. In: Proceedings of the 10th European Conference on Machine Learning (ECML 1998), vol LNAI 1398. Springer\u2013Verlag, pp 214\u2013225","DOI":"10.1007\/BFb0026692"},{"key":"9108_CR37","unstructured":"Schmid U, Wysotzki F (2000) Applying inductive program synthesis to macro learning. In: Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2000). AAAI Press, pp 371\u2013378"},{"key":"9108_CR38","doi-asserted-by":"crossref","unstructured":"Schr\u00f6dl S, Edelkamp S (1999) Inferring flow of control in program synthesis by example. In: Proceedings of the 23rd Annual German Conference on Artificial Intelligence (KI 1999), vol 1701. Springer\u2013Verlag, pp 171\u2013182","DOI":"10.1007\/3-540-48238-5_14"},{"key":"9108_CR39","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic program debugging","author":"EY Shapiro","year":"1983","unstructured":"Shapiro EY (1983) Algorithmic program debugging. The MIT Press, New York"},{"key":"9108_CR40","first-page":"39","volume":"5","author":"JW Shavlik","year":"1990","unstructured":"Shavlik JW (1990) Acquiring recursive and iterative concepts with explanation-based learning. Mach Learn 5: 39\u201370","journal-title":"Mach Learn"},{"key":"9108_CR41","first-page":"307","volume-title":"Automatic program construction techniques","author":"DR Smith","year":"1984","unstructured":"Smith DR (1984) The synthesis of LISP programs from examples: a survey. In: Biermann AW, Guiho G, Kodratoff Y (eds) Automatic program construction techniques. Macmillan, New York, pp 307\u2013324"},{"issue":"1","key":"9108_CR42","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0004-3702(85)90083-9","volume":"27","author":"DR Smith","year":"1985","unstructured":"Smith DR (1985) Top-down synthesis of divide-and-conquer algorithms. Artif Intell 27(1): 43\u201396","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"9108_CR43","first-page":"95","volume":"20","author":"I Stahl","year":"1995","unstructured":"Stahl I (1995) The appropriateness of predicate invention as bias shift operation in ILP. Mach Learn 20(1\u20132): 95\u2013117","journal-title":"Mach Learn"},{"key":"9108_CR44","volume-title":"Denotational semantics: the Scott\u2013Strachey approach to programming language theory","author":"J Stoy","year":"1977","unstructured":"Stoy J (1977) Denotational semantics: the Scott\u2013Strachey approach to programming language theory. The MIT Press, New York"},{"issue":"1","key":"9108_CR45","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/321992.322002","volume":"24","author":"PD Summers","year":"1977","unstructured":"Summers PD (1977) A methodology for LISP program construction from examples. J ACM 24(1): 161\u2013175","journal-title":"J ACM"},{"key":"9108_CR46","unstructured":"Wysotzki F (1983) Representation and induction of infinite concepts and recursive action sequences. In: Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI 1983). Morgan Kaufmann, pp 409\u2013414"},{"issue":"1\u20133","key":"9108_CR47","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/j.tcs.2008.02.021","volume":"397","author":"T Zeugmann","year":"2008","unstructured":"Zeugmann T, Zilles S (2008) Learning recursive functions: a survey. Theor Comput Sci 397(1\u20133): 4\u201356","journal-title":"Theor Comput Sci"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-009-9108-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-009-9108-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-009-9108-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T20:31:31Z","timestamp":1739219491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-009-9108-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["9108"],"URL":"https:\/\/doi.org\/10.1007\/s10462-009-9108-7","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3]]}}}