Keyphrases
- knowledge base
- knowledge representation
- model based reasoning
- automated reasoning
- reasoning systems
- computer vision
- expert systems
- resource bounded
- qualitative reasoning
- reasoning process
- proof theory
- data sets
- reasoning mechanisms
- reasoning problems
- knowledge processing
- knowledge representation and reasoning
- fuzzy reasoning
- spatial reasoning
- meta level
- model based diagnosis
- artificial intelligence
- neural network