Logic and Learning
The Logic and Learning (LOL) group works on logic and machine learning, i.e. inductive logic programming (ILP).
Postdocs. We are hiring multiple postdocs for 1-3 years. We are looking for experts either in ILP or constraint solving (SAT/SMT/ASP/CP). If interested, email us.
PhD/DPhil students. If interested in studying for a PhD/DPhil, email us. Information on the Oxford DPhil program for computer science is available here.
Group members
Previous members
Bogdan Cretu, BA, Constraint-driven multi-task learning
Cristian Dinu, BA, Overcoming the language bias nightmare in inductive logic programming
Victor Vasiesiu, BA, Inductive general game playing
John Wahlig, MSc, Learning logic programs from noisy failures
Brad Hunter, MSc, Preprocessing in inductive logic programming
Cristian Dinu, BA, Parallel inductive logic programming
Andrei Diaconu, BA, Learning functional programs with function invention and reuse
Alastair Flynn, BA, Inducing game rules from varying quality game play
Rolf Morel, MSc, Refinement Type Directed Search for Meta-Interpretive Learning of Higher-Order Logic Programs