Andrew Cropper
TitleCited byYear
Learning Higher-Order Logic Programs through Abstraction and Invention.
A Cropper, SH Muggleton
IJCAI 2016, 2016
392016
Learning Efficient Logical Robot Strategies Involving Composable Objects
A Cropper, SH Muggleton
IJCAI 2015, 2015
272015
Logical minimisation of meta-rules within meta-interpretive learning
A Cropper, SH Muggleton
ILP 2014, 2014
262014
Metagol System
A Cropper, S Muggleton
https://github.com/metagol/metagol, 2016
182016
Learning Efficient Logic Programs.
A Cropper, S Muggleton
Machine Learning, 2018
142018
Meta-interpretive learning of data transformation programs
A Cropper, A Tamaddoni-Nezhad, SH Muggleton
ILP 2015, 46-59, 2015
142015
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
ILP 2018, 2018
82018
Efficiently learning efficient programs.
A Cropper
Imperial College London, 2017
82017
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
Metagol system (2016)
A Cropper, SH Muggleton
5
Can predicate invention compensate for incomplete background knowledge?
A Cropper, S Muggleton
SCAI 2015, 2015
3*2015
Typed meta-interpretive learning of logic programs
R Morel, A Cropper, CHL Ong
European Conference on Logics in Artificial Intelligence, 198-213, 2019
22019
Inductive general game playing
A Cropper, R Evans, M Law
arXiv preprint arXiv:1906.09627, 2019
12019
SLD-resolution reduction of second-order Horn fragments
S Tourret, A Cropper
JELIA 2019, 259-276, 2019
12019
Identifying and inferring objects from textual descriptions of scenes from books
A Cropper
2014 Imperial College Computing Student Workshop 43, 19-26, 2014
12014
Learning higher-order logic programs
A Cropper, R Morel, SH Muggleton
arXiv preprint arXiv:1907.10953, 2019
2019
Logical reduction of metarules
A Cropper, S Tourret
arXiv preprint arXiv:1907.10952, 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
The system can't perform the operation now. Try again later.
Articles 1–20