Keyphrases
- reasoning systems
- knowledge base
- neural network
- knowledge representation
- automated reasoning
- case study
- production rules
- qualitative reasoning
- reasoning tasks
- reasoning engine
- rule based reasoning
- microscopic images
- resource bounded
- reasoning problems
- model based reasoning
- formal models
- logical framework
- spatial reasoning
- website
- information systems
- artificial intelligence