Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
A note on proximity spaces and connection based mereology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Region connection calculus: its models and composition table
Artificial Intelligence
Construction of Boolean contact algebras
AI Communications - Special issue on: Spatial and temporal reasoning
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
On Topological Consistency and Realization
Constraints
On minimal models of the Region Connection Calculus
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
Fundamenta Informaticae
Region---based theory of discrete spaces: A proximity approach
Annals of Mathematics and Artificial Intelligence
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
Modal Logics for Region-based Theories of Space
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Stonian p-ortholattices: A new approach to the mereotopology RT0
Artificial Intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Contact Relations with Applications
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
On the Skeleton of Stonian p-Ortholattices
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
The lattice of contact relations on a Boolean algebra
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Boolean algebras and stone maps in Schröder categories
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
On the computability of region-based euclidean logics
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Splitting atoms in relational algebras
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
On standard models of fuzzy region connection calculus
International Journal of Approximate Reasoning
Topological representation of precontact algebras
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Topological representation of contact lattices
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Tools and techniques in qualitative reasoning about space
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Multidimensional mereotopology with betweenness
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the algebra of regular sets
Annals of Mathematics and Artificial Intelligence
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
Modal Logics for Region-based Theories of Space
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
On minimal models of the Region Connection Calculus
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
Fundamenta Informaticae
Topological Logics with Connectedness over Euclidean Spaces
ACM Transactions on Computational Logic (TOCL)
Hi-index | 5.23 |
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the region connection calculus (RCC) [D.A. Randell, A.G. Cohn, Z. Cui, Computing transitivity tables: a challenge for automated theorem provers, in: D. Kapur (Ed.), Proceedings of the 11th international conference on Automated Deduction (CADE-11), Lecture Notes in Artificial Intelligence, Vol. 607, Springer, Saratoga, Springs, NY, 1992, pp. 786-790] are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.