An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs

Emanuel Kitzelmann, Ute Schmid. An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. In Emanuel Kitzelmann, Roland Olsson, Ute Schmid, editors, Workshop on Approaches and Applications of Inductive Programming, AAIP 2005, to be held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005), Bonn, Germany, August 7, 2005. pages 15-26, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.