← LPS 31: Introduction to Inductive Logic Spring 2011