scientific article; zbMATH DE number 1149443
From MaRDI portal
Publication:4386965
Recommendations
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- scientific article; zbMATH DE number 1373583
- Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Complexity classification in qualitative temporal constraint reasoning
Cited in
(18)- Maximal infinite-valued constraint languages
- Peek arc consistency
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Twenty-one large tractable subclasses of Allen's algebra
- Combining topological and size information for spatial reasoning
- Disjunctions, independence, refinements
- Constants and finite unary relations in qualitative constraint reasoning
- On the consistency of cardinal direction constraints
- Tractability in constraint satisfaction problems: a survey
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- A dichotomy for first-order reducts of unary structures
- The language of stratified sets is confluent and strongly normalising
- scientific article; zbMATH DE number 1373583 (Why is no real title available?)
- Constraint Satisfaction Problems with Infinite Templates
- Logics for stable and unstable mereological relations
- A complexity dichotomy in spatial reasoning via Ramsey theory
- The complexity of constraint satisfaction problems for small relation algebras
- On redundant topological constraints
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386965)
