Confirmation-guided discovery of first order rules with Tertius (2000)

by P A Flach, N Lachiche
Venue:Machine Learning