scientific article; zbMATH DE number 1753151
From MaRDI portal
Publication:4533361
Recommendations
- Qualitative spatial reasoning in a logical framework
- Qualitative spatial reasoning with topological information
- Qualitative spatial representation and reasoning: An overview
- Reasoning about qualitative spatial relationships
- Special issue: Qualitative spatial reasoning
- scientific article; zbMATH DE number 2112347
Cited in
(23)- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras
- Combining topological and size information for spatial reasoning
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
- Collective singleton-based consistency for qualitative constraint networks: theory and practice
- Modelling and solving temporal reasoning as propositional satisfiability
- On the realisability of double-cross matrices by polylines in the plane
- Extension properties of Boolean contact algebras
- scientific article; zbMATH DE number 2006521 (Why is no real title available?)
- An efficient representation of general qualitative spatial information using bintrees
- Deciding the consistency of branching time interval networks
- An initial study of time complexity in infinite-domain constraint satisfaction
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
- scientific article; zbMATH DE number 7760475 (Why is no real title available?)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
- Qualitative reasoning with directional relations
- A modal logic framework for reasoning about comparative distances and topology
- On prime scenarios in qualitative spatial and temporal reasoning
- A reinforcement learning approach for resolving inconsistencies in qualitative constraint networks
- A complexity dichotomy in spatial reasoning via Ramsey theory
- Generalized region connection calculus
- Spatial reasoning in a fuzzy region connection calculus
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 Q4533361)
