Keyphrases
- proof theory
- computational properties
- inheritance reasoning
- expressive power
- proof theoretic
- reasoning problems
- reasoning tasks
- multi context systems
- knowledge base
- knowledge representation formalisms
- modal logic
- intuitionistic logic
- decision procedures
- qualitative reasoning
- horn logic
- model based reasoning
- automated reasoning
- nonmonotonic inference
- number restrictions
- temporal reasoning
- reasoning systems
- default reasoning
- formal models
- logic programming
- deductive reasoning
- causal reasoning
- description logics
- knowledge representation
- probabilistic reasoning
- machine learning