On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
From MaRDI portal
Recommendations
Cited in
(56)- Maximal infinite-valued constraint languages
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras
- Querying temporal and spatial constraint networks in PTIME
- EXPtime tableaux for ALC
- Qualitative spatial reasoning with topological information
- Combining topological and size information for spatial reasoning
- Disjunctions, independence, refinements
- Constants and finite unary relations in qualitative constraint reasoning
- Relation algebras and their application in temporal and spatial reasoning
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
- Relational representation theorems for extended contact algebras
- Line-based affine reasoning in Euclidean plane
- Fuzzy region connection calculus: An interpretation based on closeness
- RCC8 binary constraint network can be consistently extended
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- On the consistency of cardinal direction constraints
- GNet: a generalized network model and its applications in qualitative spatial reasoning
- Realizing RCC8 networks using convex regions
- Drawing interactive Euler diagrams from region connection calculus specifications
- General lower bounds and improved algorithms for infinite-domain CSPs
- Reasoning with topological and directional spatial information
- Querying incomplete information in RDF with SPARQL
- Drawing Euler diagrams from region connection calculus specifications with local search
- Generalized qualitative spatio-temporal reasoning: complexity and tableau method
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- A topological constraint language with component counting
- A canonical model of the region connection calculus
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments
- Reasoning about cardinal directions between extended objects: the NP-hardness result
- Reasoning about visibility
- On standard models of fuzzy region connection calculus
- scientific article; zbMATH DE number 1149443 (Why is no real title available?)
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- Design and comparison of lattices of topological relations for spatial representation and reasoning
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
- scientific article; zbMATH DE number 1373583 (Why is no real title available?)
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Why are CSPs based on partition schemes computationally hard?
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations
- Constraint Satisfaction Problems with Infinite Templates
- On the Computational Complexity of Spatial Logics with Connectedness Constraints
- A logic for metric and topology
- Computational Short Cuts in Infinite Domain Constraint Satisfaction
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
- An arrangement calculus, its complexity and algorithmic properties
- Solving infinite-domain CSPs using the patchwork property
- A survey on approximability of traveling salesman problems using the TSP-T3CO definition scheme
- Point algebras for temporal reasoning: Algorithms and complexity
- Composing cardinal direction relations
- The complexity of constraint satisfaction problems for small relation algebras
- Generalized region connection calculus
- Spatial reasoning in a fuzzy region connection calculus
- On topological consistency and realization
- A tableau algorithm for description logics with concrete domains and general TBoxes
- On redundant topological constraints
- Reasoning about cardinal directions between extended objects
This page was built for publication: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1285670)
