Machine invention of first-order predicates by inverting resolution (1988)

by S H Muggleton, W Buntine
Venue:In Proceedings of the 5th International Conference on Machine Learning