Rolf Morel

19 papers A* 3B 2Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Library Liberation: Competitive Performance Matmul Through Compiler-composed Nanokernels.
CoRR
Arun Thangamani, Md Asghar Ahmad Shahid, Adam Siemieniuk, Rolf Morel, Renato Golin, Alexander Heinecke
2024 A* conf
Learning Big Logical Rules by Joining Small Rules.
IJCAI
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
2024 J jnl
Learning big logical rules by joining small rules.
CoRR
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
2023 J jnl
Learning logic programs by explaining their failures.
Mach. Learn.
Rolf Morel, Andrew Cropper
2021 A* conf
Constraint-Driven Learning of Logic Programs.
AAAI
Rolf Morel
2021 J jnl
Learning Logic Programs by Explaining Failures.
CoRR
Rolf Morel, Andrew Cropper
2021 J jnl
Learning programs by learning from failures.
Mach. Learn.
Andrew Cropper, Rolf Morel
2021 — book
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
2021 J jnl
Parallel Constraint-Driven Inductive Logic Programming.
CoRR
Andrew Cropper, Oghenejokpeme I. Orhobor, Cristian Dinu, Rolf Morel
2021 J jnl
Predicate Invention by Learning From Failures.
CoRR
Andrew Cropper, Rolf Morel
2021 J jnl
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs.
CoRR
Rolf Morel
2020 A* conf
Learning Higher-Order Programs through Predicate Invention.
AAAI
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
2020 J jnl
Learning higher-order logic programs.
Mach. Learn.
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
2020 J jnl
Learning programs by learning from failures.
CoRR
Andrew Cropper, Rolf Morel
2020 J jnl
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth.
J. Graph Algorithms Appl.
Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel
2019 J jnl
Learning higher-order logic programs.
CoRR
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
2019 B conf
Typed Meta-interpretive Learning of Logic Programs.
JELIA
Rolf Morel, Andrew Cropper, C.-H. Luke Ong
2018 B conf
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth.
IPEC
Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel
2018 J jnl
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth.
CoRR
Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel