Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems. KI 2007: Advances in Artificial Intelligence, (4667):468--472,Springer-Verlag,2007. [BibSonomy: ilp inductive_programming functional_programming 2007 induction inductive_functional_programming adate inductive inductive_logic_programming programming inductive_inference inductive_learning inductive_program_synthesis atre inproceedings published dialogs automatic_programming] URL
Data-Driven Induction of Recursive Functions from Input/Output-Examples. In Emanuel Kitzelmann and Ute Schmid, editor(s), Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), 15--26,2007. [BibSonomy: inductive_programming functional_programming programming 2007 inductive_program_synthesis induction constructor_systems inductive_functional_programming igor2 inproceedings automatic_programming]
Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07). In Emanuel Kitzelmann and Ute Schmid, editor(s), 2007. [BibSonomy: inductive_programming programming 2007 machine_learning proceedings inductive_program_synthesis induction automatic_programming]
Inductive Program Synthesis: From Theory to Application. In Gabriella K\´okai and Jens Zeidler, editor(s), Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), 135--141,2002. [BibSonomy: inductive_programming 2002 machine_learning induction inductive_functional_programming inductive programming inductive_inference inductive_learning inductive_program_synthesis inproceedings recursive_program_schemes automatic_programming]
Inductive Synthesis of Functional Programs. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, (2385):337--354,Springer-Verlag,2002. [BibSonomy: functional_programming inductive_programming 2002 induction inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes inproceedings published automatic_programming] URL
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. Electronic Notes in Theoretical Computer Science, (174)1:49--63,2007. [BibSonomy: functional_programming inductive_programming 2007 induction igor2 myown inductive programming article inductive_inference constructor_systems inductive_program_synthesis rule-based_programming published automatic_programming] URL
Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach. 2003. [BibSonomy: functional_programming inductive_programming 2003 induction mastersthesis inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes automatic_programming] URL
Folding of finite program terms to recursive program schemes. Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, (1):144--149 vol.1,2002. [BibSonomy: functional_programming inductive_programming 2002 induction inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes inproceedings published automatic_programming] URL
Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann). 2001. [BibSonomy: inductive inductive_programming functional_programming programming inductive_inference inductive_program_synthesis induction myown inductive_functional_programming term_paper 2001 automatic_programming] URL
Inductive Logic Programming: From Machine Learning to Software Engineering. MIT Press,Cambridge, MA, USA,1995. [BibSonomy: ilp inductive_programming filp software_engineering machine_learning induction 1995 inductive inductive_logic_programming programming inductive_inference inductive_learning book inductive_program_synthesis automatic_programming] URL
Induction of Functional Programs based on Relations between I/O Examples. 2006. [BibSonomy: 2006 functional_programming inductive_programming induction igor2 inductive_functional_programming myown inductive programming inductive_inference constructor_systems inductive_program_synthesis automatic_programming extended_abstract]
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. Journal of Machine Learning Research, (7):429--454,MIT Press,Cambridge, MA, USA,2006. [BibSonomy: 2006 functional_programming inductive_programming explanation-based_generalization induction myown inductive_functional_programming igor1 inductive programming article inductive_inference inductive_learning inductive_program_synthesis recursive_program_schemes published automatic_programming] URL
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, 15--27,2005. [BibSonomy: functional_programming inductive_programming 2005 machine_learning induction myown inductive_functional_programming ebg igor1 inductive programming inductive_inference inductive_learning inductive_program_synthesis recursive_program_schemes inproceedings automatic_programming] URL