7 citations · 19 across the 17 of their papers we have counts for
6 papers · 1 filter
Forgetting to learn logic programs
Andrew Cropper
Most program induction approaches require predefined, often hand-engineered, background knowledge (BK). To overcome this limitation, we explore methods to automatically acquire BK…
Learning higher-order logic programs
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper,…
Logical reduction of metarules
Andrew Cropper, Sophie Tourret
Many forms of inductive logic programming (ILP) use \emph{metarules}, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Decidi…
Inductive general game playing
Andrew Cropper, Richard Evans, Mark Law
General game playing (GGP) is a framework for evaluating an agent's general intelligence across a wide range of tasks. In the GGP competition, an agent is given the rules of a game…
Playgol: learning programs through play
Andrew Cropper
Children learn though play. We introduce the analogous idea of learning programs through play. In this approach, a program induction system (the learner) is given a set of tasks an…
SLD-Resolution Reduction of Second-Order Horn Fragments -- technical report --
Sophie Tourret, Andrew Cropper
We present the derivation reduction problem for SLD-resolution, the undecidable problem of finding a finite subset of a set of clauses from which the whole set can be derived using…