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