Andrew Cropper
Journals
-
Learning programs by learning from failures
A. Cropper and R. Morel
Machine learning 2021.
-
Inductive general game playing
A. Cropper, R. Evans, and M. Law
Machine learning 2020
slides
code
dataset
-
Logical reduction of metarules
A. Cropper and S. Tourret
Machine learning 2020
slides
code
-
Learning higher-order logic programs
A. Cropper, R. Morel, and S.H. Muggleton
Machine learning 2020
slides
code
-
Learning efficient logic programs
A. Cropper and S.H. Muggleton
Machine learning 2019
slides
code
Conferences
-
Knowledge refactoring for inductive program synthesis
S. Dumančić, T. Guns, and A. Cropper
AAAI 2021
-
Learning large logic programs by going beyond entailment
A. Cropper and S. Dumančić
IJCAI 2020
-
Turning 30: new ideas in inductive logic programming
A. Cropper, S. Dumančić, and S.H. Muggleton
IJCAI 2020
-
Forgetting to learn logic programs
A. Cropper
AAAI 2020
slides
code
-
Learning higher-order programs through predicate invention
A. Cropper, R. Morel, and S.H. Muggleton
AAAI 2020
slides
-
Playgol: learning programs through play
A. Cropper
IJCAI 2019
slides
code
-
SLD-resolution reduction of second-order horn fragments
S. Tourret and A. Cropper
JELIA 2019
-
Typed meta-interpretive learning of logic programs
R. Morel, A. Cropper, and L. Ong
JELIA 2019
slides
code
-
Derivation reduction of metarules in meta-interpretive learning
A. Cropper and S. Tourret
ILP 2018
slides
code
-
Learning higher-order logic programs through abstraction and invention
A. Cropper and S.H. Muggleton
IJCAI 2016
slides
code
-
Logic-based inductive synthesis of efficient programs
A. Cropper
IJCAI 2016
slides
-
Learning efficient logical robot strategies involving composable objects
A. Cropper and S.H. Muggleton
IJCAI 2015
slides
code
-
Learning efficient logic programs
A. Cropper
IJCAI 2015
slides
-
Meta-interpretive learning of data transformation programs
A. Cropper, A. Tamaddoni-Nezhad, and S.H. Muggleton
ILP 2015
slides
code
-
Typed meta-interpretive learning for proof strategies
C. Farquhar, G. Grov, A. Cropper, S.H. Muggleton, and A. Bundy
ILP 2015
-
Can predicate invention compensate for incomplete background knowledge?
A. Cropper and S.H. Muggleton
SCAI 2015
slides
-
Logical minimisation of meta-rules within meta-interpretive learning
A. Cropper and S.H. Muggleton
ILP 2014
slides
Workshops
-
SLD-resolution reduction of second-order Horn fragments
S. Tourret and A. Cropper
Termgraph 2018
-
Identifying and inferring objects from textual descriptions of scenes from books
A. Cropper
ICCSW 2014
slides
Others
-
Inductive logic programming at 30: a new introduction
A. Cropper and S. Dumančić.
Under review.
Theses
-
Efficiently learning efficient programs
A. Cropper.
PhD thesis, Imperial College London, 2017.
-
Modelling stock volume using Twitter
A. Cropper.
MSc thesis, University of Oxford, 2011.
Talks
- Inductive logic programming
UC San Diego, 2021
- Learning programs from failures
Potsdam, 2021
- Learning programs from failures
MIT, 2020
- Learning higher-order logic programs
KU Leuven, 2019
- Inductive general game playing
KU Leuven, 2019
- Playgol: learning programs through play
KU Leuven, 2019
- Inductive general game playing
MIT, 2019
- Playgol: learning programs through play
MIT, 2019
- Playgol: learning programs through play
Machine intelligence 21, 2019
- Inductive general game playing
Dagstuhl, 2019
- Playgol: learning programs through play
Dagstuhl, 2019
- Learning algorithms using logic
University of Oxford, 2019
- Learning efficient logic programs
MIT, 2018
- Learning efficient logic programs
Dagstuhl, 2017
-
Learning higher-order logic programs
Dagstuhl, 2017
- Learning efficient logic programs
Machine intelligence 20, 2016
- Logic-based learning of programs.
UC Berkeley, 2016
- Metagol.
Dagstuhl, 2015
- Predicate invention in meta-interpretive learning.
Wakayama University, Japan, 2014