The lattice of contact relations on a Boolean algebra

Authors:
Ivo Düntsch;Michael Winter
Affiliations:
Department of Computer Science, Brock University, St. Catharines, Ontario, Canada;Department of Computer Science, Brock University, St. Catharines, Ontario, Canada
Venue:
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
Year:
2008

Citing 6
Cited 1

Construction of Boolean contact algebras

AI Communications - Special issue on: Spatial and temporal reasoning
A representation theorem for Boolean contact algebras

Theoretical Computer Science
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
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

Extension properties of boolean contact algebras

RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Contact relations on an algebra have been studied since the early part of the previous century, and have recently become a powerful tool in several areas of artificial intelligence, in particular, qualitative spatial reasoning and ontology building. In this paper we investigate the structure of the set of all contact relations on a Boolean algebra.