BibSonomy :: user  :: emanuel ::

bookmarks

publications

(6)   

• Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume2385ofLNCS, page337--354. Springer-Verlag, (2002)
  to program_synthesis inproceedings igor1 ifp recursive_program_schemes induction analytical_ip inductive_programming by emanuel and 1 other person on Jun 14, 2008, 5:51 PM
  URL | BibTeX 
• Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
  Emanuel Kitzelmann (2003)
  to mastersthesis program_synthesis ifp inductive_programming recursive_program_schemes induction analytical_ip igor1 by emanuel and 1 other person on Jun 14, 2008, 5:48 PM
  URL | BibTeX 
• Folding of finite program terms to recursive program schemes
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, 1, page144--149 vol.1. (2002)
  to inproceedings ifp program_synthesis inductive_programming induction igor1 recursive_program_schemes analytical_ip by emanuel and 1 other person on Jun 14, 2008, 5:46 PM
  URL | BibTeX 
• Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
  Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research(2006)
  to inductive_programming ifp recursive_program_schemes ebg induction analytical_ip igor1 article program_synthesis by emanuel and 3 other people on Jun 14, 2008, 5:41 PM
  URL | BibTeX 
• An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, page15--27. (2005)
  to inproceedings induction igor1 ebg analytical_ip program_synthesis inductive_programming recursive_program_schemes machine_learning ifp by emanuel and 1 other person on Jun 14, 2008, 5:38 PM
  URL | BibTeX 
• Inductive Program Synthesis: From Theory to Application
  Ute Schmid and Emanuel Kitzelmann and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), page135--141. (2002)
  to program_synthesis machine_learning recursive_program_schemes induction ifp inproceedings inductive_programming by emanuel and 1 other person on Jun 14, 2008, 5:36 PM
  BibTeX