Mode-Directed Inverse Entailment for Full Clausal Theories.

Oliver Ray, Katsumi Inoue

Browse the full ILP paper archive.