Keyphrases
- qualitative spatial reasoning
- proof procedure
- np complete
- automated theorem proving
- computational complexity
- knowledge base
- knowledge representation
- upper bound
- model based reasoning
- proof theoretic
- legal reasoning
- reasoning tasks
- automated reasoning
- knowledge representation and reasoning
- spatial reasoning
- probabilistic reasoning
- uniform distribution
- boolean functions
- computer algebra
- logic programs