BibSonomy :: user  :: mh ::

bookmarks

publications

(13)   

• Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
  Martin Hofmann and Andreas Hirschberger and Emanuel Kitzelmannn and Ute Schmid KI 2007: Advances in Artificial Intelligence, volume4667ofLNCS, page468--472. Springer-Verlag, (2007)
  to 2007 adate atre automatic_programming dialogs functional_programming ilp induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_logic_programming inductive_program_synthesis inductive_programming inproceedings programming published by mh on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Data-Driven Induction of Recursive Functions from Input/Output-Examples
  Emanuel Kitzelmann Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), page15--26. (2007)
  to 2007 automatic_programming constructor_systems functional_programming igor2 induction inductive_functional_programming inductive_program_synthesis inductive_programming inproceedings programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07)
  Emanuel Kitzelmann and Ute Schmid (eds.). (2007)
  to 2007 automatic_programming induction inductive_program_synthesis inductive_programming machine_learning proceedings programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  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 2002 automatic_programming induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming inproceedings machine_learning programming recursive_program_schemes by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• 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 2002 automatic_programming functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_program_synthesis inductive_programming inproceedings myown programming published recursive_program_schemes by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
  Emanuel Kitzelmann and Ute Schmid Electronic Notes in Theoretical Computer Science174(1):49--63#apr#2007.
  to 2007 article automatic_programming constructor_systems functional_programming igor2 induction inductive inductive_inference inductive_program_synthesis inductive_programming myown programming published rule-based_programming by mh and 2 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
  Emanuel Kitzelmann (2003)
  to 2003 automatic_programming functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_program_synthesis inductive_programming mastersthesis myown programming recursive_program_schemes 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 2002 automatic_programming functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_program_synthesis inductive_programming inproceedings myown programming published recursive_program_schemes by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann)
  Emanuel Kitzelmann (2001)
  to 2001 automatic_programming functional_programming induction inductive inductive_functional_programming inductive_inference inductive_program_synthesis inductive_programming myown programming term_paper by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Logic Programming: From Machine Learning to Software Engineering
  Francesco Bergadano and Daniele Gunetti MIT Press, Cambridge, MA, USA, (1995)
  to 1995 automatic_programming book filp ilp induction inductive inductive_inference inductive_learning inductive_logic_programming inductive_program_synthesis inductive_programming machine_learning programming software_engineering by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX