Keyphrases
- reasoning systems
- automated reasoning
- description logics
- knowledge representation and reasoning
- diagnostic reasoning
- logic programming
- image interpolation
- linear interpolation
- multiple inheritance
- model theoretic
- nonmonotonic logics
- interpolation methods
- defeasible logic
- nonmonotonic reasoning
- modal logic
- digital topology
- neural network
- multi context systems
- knowledge representation
- owl dl
- interpolation method
- default rules
- training data
- data mining