Keyphrases
- reasoning systems
- knowledge base
- spatial representation and reasoning
- algebraic expressions
- maximal tractable
- meta level
- qualitative reasoning
- automated reasoning
- reasoning tasks
- reasoning process
- probabilistic logic
- uncertain information
- logic programming
- knowledge representation and reasoning
- reasoning problems
- algebraic structure
- logical reasoning
- knowledge representation
- query language
- betti numbers
- database