Login / Signup
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