Generalisation Through Negation and Predicate Invention

Open in new window