@inproceedings{Hofmann07a,
	title = {Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems},
	author = {Martin Hofmann and Andreas Hirschberger and Emanuel Kitzelmannn and Ute Schmid},
	booktitle = {KI 2007: Advances in Artificial Intelligence},
	pages = {468--472},
	publisher = {Springer-Verlag},
	series = {LNCS},
	url = {http://dx.doi.org/10.1007/978-3-540-74565-5_42},
	volume = {4667},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mh},
	description = {SpringerLink - Buchkapitel},
	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.},
	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 }
}