Andrew Cropper

I run the logic and learning group at the University of Oxford. We work on logic and machine learning (inductive logic programming) (ILP). We are building an Automatic Computer Scientist. We develop the ILP system Popper.

email cv


Apr 24 Two papers accepted for IJCAI24

Feb 24 Céline gave a talk on constraint programming for inductive logic programming at AAAI24

Dec 23 Two papers accepted for AAAI24

Nov 23 Rolf passed his DPhil/PhD viva!

Oct 23 Minghao Liu joined our group as a postdoc.

Oct 23 Céline presented our paper learning logic programs by combing programs (slides) at ECAI23.

Sep 23 Filipe Gouveia joined our group as a postdoc.

May 23 Rolf's paper on explaining the failures of logic programs has been accepted for the MLJ.

Feb 23 We gave a tutorial on inductive logic programming at AAAI23.

Feb 23 I gave a new faculty talk at AAAI23.

Feb 23 We presented our MLJ paper learning programs by learning from failures (slides) in the journal track at AAAI23.

Feb 23 We presented two papers at AAAI23