On redundant topological constraints
From MaRDI portal
Publication:891795
DOI10.1016/j.artint.2015.03.010zbMath1343.68234DBLPjournals/ai/LiLLDB15arXiv1403.0613OpenAlexW1993695231WikidataQ62042728 ScholiaQ62042728MaRDI QIDQ891795
Weiming Liu, Alan Both, Zhiguo Long, Sanjiang Li, Matt Duckham
Publication date: 17 November 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1403.0613
redundancyregion connection calculusqualitative spatial reasoningdistributive subalgebraprime subnetwork
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Decomposition and tractability in qualitative spatial and temporal reasoning
- Reasoning about cardinal directions between extended objects: the NP-hardness result
- Algorithms for computing minimal equivalent subformulas
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Removing redundancy from a clause
- Region connection calculus: Its models and composition table
- Reasoning about cardinal directions between extended objects
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Relation algebras and their application in temporal and spatial reasoning
- Constraint networks of topological relations and convexity
- Networks of constraints: Fundamental properties and applications to picture processing
- Redundancy in logic. I: CNF propositional formulae
- Reasoning about temporal relations
- Removing propagation redundant constraints in redundant modeling
- A relation-algebraic approach to the region connection calculus
This page was built for publication: On redundant topological constraints
