PHIL5210 - Advanced Inductive Logic