Data-driven Induction of Functional Programs

Authors:
Emanuel Kitzelmann
Affiliations:
University of Bamberg, Germany, email: emanuel.kitzelmann@unibamberg.de
Venue:
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Year:
2008

Citing 3
Cited 0

Inductive functional programming using incremental program transformation

Artificial Intelligence
FOIL: A Midterm Report

ECML '93 Proceedings of the European Conference on Machine Learning
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

The Journal of Machine Learning Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new method and system, called IGOR2, for the induction of recursive functional programs from few nonrecursive, possibly non-ground example equations describing a subset of the input-output behaviour of a function to be implemented.