https://www.andrewcropper.com/group
The Logic and Learning (LOL) group works on inductive logic programming
Logic and Learning lab