Typed Meta-interpretive Learning of Logic Programs. - Rolf Morel; Andrew Cropper; C.-H. Luke Ong (JELIA, 2019)

Learning Higher-Order Programs through Predicate Invention. - Andrew Cropper; Rolf Morel; Stephen H. Muggleton (AAAI, 2020)

Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth. - Bas A. M. van Geffen; Bart M. P. Jansen; Arnoud A. W. M. de Kroon; Rolf Morel (J. Graph Algorithms Appl., 2020)

Learning higher-order logic programs. - Andrew Cropper; Rolf Morel; Stephen H. Muggleton (Mach. Learn., 2020)

Logic Gates, Circuits, Processors, Compilers and Computers - Jan Friso Groote; Rolf Morel; Julien Schmaltz; Adam Watkins (Springer, 2021)

Constraint-Driven Learning of Logic Programs. - Rolf Morel (AAAI, 2021)

Learning Logic Programs by Explaining Failures. - Rolf Morel; Andrew Cropper (CoRR, 2021)

Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs. - Rolf Morel (CoRR, 2021)

Predicate Invention by Learning From Failures. - Andrew Cropper; Rolf Morel (CoRR, 2021)

Parallel Constraint-Driven Inductive Logic Programming. - Andrew Cropper; Oghenejokpeme I. Orhobor; Cristian Dinu; Rolf Morel (CoRR, 2021)

Learning programs by learning from failures. - Andrew Cropper; Rolf Morel (Mach. Learn., 2021)

Learning logic programs by explaining their failures. - Rolf Morel; Andrew Cropper (Mach. Learn., 2023)

Learning Big Logical Rules by Joining Small Rules. - Céline Hocquette; Andreas Niskanen; Rolf Morel; Matti Järvisalo; Andrew Cropper (IJCAI, 2024)