Keyphrases
- reasoning systems
- reasoning process
- knowledge base
- reasoning processes
- analogical reasoning
- consistency checking
- knowledge representation
- reasoning engine
- rule based reasoning
- formal models
- qualitative reasoning
- spatial reasoning
- meta level
- reasoning tasks
- automated reasoning
- model based diagnosis
- reasoning problems
- production rules
- logic programming
- logic programs
- deductive reasoning
- conflicting information