BibSonomy publications for /user/mh/dialogs+inproceedingsWed Oct 31 11:58:46 CET 2007Proceedings of the 6th International Workshop on Inductive Logic Programming28-51Inductive logic program synthesis with {D}ialogs1996Flener inductive_logic_programming inproceedings 1996 Dialogs inductive_programming Wed Oct 31 11:57:14 CET 2007Logic Program Synthesis and Transformation171-173Logic Program Transformation through Generalization Schemata1995logic_programming Flener 1995 inductive_programming Deville inproceedings Dialogs Wed Oct 17 15:28:39 CEST 2007KI 2007: Advances in Artificial Intelligence468--472LNCSInductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems46672007inductive dialogs functional_programming published atre inductive_functional_programming inproceedings inductive_program_synthesis inductive_learning 2007 inductive_logic_programming automatic_programming adate inductive_programming programming ilp inductive_inference induction One of the most challenging subfields, and a still little researched niche of machine learning, is the inductive synthesis of recursive programs from incomplete specifications, such as examples for the desired input/output behavior.