Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework.

Niels Pahlavi Stephen H. Muggleton

Published in: ILP (Late Breaking Papers) (2011)

Keyphrases

higher order
higher order logic
learning algorithm
expressive power
learning scheme
knowledge base
decision trees
query language
data representation
conditional logic