Keyphrases
- inheritance reasoning
- default reasoning
- multiple inheritance
- nonmonotonic reasoning
- defeasible logic
- object oriented databases
- object oriented
- theoretically sound
- conflicting information
- default logic
- defeasible reasoning
- knowledge representation
- update semantics
- database
- blind source separation
- similarity measure
- argumentation schemes
- multiscale
- practical reasoning
- answer set programming
- object model
- logic programming
- logic programs