I work on logic and machine learning, i.e. Inductive Logic Programming (ILP), at the University of Oxford.
I run the Logic and Learning lab and the EPSRC-funded project The Automatic Computer Scientist.
News
- 04/2021 - I gave a virtual talk on Learning higher-order logic programs to Francois Bry's group at LMU University of Munich. It was great to talk about Prolog!
- 03/2021 - I was awarded a five-year EPSRC Early Career Fellowship (EP/V040340/1) to work on The Automatic Computer Scientist. I will recruit multiple postdocs in 2021, 2022, and 2023 to work on this project. I am specifically looking for at least one expert in constraint satisfaction problems (SAT/ASP/SMT/CP). If interested, please email me.
- 01/2021 - My DPhil student, Rolf Morel, gave a virtual talk on Learning programs from failures to Torsten Schaub's KR group at Potsdam.
- 01/2021 - I gave a virtual talk on Inductive logic programming to Judy Fan's Cognitive Tools Lab at UCSD.
- 12/2020 - Knowledge refactoring for inductive program synthesis, co-authored with Sebastijan Dumančić (KU Leuven) and Tias Guns (KU Leuven), has been accepted for AAAI 2021.
- 11/2020 - Learning programs by learning from failures, co-authored with my DPhil student, Rolf More, has been accepted for the MLJ.
- 10/2020 - Proposal for the Dagstuhl Seminar Approaches and Applications of Inductive Programming has been accepted.
- 08/2020 - Gave a virtual talk on Learning programs from failures to to Josh Tennebaum's Computational Cognitive Science at MIT.
- 07/2020 - Released a work-in-progress new introduction to ILP with Sebastijan Dumančić (KU Leuven). Our goal is to have an accessible paper that introduces the field. We would love to hear suggestions for improvements!
- 04/2020 - Learning large logic programs by going beyond entailment, co-authored with Sebastijan Dumančić (KU Leuven), accepted for IJCAI 2020.
- 04/2020 - Turning 30: new ideas in inductive logic programming, co-authored with Sebastijan Dumančić (KU Leuven) and Stephen Muggleton (Imperial), accepted for IJCAI 2020.
- 02/2020 - Attended AAAI20 and gave a talks on Forgetting to learn logic programs and Learning higher-order programs through predicate invention.
- 11/2019 - Learning higher-order programs through predicate invention invited as a sister conference paper for AAAI 2020.
- 11/2019 - Forgetting to learn logic programs accepted for AAAI 2020.
- 11/2019 - Learning higher-order logic programs, co-authored with Rolf Morel (Oxford) and Stephen Muggleton (Imperial), accepted for the MLJ.
- 09/2019 - Visited Sebastijan Dumančić at KU Leuven for a week. Gave talks on Learning higher-order logic programs, Inductive general game playing, and Playgol: learning programs through play.
- 09/2019 - Visited Josh Tennebaum's Computational Cognitive Science group at MIT for a week. Gave talks on Inductive general game playing and Playgol: learning programs through play.
- 09/2019 - Gave a talk on Logical reduction of metarules at ILP 2019. The paper won the best paper award!
- 09/2019 - Logical reduction of metarules, co-authored with Sophie Tourret (MPI), accepted for the MLJ.
- 09/2019 - Inductive general game playing, co-authored with Richard Evans (DeepMind) and Mark Law (Imperial), accepted for the MLJ.
- 08/2019 - Attended IJCAI 2019 and gave a talk on Playgol: learning programs through play.
- 07/2019 - Attended the Human-Like Computing meeting and gave a talk on Playgol: learning programs through play.
- 05/2019 - Hosted Mark Law (Imperial) in the CS department in Oxford. Mark gave a talk on Inductive Learning of Answer Set Programs.
- 04/2020 - Playgol: learning programs through play accepted for IJCAI 2019.
- 05/2019 - Attend the Dagstuhl seminar on Approaches and Applications of Inductive Programming. Gave talks on Inductive general game playing and Playgol: learning programs through play.
- 09/2018 - Visited Josh Tennebaum's Computational Cognitive Science group at MIT for a week. Gave a talk on Learning efficient logic programs.
- 09/2018 - Gave a talk on Learning efficient logic programs at ILP 2018. The paper won the best paper award!
- 04/2018 - Learning efficient logic programs, co-authored with Stephen Muggleton (Imperial), accepted for the MLJ.
- 01/2018 - I joined Hertford College at the University of Oxford as a Junior Research Fellow.