| Learning programs by learning from failures A Cropper, R Morel Machine Learning 110 (4), 801-856, 2021 | 80 | 2021 |
| Learning higher-order logic programs A Cropper, R Morel, S Muggleton Machine Learning 109, 1289-1322, 2020 | 37 | 2020 |
| Typed meta-interpretive learning of logic programs R Morel, A Cropper, CHL Ong European Conference on Logics in Artificial Intelligence, 198-213, 2019 | 13 | 2019 |
| Predicate invention by learning from failures A Cropper, R Morel arXiv preprint arXiv:2104.14426, 2021 | 8 | 2021 |
| Lower bounds for dynamic programming on planar graphs of bounded cutwidth B van Geffen, B Jansen, A de Kroon, R Morel Journal of Graph Algorithms and Applications 24 (3), 461-482, 2020 | 6 | 2020 |
| Logic Gates, Circuits, Processors, Compilers and Computers JF Groote, R Morel, J Schmaltz, A Watkins Springer, 2021 | 5 | 2021 |
| Learning higher-order programs through predicate invention A Cropper, R Morel, SH Muggleton Proceedings of the AAAI Conference on Artificial Intelligence 34 (09), 13655 …, 2020 | 4 | 2020 |
| Learning logic programs by explaining their failures R Morel, A Cropper Machine Learning 112 (10), 3917-3943, 2023 | 3* | 2023 |
| Lower bounds for dynamic programming on planar graphs of bounded cutwidth BAM van Geffen, BMP Jansen, AAWM de Kroon, R Morel arXiv preprint arXiv:1806.10513, 2018 | 2 | 2018 |
| Parallel Constraint-Driven Inductive Logic Programming A Cropper, O Orhobor, C Dinu, R Morel arXiv preprint arXiv:2109.07132, 2021 | 1 | 2021 |
| Constraint-Driven Learning of Logic Programs R Morel Proceedings of the AAAI Conference on Artificial Intelligence 35 (18), 15726 …, 2021 | 1 | 2021 |
| Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs R Morel arXiv preprint arXiv:2102.12553, 2018 | 1 | 2018 |
| Learning big logical rules by joining small rules C Hocquette, A Niskanen, R Morel, M Järvisalo, A Cropper arXiv preprint arXiv:2401.16215, 2024 | | 2024 |
| Inductive logic programming as satisfiability modulo theories R Morel University of Oxford, 2023 | | 2023 |
| 13th International Symposium on Parameterized and Exact Computation (IPEC 2018) R Curticapean, J Baste, I Sau, DM Thilikos, BAM van Geffen, BMP Jansen, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
Andrew CropperUniversity of OxfordVerified email at cs.ox.ac.uk
