BibSonomy :: user  :: mh ::

bookmarks

publications

(5)   

• 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 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 by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
  Emanuel Kitzelmann (2003)
  to functional_programming inductive_programming 2003 induction mastersthesis inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes automatic_programming by mh and 1 other person on Oct 17, 2007, 3:28 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 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 by mh and 1 other person on Oct 17, 2007, 3:28 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 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 by mh and 3 other people on Oct 17, 2007, 3:28 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 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 by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX