Rolf Morel
Rolf Morel
Universtity of Oxford
Verified email at
Cited by
Cited by
Learning higher-order logic programs
A Cropper, R Morel, S Muggleton
Machine Learning, 1-34, 2019
Typed meta-interpretive learning of logic programs
R Morel, A Cropper, CHL Ong
European Conference on Logics in Artificial Intelligence, 198-213, 2019
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
Learning programs by learning from failures
A Cropper, R Morel
arXiv preprint arXiv:2005.02259, 2020
Typed meta-interpretive learning of logic programs
CHL Ong, R Morel, A Cropper
Department of Mathemathics and Computer Science, University of Calabria, 2019
Learning Higher-Order Programs Through Predicate Invention
A Cropper, R Morel, SH Muggleton
The system can't perform the operation now. Try again later.
Articles 1–6