Keyphrases
- computational complexity
- qualitative spatial reasoning
- spatial reasoning
- knowledge base
- automated theorem proving
- upper bound
- reasoning process
- reasoning systems
- uniform distribution
- qualitative reasoning
- automated reasoning
- logical framework
- computational properties
- reasoning tasks
- proof procedure
- model based reasoning
- approximate reasoning
- np complete
- np hard
- theorem proving
- lower bound
- proof theoretic