Follow
Andrew Cropper
Title
Cited by
Cited by
Year
Turning 30: New ideas in inductive logic programming
A Cropper, S Dumančić, SH Muggleton
arXiv preprint arXiv:2002.11002, 2020
892020
Learning programs by learning from failures
A Cropper, R Morel
Machine Learning 110, 801-856, 2021
672021
Metagol System
A Cropper, S Muggleton
https://github.com/metagol/metagol, 2016
672016
Inductive logic programming at 30: a new introduction
A Cropper, S Dumančić
Journal of Artificial Intelligence Research 74, 765-850, 2022
662022
Learning higher-order logic programs through abstraction and invention
A Cropper, SH Muggleton
Association for the Advancement of Artificial Intelligence, 2016
602016
Inductive logic programming at 30
A Cropper, S Dumančić, R Evans, SH Muggleton
Machine Learning, 1-26, 2022
562022
Logical minimisation of meta-rules within meta-interpretive learning
A Cropper, SH Muggleton
Inductive Logic Programming, 62-75, 2015
532015
Learning Efficient Logic Programs
A Cropper, S Muggleton
Machine Learning, 2019
452019
Learning Efficient Logical Robot Strategies Involving Composable Objects
A Cropper, SH Muggleton
IJCAI 2015, 2015
432015
Learning higher-order logic programs
A Cropper, R Morel, S Muggleton
Machine Learning 109 (7), 1289-1322, 2020
352020
Playgol: learning programs through play
A Cropper
IJCAI 2019, 2019
352019
Meta-interpretive learning of data transformation programs
A Cropper, A Tamaddoni-Nezhad, SH Muggleton
ILP 2015, 46-59, 2015
342015
Logical reduction of metarules
A Cropper, S Tourret
Machine Learning, 1-47, 2019
312019
Inductive general game playing
A Cropper, R Evans, M Law
Machine Learning 109, 1393-1434, 2020
242020
Efficiently learning efficient programs.
A Cropper
Imperial College London, UK, 2017
212017
Forgetting to learn logic programs
A Cropper
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3676-3683, 2020
202020
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
International Conference on Inductive Logic Programming, 1-21, 2018
192018
Typed meta-interpretive learning of logic programs
R Morel, A Cropper, CHL Ong
European Conference on Logics in Artificial Intelligence, 198-213, 2019
122019
Typed meta-interpretive learning for proof strategies
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
112015
Knowledge refactoring for inductive program synthesis
S Dumancic, T Guns, A Cropper
Proceedings of the AAAI Conference on Artificial Intelligence 35 (8), 7271-7278, 2021
10*2021
The system can't perform the operation now. Try again later.
Articles 1–20