Learning programs by learning from failures A Cropper, R Morel Machine Learning 110 (4), 801-856, 2021 | 82 | 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 | 14 | 2019 |
Predicate invention by learning from failures A Cropper, R Morel arXiv preprint arXiv:2104.14426, 2021 | 8 | 2021 |
Logic Gates, Circuits, Processors, Compilers and Computers JF Groote, R Morel, J Schmaltz, A Watkins Springer, 2021 | 6 | 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 |
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 |