Pages that link to "Item:Q2729670"

The following pages link to Qualitative spatial representation and reasoning: An overview (Q2729670):

Displaying 35 items.

• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
• Probabilistic composition of cone-based cardinal direction relations (Q408763) (← links)
• A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
• Reasoning about visibility (Q420853) (← links)
• Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (Q464617) (← links)
• Counter-example construction with Euler diagrams (Q495828) (← links)
• Formalising the Fisherman's Folly puzzle (Q543602) (← links)
• Boolean logics with relations (Q604451) (← links)
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I (Q626042) (← links)
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
• Mereotopological connection (Q1402583) (← links)
• A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
• Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
• Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking (Q1783933) (← links)
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
• Complementation in representable theories of region-based space (Q1949166) (← links)
• Extensions of dualities and a new approach to the Fedorchuk duality (Q2217245) (← links)
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics (Q2269133) (← links)
• A calculus of regions respecting both measure and topology (Q2281314) (← links)
• Extended contact algebras and internal connectedness (Q2307301) (← links)
• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I (Q2342312) (← links)
• Fuzzy region connection calculus: representing vague topological information (Q2379308) (← links)
• On repairing and querying inconsistent probabilistic spatio-temporal databases (Q2406905) (← links)
• A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
• Qualitative relations between moving objects in a network changing its topological relations (Q2482182) (← links)
• GNet: a generalized network model and its applications in qualitative spatial reasoning (Q2482430) (← links)
• Rough mereology in information systems. A case study: Qualitative spatial reasoning (Q2785005) (← links)
• Reasoning with topological and directional spatial information (Q2857285) (← links)
• A framework to support qualitative reasoning about COAs in a dynamic spatial environment (Q3065454) (← links)
• A Qualitative Hidden Markov Model for Spatio-temporal Reasoning (Q3524982) (← links)
• (Q4435924) (← links)
• (Q4533361) (← links)
• On dimension andweight of a local contact algebra (Q5088152) (← links)
• Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Q5154742) (← links)
• Logics for extended distributive contact lattices (Q5375878) (← links)