Keyphrases
- model based reasoning
- reasoning process
- meta level
- reasoning tasks
- conflicting information
- reasoning problems
- consistency checking
- knowledge representation and reasoning
- reasoning systems
- knowledge base
- automated reasoning
- graphical representation
- spatial reasoning
- fuzzy reasoning
- model based diagnosis
- temporal reasoning
- logic programs
- artificial intelligence
- resource bounded
- proof theory
- machine learning