research
∙
09/15/2021
Parallel Constraint-Driven Inductive Logic Programming
Multi-core machines are ubiquitous. However, most inductive logic progra...
share
research
∙
04/29/2021
Predicate Invention by Learning From Failures
Discovering novel high-level concepts is one of the most important steps...
research
∙
02/18/2021
Learning Logic Programs by Explaining Failures
Scientists form hypotheses and experimentally test them. If a hypothesis...
research
∙
02/18/2021
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
The program synthesis problem within the Inductive Logic Programming (IL...
research
∙
05/05/2020
Learning programs by learning from failures
We introduce learning programs by learning from failures. In this approa...
research
∙
07/25/2019
Learning higher-order logic programs
A key feature of inductive logic programming (ILP) is its ability to lea...
research
∙
06/27/2018