Andrew Cropper
Title
Cited by
Cited by
Year
Learning higher-order logic programs through abstraction and invention
A Cropper, SH Muggleton
Association for the Advancement of Artificial Intelligence, 2016
522016
Metagol System
A Cropper, S Muggleton
https://github.com/metagol/metagol, 2016
38*2016
Logical minimisation of meta-rules within meta-interpretive learning
A Cropper, SH Muggleton
Inductive Logic Programming, 62-75, 2015
382015
Learning Efficient Logical Robot Strategies Involving Composable Objects
A Cropper, SH Muggleton
IJCAI 2015, 2015
322015
Learning Efficient Logic Programs
A Cropper, S Muggleton
Machine Learning, 2019
282019
Meta-interpretive learning of data transformation programs
A Cropper, A Tamaddoni-Nezhad, SH Muggleton
ILP 2015, 46-59, 2015
272015
Turning 30: New ideas in inductive logic programming
A Cropper, S Dumančić, SH Muggleton
IJCAI 2020, 2020
262020
Playgol: learning programs through play
A Cropper
IJCAI 2019, 2019
182019
Learning higher-order logic programs
A Cropper, R Morel, S Muggleton
Machine Learning 109 (7), 1289-1322, 2020
172020
Efficiently learning efficient programs
A Cropper
Imperial College London, 2017
172017
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
International Conference on Inductive Logic Programming, 1-21, 2018
132018
Inductive general game playing
A Cropper, R Evans, M Law
Machine Learning, 1-42, 2019
122019
Logical reduction of metarules
A Cropper, S Tourret
Machine Learning, 1-47, 2019
122019
Learning programs by learning from failures
A Cropper, R Morel
Machine Learning, 1-56, 2021
102021
Typed meta-interpretive learning for proof strategies
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
102015
Forgetting to learn logic programs
A Cropper
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3676-3683, 2020
72020
Typed meta-interpretive learning of logic programs
R Morel, A Cropper, CHL Ong
European Conference on Logics in Artificial Intelligence, 198-213, 2019
72019
Learning large logic programs by going beyond entailment
A Cropper, S Dumančić
arXiv preprint arXiv:2004.09855, 2020
42020
Identifying and inferring objects from textual descriptions of scenes from books
A Cropper
2014 Imperial College Computing Student Workshop 43, 19-26, 2014
42014
Inductive logic programming at 30: a new introduction
A Cropper, S Dumančić
arXiv preprint arXiv:2008.07912, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20