Keyphrases
- multi context systems
- qualitative physics
- intuitionistic logic
- meta level
- qualitative reasoning
- model based reasoning
- knowledge representation and reasoning
- proof theoretic
- computational properties
- reasoning tasks
- knowledge representation
- reasoning systems
- machine learning
- causal reasoning
- analogical reasoning
- contextual knowledge
- reasoning engine
- automated reasoning
- domain knowledge
- knowledge base