Induction of Horn Clauses: Methods and the Plausible Generalization Algorithm

Wray L. Buntine. Induction of Horn Clauses: Methods and the Plausible Generalization Algorithm. International Journal of Man-Machine Studies, 26(4):499-519, 1987.

Abstract

Abstract is missing.