The following pages link to (Q2729670):
Displayed 31 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)
- REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION (Q2857285) (← links)
- A Qualitative Hidden Markov Model for Spatio-temporal Reasoning (Q3524982) (← 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)