A relation-algebraic approach to the region connection calculus
From MaRDI portal
Publication:5941063
Recommendations
Cites work
- scientific article; zbMATH DE number 3869395 (Why is no real title available?)
- scientific article; zbMATH DE number 19597 (Why is no real title available?)
- scientific article; zbMATH DE number 49239 (Why is no real title available?)
- scientific article; zbMATH DE number 53312 (Why is no real title available?)
- scientific article; zbMATH DE number 67019 (Why is no real title available?)
- scientific article; zbMATH DE number 67032 (Why is no real title available?)
- scientific article; zbMATH DE number 67038 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 475236 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- A calculus of individuals based on 'connection'
- Binary Relations and Permutation Groups
- Connection structures
- Cylindric algebras. Part II
- Expressibility of properties of relations
- Expressive power and complexity in algebraic logic
- Individuals and points
- Minimally generated Boolean algebras
- On binary constraint problems
- Rough sets
- Varieties of relation algebras
Cited in
(36)- Connection structures
- Refinements of the RCC25 composition table
- Algebraic foundations for qualitative calculi and networks
- FULL MEREOGEOMETRIES
- On the skeleton of Stonian p-ortholattices
- Region connection calculus: Its models and composition table
- Reasoning with topological and directional spatial information
- Constants and finite unary relations in qualitative constraint reasoning
- On standard models of fuzzy region connection calculus
- A Logic of East and West
- On topological consistency and realization
- Spatial relations between indeterminate regions
- scientific article; zbMATH DE number 5033878 (Why is no real title available?)
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Relation algebras and their application in temporal and spatial reasoning
- On redundant topological constraints
- New work for Carnap's quasi-analysis
- On the complemented disk algebra
- Evolution of region connection calculus to VRCC-3D+
- Remarks on contact relations on Boolean algebras
- A representation theorem for Boolean contact algebras
- A new perspective on the mereotopology of RCC8
- RCC8 binary constraint network can be consistently extended
- Who can connect in RCC?
- On some meta-theoretic topological features of the region connection calculus
- Finitariness of elementary unification in Boolean region connection calculus
- A necessary relation algebra for mereotopology
- Composing cardinal direction relations
- Relational proof systems for spatial reasoning
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles
- Reasoning about cardinal directions between extended objects
- Contact join-semilattices
- A comment on RCC: from RCC to RCC\(^{++}\)
- Generalized region connection calculus
- The complexity of constraint satisfaction problems for small relation algebras
- Combining topological and size information for spatial reasoning
This page was built for publication: A relation-algebraic approach to the region connection calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941063)
