A Multivariate Complexity Analysis of Qualitative Reasoning Problems.
Leif ErikssonVictor LagerkvistPublished in: CoRR (2022)
Keyphrases
- complexity analysis
- reasoning problems
- interval algebra
- description logics
- decision procedures
- theoretical analysis
- tree decomposition
- reasoning tasks
- computational properties
- lower bound
- constraint satisfaction problems
- first order logic
- computational complexity
- automated reasoning
- model theoretic
- theorem proving
- branch and bound
- temporal reasoning
- fixpoint
- modal logic
- constraint satisfaction
- expressive power
- objective function