Keyphrases
- knowledge representation
- reasoning process
- automated reasoning
- model based reasoning
- reasoning systems
- deductive reasoning
- real time
- resource bounded
- formal models
- knowledge representation and reasoning
- qualitative reasoning
- spatial reasoning
- data mining
- databases
- reasoning tasks
- meta level
- autonomous agents
- knowledge base
- analogical reasoning
- neural network
- rule based reasoning
- reasoning mechanisms
- reasoning engine
- logical reasoning