Keyphrases
- qualitative reasoning
- knowledge base
- knowledge representation
- reasoning systems
- database
- reasoning process
- spatial reasoning
- resource bounded
- automated reasoning
- integrity constraints
- neural network
- meta level
- probabilistic reasoning
- inference engine
- reasoning tasks
- logical framework
- computational properties
- information systems
- consistency checking
- model based reasoning
- reasoning problems