Keyphrases
- automated reasoning
- knowledge representation
- model based reasoning
- reasoning tasks
- databases
- reasoning systems
- knowledge base
- meta level
- spatial reasoning
- fuzzy reasoning
- production rules
- probabilistic reasoning
- domain knowledge
- high level
- legal reasoning
- database
- reasoning problems
- resource bounded
- rule based reasoning
- reasoning processes
- deductive reasoning