Andrew Cropper | DeepAI

AI Chat

Featured Co-authors

Sebastijan Dumančić
24 publications
Richard Evans
14 publications
Mark Law
12 publications
Stephen H. Muggleton
11 publications
David M. Cerna
9 publications
Matti Järvisalo
8 publications
Céline Hocquette
7 publications
Rolf Morel
7 publications
Sophie Tourret
5 publications
Oghenejokpeme Orhobor
2 publications
Cristian Dinu
1 publication

∙ 08/18/2023

Learning MDL logic programs from noisy data

Many inductive logic programming approaches struggle to learn programs f...

0 Céline Hocquette, et al. ∙

∙ 08/16/2023

Learning Logic Programs by Discovering Higher-Order Abstractions

Discovering novel abstractions is important for human-level AI. We intro...

0 Céline Hocquette, et al. ∙

∙ 01/18/2023

Generalisation Through Negation and Predicate Invention

The ability to generalise from a small number of examples is a fundament...

0 David M. Cerna, et al. ∙

∙ 10/03/2022

Relational program synthesis with numerical reasoning

Program synthesis approaches struggle to learn programs with numerical v...

0 Céline Hocquette, et al. ∙

∙ 08/24/2022

Constraint-driven multi-task learning

Inductive logic programming is a form of machine learning based on mathe...

0 Bogdan Cretu, et al. ∙

∙ 08/05/2022

Learning programs with magic values

A magic value in a program is a constant symbol that is essential for th...

0 Céline Hocquette, et al. ∙

∙ 06/01/2022

Learning programs by combining programs

The goal of inductive logic programming is to induce a set of rules (a l...

0 Andrew Cropper, et al. ∙

∙ 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...

0 Andrew Cropper, et al. ∙

∙ 09/16/2021

Learning logic programs through divide, constrain, and conquer

We introduce an inductive logic programming approach that combines class...

0 Andrew Cropper, et al. ∙

∙ 09/15/2021

Parallel Constraint-Driven Inductive Logic Programming

Multi-core machines are ubiquitous. However, most inductive logic progra...

0 Andrew Cropper, et al. ∙

∙ 04/29/2021

Predicate Invention by Learning From Failures

Discovering novel high-level concepts is one of the most important steps...

0 Andrew Cropper, et al. ∙

∙ 02/21/2021

Inductive logic programming at 30

Inductive logic programming (ILP) is a form of logic-based machine learn...

8 Andrew Cropper, et al. ∙

∙ 02/18/2021

Learning Logic Programs by Explaining Failures

Scientists form hypotheses and experimentally test them. If a hypothesis...

0 Rolf Morel, et al. ∙

∙ 08/18/2020

Inductive logic programming at 30: a new introduction

Inductive logic programming (ILP) is a form of machine learning. The goa...

8 Andrew Cropper, et al. ∙

∙ 05/05/2020

Learning programs by learning from failures

We introduce learning programs by learning from failures. In this approa...

6 Andrew Cropper, et al. ∙

∙ 04/21/2020

Knowledge Refactoring for Program Induction

Humans constantly restructure knowledge to use it more efficiently. Our ...

8 Sebastijan Dumančić, et al. ∙

∙ 04/21/2020

Learning large logic programs by going beyond entailment

A major challenge in inductive logic programming (ILP) is learning large...

4 Andrew Cropper, et al. ∙

∙ 02/25/2020

Turning 30: New Ideas in Inductive Logic Programming

Common criticisms of state-of-the-art machine learning include poor gene...

12 Andrew Cropper, et al. ∙

∙ 11/15/2019

Forgetting to learn logic programs

Most program induction approaches require predefined, often hand-enginee...

0 Andrew Cropper, et al. ∙

∙ 07/25/2019

Learning higher-order logic programs

A key feature of inductive logic programming (ILP) is its ability to lea...

0 Andrew Cropper, et al. ∙

∙ 07/25/2019

Logical reduction of metarules

Many forms of inductive logic programming (ILP) use metarules, second-or...

0 Andrew Cropper, et al. ∙

∙ 06/23/2019

Inductive general game playing

General game playing (GGP) is a framework for evaluating an agent's gene...

2 Andrew Cropper, et al. ∙

∙ 04/18/2019

Playgol: learning programs through play

Children learn though play. We introduce the analogous idea of learning ...

0 Andrew Cropper, et al. ∙

∙ 02/26/2019

SLD-Resolution Reduction of Second-Order Horn Fragments -- technical report --

We present the derivation reduction problem for SLD-resolution, the unde...

0 Sophie Tourret, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world