Extension properties of boolean contact algebras

Authors:
Ivo Düntsch;Sanjiang Li
Affiliations:
Department of Computer Science, Brock University, St. Catharines, Ontario, Canada;Centre for Quantum Computation and Intelligent Systems, University of Technology Sydney, Broadway, NSW, Australia
Venue:
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Year:
2012

Citing 8
Cited 0

Boolean connection algebras: a new approach to the Region-Connection Calculus

Artificial Intelligence
The Mereotopology of Discrete Space

COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Handbook of Spatial Logics

Handbook of Spatial Logics
Region---based theory of discrete spaces: A proximity approach

Annals of Mathematics and Artificial Intelligence
Generalized Region Connection Calculus

Artificial Intelligence
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
RCC8 is polynomial on networks of bounded treewidth

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show that the class of Boolean contact algebras has the joint embedding property and the amalgamation property, and that the class of connected Boolean contact algebras has the joint embedding property but not the amalgamation property.