Towards Inductive Generalization in Higher Order Logic.

Cao Feng Stephen Muggleton

Published in: ML (1992)

Keyphrases

higher order logic
higher order
conditional logic
theorem prover
logical framework
machine learning
inductive learning
artificial intelligence
programming language
inductive logic programming
default reasoning
feature construction