Inductive Logic Programming

Perform Knowledge-based Inductive Learning using knowledge expressed in First-Order Predicate Logic.

Inverse Resolution

Generates new predicates with which new theories can be expressed.