Keyphrases
- qualitative spatial reasoning
- reasoning problems
- qualitative spatial
- plausible reasoning
- theoretical framework
- deductive reasoning
- formal theory
- first order logic
- knowledge base
- probabilistic logic
- knowledge representation and reasoning
- commonsense reasoning
- proof theoretic
- reasoning processes
- formal models
- evidential reasoning
- consistency checking
- causal reasoning
- reasoning systems
- logical framework
- reasoning process
- automated reasoning