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. We develop the ILP system Popper.
04.09.23 Filipe Gouveia has joined our group as a postdoc.
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.
18.02.23 I gave a new faculty talk at AAAI23.
18.02.23 We presented our MLJ paper learning programs by learning from failures (slides) in the journal track at AAAI23.
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).