Keyphrases
- reasoning systems
- knowledge base
- knowledge representation
- neural network
- theorem prover
- spatial reasoning
- meta level
- rule based reasoning
- resource bounded
- model based reasoning
- analogical reasoning
- probabilistic logic
- reasoning tasks
- qualitative reasoning
- formal methods
- graphical representation
- database
- search space
- expert systems
- genetic algorithm
- databases
- data sets
- real time