Pahlavi
Niels
Niels Pahlavi
2010
We present our research produced about Higher-order Logic Learning (HOLL), which consists of adapting First-order Logic Learning (FOLL), like Inductive Logic Programming (ILP), within a Higher-order Logic (HOL) context. We describe a first working implementation of lambda-Progol, a HOLL system adapting the ILP system Progol and the HOL formalism lambda-Prolog. We compare lambda-Progol and Progol on the learning of recursive theories showing that HOLL can, in these cases, outperform FOLL.
eng
Computer Science, {"subject_scheme"=>"DDC", "text"=>"000 Computer science, knowledge, general works"}
Higher-order Logic Learning and lambda-Progol
DataCite
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
1.0