Rolf Morel

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Top Venues

Publications

Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
Learning big logical rules by joining small rules. CoRR (2024)
Rolf Morel, Andrew Cropper
Learning logic programs by explaining their failures. Mach. Learn. 112 (10) (2023)
Andrew Cropper, Oghenejokpeme I. Orhobor, Cristian Dinu, Rolf Morel
Parallel Constraint-Driven Inductive Logic Programming. CoRR (2021)
Rolf Morel
Constraint-Driven Learning of Logic Programs. AAAI (2021)
Rolf Morel, Andrew Cropper
Learning Logic Programs by Explaining Failures. CoRR (2021)
Andrew Cropper, Rolf Morel
Learning programs by learning from failures. Mach. Learn. 110 (4) (2021)
Andrew Cropper, Rolf Morel
Predicate Invention by Learning From Failures. CoRR (2021)
Rolf Morel
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs. CoRR (2021)
Andrew Cropper, Rolf Morel, Stephen Muggleton
Learning higher-order logic programs. Mach. Learn. 109 (7) (2020)
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
Learning Higher-Order Programs through Predicate Invention. AAAI (2020)
Andrew Cropper, Rolf Morel
Learning programs by learning from failures. CoRR (2020)
Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth. J. Graph Algorithms Appl. 24 (3) (2020)
Rolf Morel, Andrew Cropper, C.-H. Luke Ong
Typed Meta-interpretive Learning of Logic Programs. JELIA (2019)
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
Learning higher-order logic programs. CoRR (2019)
Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth. CoRR (2018)
Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth. IPEC (2018)