Inverse Narrowing for the Inductive Inference of Functional Logic Programs ∗J. Hernandez-Orallo, M. J. Ramirez-Quintana20112 Excerpts

Inverse Narrowing for the Induction of Functional Logic ProgramsJosé Hernández-Orallo, M. José Ramírez-QuintanaAPPIA-GULP-PRODE19982 Excerpts

Lambda-Subsumption and Its Application to Learning from Positive-only ExamplesZdravko MarkovInductive Logic Programming Workshop1996