论文信息 - Data-driven Induction of Functional Programs - 字舞流文

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.

Emanuel Kitzelmann | E. Kitzelmann

[1] Ute Schmid,et al. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach , 2006, J. Mach. Learn. Res..

[2] R. Mike Cameron-Jones,et al. FOIL: A Midterm Report , 1993, ECML.

[3] Pierre Flener,et al. Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects , 1999, J. Log. Program..

[4] Susumu Katayama. Systematic search for lambda expressions , 2005, Trends in Functional Programming.

[5] Ute Schmid,et al. Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework , 2008, KI.

[6] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[7] Emanuel Kitzelmann,et al. Data-Driven Induction of Recursive Functions from Input/Output-Examples , 2007 .

[8] Gordon Plotkin,et al. A Note on Inductive Generalization , 2008 .

[9] Roland Olsson,et al. Inductive Functional Programming Using Incremental Program Transformation , 1995, Artif. Intell..