Towards inductive generalisation in higher order logic

Inductive logic programming: derivations, successes and shortcomings

ACM SIGART Bulletin

Higher Order Generalization

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence

Can HOLL outperform FOLL?

ILP'10 Proceedings of the 20th international conference on Inductive logic programming

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence