4 papers · 1 filter
Parallel Constraint-Driven Inductive Logic Programming
Andrew Cropper, Oghenejokpeme Orhobor, Cristian Dinu +1
Multi-core machines are ubiquitous. However, most inductive logic programming (ILP) approaches use only a single core, which severely limits their scalability. To address this limi…
Predicate Invention by Learning From Failures
Andrew Cropper, Rolf Morel
Discovering novel high-level concepts is one of the most important steps needed for human-level AI. In inductive logic programming (ILP), discovering novel high-level concepts is k…
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
Rolf Morel
The program synthesis problem within the Inductive Logic Programming (ILP) community has typically been seen as untyped. We consider the benefits of user provided types on backgrou…
Learning programs by learning from failures
Andrew Cropper, Rolf Morel
We describe an inductive logic programming (ILP) approach called learning from failures. In this approach, an ILP system (the learner) decomposes the learning problem into three se…