Cao Feng, Stephen Muggleton
Towards Inductive Generalization in Higher Order Logic
ICML, 1992.
@inproceedings{ML-1992-FengM, author = "Cao Feng and Stephen Muggleton", booktitle = "{Proceedings of the Ninth International Workshop on Machine Learning}", isbn = "1-55860-247-X", pages = "154--162", publisher = "{Morgan Kaufmann}", title = "{Towards Inductive Generalization in Higher Order Logic}", year = 1992, }