Keyphrases
- reasoning systems
- automated reasoning
- knowledge representation and reasoning
- description logics
- logic programming
- diagnostic reasoning
- defeasible logic
- nonmonotonic reasoning
- multiple inheritance
- image interpolation
- interpolation method
- knowledge representation
- nonmonotonic logics
- linear interpolation
- modal logic
- interpolation methods
- default logic
- graphical models
- general purpose
- image segmentation
- machine learning