Keyphrases
- reasoning systems
- automated reasoning
- knowledge representation and reasoning
- description logics
- image interpolation
- defeasible logic
- multiple inheritance
- diagnostic reasoning
- nonmonotonic reasoning
- logic programming
- nonmonotonic logics
- linear interpolation
- owl dl
- digital topology
- interpolation method
- interpolation methods
- modal logic
- theorem prover
- default rules
- incomplete information
- multi context systems