Keyphrases
- higher order logic
- conditional logic
- higher order
- default reasoning
- belief revision
- nonmonotonic reasoning
- theorem prover
- modal logic
- knowledge representation and reasoning
- logical framework
- nonmonotonic inference
- formal methods
- automated reasoning
- data representation
- bayesian networks
- inference rules
- partial order
- natural language