research
∙
08/18/2023
Learning MDL logic programs from noisy data
Many inductive logic programming approaches struggle to learn programs f...
share
research
∙
08/16/2023
Learning Logic Programs by Discovering Higher-Order Abstractions
Discovering novel abstractions is important for human-level AI. We intro...
research
∙
01/18/2023
Generalisation Through Negation and Predicate Invention
The ability to generalise from a small number of examples is a fundament...
research
∙
10/03/2022
Relational program synthesis with numerical reasoning
Program synthesis approaches struggle to learn programs with numerical v...
research
∙
08/24/2022
Constraint-driven multi-task learning
Inductive logic programming is a form of machine learning based on mathe...
research
∙
08/05/2022
Learning programs with magic values
A magic value in a program is a constant symbol that is essential for th...
research
∙
06/01/2022
Learning programs by combining programs
The goal of inductive logic programming is to induce a set of rules (a l...
research
∙
02/20/2022
Learning logic programs by discovering where not to search
The goal of inductive logic programming (ILP) is to search for a hypothe...
research
∙
09/16/2021
Learning logic programs through divide, constrain, and conquer
We introduce an inductive logic programming approach that combines class...
research
∙
09/15/2021
Parallel Constraint-Driven Inductive Logic Programming
Multi-core machines are ubiquitous. However, most inductive logic progra...
research
∙
04/29/2021
Predicate Invention by Learning From Failures
Discovering novel high-level concepts is one of the most important steps...
research
∙
02/21/2021
Inductive logic programming at 30
Inductive logic programming (ILP) is a form of logic-based machine learn...
research
∙
02/18/2021
Learning Logic Programs by Explaining Failures
Scientists form hypotheses and experimentally test them. If a hypothesis...
research
∙
08/18/2020
Inductive logic programming at 30: a new introduction
Inductive logic programming (ILP) is a form of machine learning. The goa...
research
∙
05/05/2020
Learning programs by learning from failures
We introduce learning programs by learning from failures. In this approa...
research
∙
04/21/2020
Knowledge Refactoring for Program Induction
Humans constantly restructure knowledge to use it more efficiently. Our ...
research
∙
04/21/2020
Learning large logic programs by going beyond entailment
A major challenge in inductive logic programming (ILP) is learning large...
research
∙
02/25/2020
Turning 30: New Ideas in Inductive Logic Programming
Common criticisms of state-of-the-art machine learning include poor gene...
research
∙
11/15/2019
Forgetting to learn logic programs
Most program induction approaches require predefined, often hand-enginee...
research
∙
07/25/2019
Learning higher-order logic programs
A key feature of inductive logic programming (ILP) is its ability to lea...
research
∙
07/25/2019
Logical reduction of metarules
Many forms of inductive logic programming (ILP) use metarules, second-or...
research
∙
06/23/2019
Inductive general game playing
General game playing (GGP) is a framework for evaluating an agent's gene...
research
∙
04/18/2019
Playgol: learning programs through play
Children learn though play. We introduce the analogous idea of learning ...
research
∙
02/26/2019