Confirmation-Guided Discovery of First-Order Rules with Tertius

Peter A. Flach, Nicolas Lachiche. Confirmation-Guided Discovery of First-Order Rules with Tertius. Machine Learning, 42(1/2):61-95, 2001.

Abstract

Abstract is missing.