Keyphrases
- argumentation semantics
- description logics
- nonmonotonic reasoning
- query answering
- argumentation frameworks
- decision procedures
- strongly connected components
- type checking
- practical reasoning
- argumentation theory
- artificial intelligence
- programming language
- multi dimensional
- sufficient conditions
- software engineering
- object oriented
- cooperative
- default theories
- optimal solution
- knowledge base