BibSonomy :: user  :: mh ::

bookmarks

publications

(4)   

• 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 inductive_learning inductive_programming atre 2007 induction programming inductive_functional_programming inductive_inference adate ilp dialogs inductive_program_synthesis inproceedings automatic_programming functional_programming inductive_logic_programming inductive 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 functional_programming programming inductive_program_synthesis automatic_programming inductive_programming inductive_functional_programming constructor_systems induction 2007 igor2 inproceedings 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 inductive_programming machine_learning programming automatic_programming proceedings inductive_program_synthesis induction by mh and 1 other person on Oct 17, 2007, 3:28 PM
  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 inductive_program_synthesis automatic_programming 2007 inductive programming constructor_systems inductive_inference rule-based_programming published myown inductive_programming induction functional_programming article igor2 by mh and 2 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX