HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.

Weidong Chen Michael Kifer David Scott Warren

Published in: NACLP (1989)

Keyphrases

higher order logic
conditional logic
higher order
default reasoning
belief revision
nonmonotonic reasoning
modal logic
theorem prover
knowledge representation and reasoning
first order logic
logical framework
machine learning
genetic programming
logic programming
data representation
default logic