Keyphrases
- knowledge representation
- reasoning tasks
- knowledge base
- qualitative reasoning
- logical reasoning
- consistency checking
- automated reasoning
- spatial reasoning
- meta level
- artificial intelligence
- information systems
- database
- genetic algorithm
- reasoning process
- legal reasoning
- knowledge representation and reasoning
- neural network
- artificial life
- resource bounded
- rule based reasoning
- real time