Machine Invention of First Order Predicates by Inverting Resolution.

Stephen H. Muggleton, Wray L. Buntine

Browse the full ICML paper archive.