Qualitative constraint satisfaction problems: an extended framework with landmarks
From MaRDI portal
Publication:490417
Recommendations
- scientific article; zbMATH DE number 6519660
- Constants and finite unary relations in qualitative constraint reasoning
- Finite unary relations and qualitative constraint satisfaction
- Decomposition and tractability in qualitative spatial and temporal reasoning
- On the consistency of cardinal direction constraints
Cites work
- scientific article; zbMATH DE number 6519660 (Why is no real title available?)
- A canonical model of the region connection calculus
- A finite relation algebra with undecidable network satisfaction problem
- Classifying the Complexity of Constraints Using Finite Algebras
- Closure properties of constraints
- Combining topological and size information for spatial reasoning
- Complexity of conservative constraint satisfaction problems
- Computational geometry. Algorithms and applications.
- Equivalence constraint satisfaction problems
- Graph theory
- Handbook of Spatial Logics
- Maintaining knowledge about temporal intervals
- Modelling and solving temporal reasoning as propositional satisfiability
- Networks of constraints: Fundamental properties and applications to picture processing
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- On topological consistency and realization
- Point algebras for temporal reasoning: Algorithms and complexity
- Qualitative reasoning with directional relations
- RCC8 binary constraint network can be consistently extended
- Reasoning about cardinal directions between extended objects
- Reasoning about cardinal directions between extended objects: the NP-hardness result
- Reasoning about qualitative temporal information
- Reasoning about temporal relations
- Reasoning with topological and directional spatial information
- The LAMA planner: guiding cost-based anytime planning with landmarks
- The logic of constraint satisfaction
Cited in
(10)- Learning qualitative constraint networks
- Decomposition and tractability in qualitative spatial and temporal reasoning
- Querying incomplete information in RDF with SPARQL
- Constants and finite unary relations in qualitative constraint reasoning
- Finite unary relations and qualitative constraint satisfaction
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- On redundant topological constraints
- scientific article; zbMATH DE number 6519660 (Why is no real title available?)
- On tree-preserving constraints
- Qualitative spatial reasoning in a logical framework
This page was built for publication: Qualitative constraint satisfaction problems: an extended framework with landmarks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490417)