Keyphrases
- inheritance reasoning
- proof theory
- proof theoretic
- horn logic
- knowledge representation formalisms
- expressive power
- computational properties
- reasoning process
- intuitionistic logic
- multi context systems
- default reasoning
- modal logic
- automated reasoning
- reasoning systems
- nonmonotonic reasoning
- knowledge representation
- rule based reasoning
- reasoning problems
- analogical reasoning
- inference rules
- knowledge base
- reasoning tasks
- qualitative reasoning
- meta level
- reasoning mechanisms
- valued logic
- fuzzy sets
- description logics
- nonmonotonic inference
- model based diagnosis
- propositional calculus
- query language
- database systems