Andrew Cropper
TitleCited byYear
Learning Higher-Order Logic Programs through Abstraction and Invention.
A Cropper, SH Muggleton
IJCAI, 1418-1424, 2016
242016
Learning Efficient Logical Robot Strategies Involving Composable Objects
A Cropper, SH Muggleton
Proceedings of the 24th international joint conference on Artificial …, 2015
222015
Logical minimisation of meta-rules within meta-interpretive learning
A Cropper, SH Muggleton
Proceedings of the 24th international conference on inductive logic …, 2014
182014
Meta-interpretive learning of data transformation programs
A Cropper, A Tamaddoni-Nezhad, SH Muggleton
International Conference on Inductive Logic Programming, 46-59, 2015
102015
Typed meta-interpretive learning for proof strategies.
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
62015
Metagol System
A Cropper, S Muggleton
https://github.com/metagol/metagol, 2016
52016
Learning Efficient Logic Programs.
A Cropper, S Muggleton
Machine Learning, 2018
32018
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
22014
Efficiently learning efficient programs
A Cropper
Imperial College London, 2017
12017
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
International Conference on Inductive Logic Programming, 1-21, 2018
2018
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
SLD-Resolution Reduction of Second-Order Horn Fragments
S Tourret, A Cropper
The system can't perform the operation now. Try again later.
Articles 1–15