Keyphrases
- automated reasoning
- knowledge base
- resource bounded
- model based reasoning
- knowledge representation
- reasoning systems
- meta level
- database systems
- spatial reasoning
- reasoning process
- proof theory
- database
- rule based reasoning
- approximate reasoning
- legal reasoning
- uncertain information
- reasoning tasks
- default reasoning
- expert systems
- genetic algorithm
- machine learning
- neural network
- databases