Keyphrases
- higher order logic
- higher order
- theorem prover
- conditional logic
- logical framework
- default reasoning
- belief revision
- knowledge representation and reasoning
- automated reasoning
- object oriented
- pairwise
- qualitative and quantitative
- artificial intelligence
- first order logic
- general purpose
- software engineering
- xml documents