I work on logic and machine learning (inductive logic programming) (ILP) at the University of Oxford. I run the logic and learning group and the Automatic Computer Scientist project. I develop the ILP system Popper.
12.05.23 Filipe Gouveia will join our group as a postdoc in September.
06.05.23 Rolf's paper on explaining the failures of logic programs has been accepted for the MLJ.
18.02.23 We gave a tutorial on inductive logic programming at AAAI23. The slides are here.
18.02.23 I gave a new faculty talk at AAAI23. The slides are here.
18.02.23 We presented our MLJ paper learning programs by learning from failures in the journal track at AAAI23. The slides are here.
18.02.23 We presented two papers at AAAI23: relational program synthesis with numerical reasoning and learning logic programs by discovering where not to search (slides).