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

by Peter A Flach, Nicolas Lachiche
Venue:Machine Learning