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