%0 Conference Paper %1 Hofmann07a %A Hofmann, Martin %A Hirschberger, Andreas %A Kitzelmannn, Emanuel %A Schmid, Ute %B KI 2007: Advances in Artificial Intelligence %D 2007 %I Springer-Verlag %K 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 %P 468--472 %T Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems %U http://dx.doi.org/10.1007/978-3-540-74565-5_42 %V 4667 %X 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.

@inproceedings{Hofmann07a, abstract = {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.}, added-at = {2007-10-17T15:28:39.000+0200}, author = {Hofmann, Martin and Hirschberger, Andreas and Kitzelmannn, Emanuel and Schmid, Ute}, biburl = {https://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mh}, booktitle = {KI 2007: Advances in Artificial Intelligence}, description = {SpringerLink - Buchkapitel}, interhash = {91965f6831d652ed68a891e0013618e2}, intrahash = {4d4d35326995eeb6cc0c4a578d8cacec}, keywords = {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}, pages = {468--472}, publisher = {Springer-Verlag}, series = {LNCS}, timestamp = {2007-10-17T15:35:12.000+0200}, title = {Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems}, url = {http://dx.doi.org/10.1007/978-3-540-74565-5_42}, volume = 4667, year = 2007 }