Towards Inductive Generalization in Higher Order Logic.

Cao Feng, Stephen H. Muggleton

Browse the full ICML paper archive.