Data-driven Induction of Functional Programs

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.

• Type: Conference
• Year: 2008
• Where: ECAI
• Authors: Emanuel Kitzelmann
• Keywords: Artificial Intelligence, ECAI 2008, Non-ground Example Equations, Recursive Functional Programs