Keyphrases
- real world
- automated reasoning
- reasoning systems
- early warning
- spatial reasoning
- logical reasoning
- reduction method
- reasoning process
- qualitative reasoning
- knowledge representation
- knowledge base
- neural network
- data sets
- meta level
- model based diagnosis
- domain knowledge
- information retrieval
- reasoning problems
- symmetry detection