Andrew Cropper
TitleCited byYear
Learning Higher-Order Logic Programs through Abstraction and Invention.
A Cropper, SH Muggleton
IJCAI 2016, 2016
322016
Learning Efficient Logical Robot Strategies Involving Composable Objects
A Cropper, SH Muggleton
IJCAI 2015, 2015
252015
Logical minimisation of meta-rules within meta-interpretive learning
A Cropper, SH Muggleton
ILP 2014, 2014
232014
Metagol System
A Cropper, S Muggleton
https://github.com/metagol/metagol, 2016
132016
Meta-interpretive learning of data transformation programs
A Cropper, A Tamaddoni-Nezhad, SH Muggleton
ILP 2015, 46-59, 2015
102015
Learning Efficient Logic Programs.
A Cropper, S Muggleton
Machine Learning, 2018
92018
Learning efficient logic programs
A Cropper
IJCAI 2015, 2015
92015
Typed meta-interpretive learning for proof strategies.
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
72015
Efficiently learning efficient programs
A Cropper
Imperial College London, 2017
52017
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
ILP 2018, 2018
42018
Can predicate invention compensate for incomplete background knowledge?
A Cropper, S Muggleton
Thirteenth Scandinavian Conference on Artificial Intelligence: SCAI 2015 278, 27, 2015
3*2015
Identifying and inferring objects from textual descriptions of scenes from books
A Cropper
2014 Imperial College Computing Student Workshop 43, 19-26, 2014
12014
Typed meta-interpretive learning of logic programs
R Morel, A Cropper, CHL Ong
European Conference on Logics in Artificial Intelligence, 198-213, 2019
2019
SLD-resolution reduction of second-order Horn fragments
S Tourret, A Cropper
European Conference on Logics in Artificial Intelligence, 259-276, 2019
2019
Playgol: learning programs through play
A Cropper
IJCAI 2019, 2019
2019
Logic-Based Inductive Synthesis of Efficient Programs.
A Cropper
IJCAI, 3980-3981, 2016
2016
Modelling Stock Volume Using Twitter
A Cropper
http://andrewcropper.com/pubs/msc-thesis.pdf, 2011
2011
Meta-interpretive learning of efficient logic programs
A Cropper, SH Muggleton
The system can't perform the operation now. Try again later.
Articles 1–18