Learning programs by learning from failures A Cropper, R Morel Machine Learning 110 (4), 801-856, 2021 | 94 | 2021 |
Learning higher-order logic programs A Cropper, R Morel, S Muggleton Machine Learning 109, 1289-1322, 2020 | 39 | 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 | 7 | 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 | 6 | 2020 |
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 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 |
Transform-dialect schedules: writing MLIR-lowering pipelines in MLIR R Morel https://llvm.org/devmtg/2024-04/slides/StudentTechnicalTalks/Morel-Transform …, 2024 | | 2024 |
Inductive logic programming as satisfiability modulo theories R Morel University of Oxford, 2023 | | 2023 |