Inductive Synthesis of Recursive Functional Programs

Authors:
Martin Hofmann;Andreas Hirschberger;Emanuel Kitzelmannn;Ute Schmid
Affiliations:
University of Bamberg, Faculty of Information Systems, and Applied Computer Science,;University of Bamberg, Faculty of Information Systems, and Applied Computer Science,;University of Bamberg, Faculty of Information Systems, and Applied Computer Science,;University of Bamberg, Faculty of Information Systems, and Applied Computer Science,
Venue:
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Year:
2007

Citing 6
Cited 0

Inductive functional programming using incremental program transformation

Artificial Intelligence
Automatic Program Construction Techniques

Automatic Program Construction Techniques
Inductive Programming

Automated Software Engineering
Inductive Logic Program Synthesis with DIALOGS

ILP '96 Selected Papers from the 6th International Workshop on Inductive Logic Programming
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions

ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

The Journal of Machine Learning Research

Quantified Score

Hi-index	0.00

Visualization

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 [1,2,3,4].