This self-contained tutorial aims to provide a theoretical introduction to ILP, and to provide the reader with a broad basis for future research. First-order lo... » 

This self-contained tutorial aims to provide a theoretical introduction to ILP, and to provide the reader with a broad basis for future research. First-order logic, logic programming, inverse resolution, and refinement operators are all explored. «