Inductive Logic Programming (ILP) systems constructmodels for data using domain-specific background information. When using these systems, it is typically assumed that sufficient human expertise is at hand to rule out ...