Keyphrases
- inheritance reasoning
- multiple inheritance
- update semantics
- defeasible reasoning
- default reasoning
- argumentation frameworks
- formal semantics
- nonmonotonic reasoning
- object oriented
- logic programming
- conditional logic
- database
- complex objects
- defeasible logic
- knowledge representation
- object oriented databases
- data sets
- object model
- semantic information
- object identity
- artificial intelligence