Predicate Construction in Higher-order Logic.

Published in: Electron. Trans. Artif. Intell. (2000)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
first order logic
logical framework
machine learning
similarity measure
multi agent
knowledge representation
default reasoning
automated reasoning