: An Intentional First-Order Expression of Higher-Order Logic.
Gilles DowekThérèse HardinClaude KirchnerPublished in: RTA (1999)
Keyphrases
- higher order logic
- higher order
- conditional logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- theorem prover
- modal logic
- first order logic
- pairwise
- mental states
- logical framework
- knowledge representation and reasoning
- data representation
- concept learning
- desirable properties
- temporal logic
- logic programming
- genetic programming
- object oriented
- artificial intelligence