Keyphrases
- reasoning systems
- contextual information
- first order logic
- probabilistic logic
- knowledge representation
- higher order
- probabilistic reasoning
- spatial reasoning
- meta level
- reasoning process
- analogical reasoning
- database
- knowledge representation and reasoning
- automated reasoning
- high level
- knowledge base
- artificial intelligence
- machine learning