A Multivariate Complexity Analysis of Qualitative Reasoning Problems.
Leif ErikssonVictor LagerkvistPublished in: IJCAI (2022)
Keyphrases
- complexity analysis
- reasoning problems
- interval algebra
- description logics
- theoretical analysis
- decision procedures
- reasoning tasks
- computational properties
- lower bound
- constraint satisfaction problems
- qualitative and quantitative
- tree decomposition
- computational complexity
- first order logic
- ontology languages
- constraint networks
- model theoretic
- database systems
- search space
- data structure