Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes

Andreas Hamfelt, Jørgen Fischer Nilsson. Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. In Pierre Flener, editor, Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings. Volume 1559 of Lecture Notes in Computer Science, pages 143-158, Springer, 1998. [doi]

Abstract

Abstract is missing.