Applications of inductive logic programming | Communications of the ACM | DeepDyve