Domenico Corapi: Nonmonotonic inductive logic programming as abductive search. Imperial College London, UK 2012