Keyphrases
- inheritance reasoning
- knowledge representation
- defeasible logic programming
- default reasoning
- object oriented
- argumentation frameworks
- nonmonotonic reasoning
- theoretically sound
- multiple inheritance
- defeasible logic
- artificial intelligence
- object oriented databases
- probabilistic reasoning
- object model
- default logic
- legal reasoning
- formal model
- defeasible reasoning
- logic programming
- database
- conceptual graphs
- partial order
- update semantics
- information retrieval