Inductive temporal logic programming. - Robert Kolter (2009)