Induction of horn-clauses: methods and the plausible generalization algorithm (1987)

by W Buntine
Venue:International Journal of Man-Machine Studies