Seuraa
Andrew Cropper
Andrew Cropper
University of Oxford
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Turning 30: New ideas in inductive logic programming
A Cropper, S Dumančić, SH Muggleton
arXiv preprint arXiv:2002.11002, 2020
732020
Learning higher-order logic programs through abstraction and invention
A Cropper, SH Muggleton
Association for the Advancement of Artificial Intelligence, 2016
592016
Metagol System
A Cropper, S Muggleton
https://github.com/metagol/metagol, 2016
582016
Logical minimisation of meta-rules within meta-interpretive learning
A Cropper, SH Muggleton
Inductive Logic Programming, 62-75, 2015
512015
Learning programs by learning from failures
A Cropper, R Morel
Machine Learning 110, 801-856, 2021
452021
Learning Efficient Logical Robot Strategies Involving Composable Objects
A Cropper, SH Muggleton
IJCAI 2015, 2015
442015
Inductive logic programming at 30: a new introduction
A Cropper, S Dumančić
Journal of Artificial Intelligence Research 74, 765-850, 2022
432022
Learning Efficient Logic Programs
A Cropper, S Muggleton
Machine Learning, 2019
432019
Inductive logic programming at 30
A Cropper, S Dumančić, R Evans, SH Muggleton
Machine Learning, 1-26, 2022
362022
Learning higher-order logic programs
A Cropper, R Morel, S Muggleton
Machine Learning 109 (7), 1289-1322, 2020
332020
Meta-interpretive learning of data transformation programs
A Cropper, A Tamaddoni-Nezhad, SH Muggleton
ILP 2015, 46-59, 2015
322015
Playgol: learning programs through play
A Cropper
IJCAI 2019, 2019
312019
Logical reduction of metarules
A Cropper, S Tourret
Machine Learning, 1-47, 2019
262019
Efficiently learning efficient programs
A Cropper
Imperial College London, 2017
212017
Inductive general game playing
A Cropper, R Evans, M Law
Machine Learning 109, 1393-1434, 2020
202020
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
International Conference on Inductive Logic Programming, 1-21, 2018
182018
Forgetting to learn logic programs
A Cropper
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3676-3683, 2020
172020
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
Typed meta-interpretive learning of logic programs
R Morel, A Cropper, CHL Ong
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
102019
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
9*2021
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20