Semi-metrics, closure spaces and digital topology
Selected papers of the workshop on Topology and completion in semantics
Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
Modal logic
A note on proximity spaces and connection based mereology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Generalized region connection calculus
Artificial Intelligence
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
Fundamenta Informaticae
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
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
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
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
Hi-index | 0.00 |
We dedicate this paper to Professor Andrzej Grzegorczyk. His paper "Axiomatization of geometry without points" [20] is one of the first contributions to the region-based theory of space.