A note on proximity spaces and connection based mereology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Combining topological and size information for spatial reasoning
Artificial Intelligence
A Qualitative Account of Discrete Space
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
Region connection calculus: its models and composition table
Artificial Intelligence
Extensionality of the RCC8 composition table
Fundamenta Informaticae
Part and Complement: Fundamental Concepts in Spatial Relations
Annals of Mathematics and 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
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Generalized region connection calculus
Artificial Intelligence
Construction of Boolean contact algebras
AI Communications - Spatial and Temporal Reasoning
Pre-apartness structures on spaces of functions
Journal of Complexity
Fundamenta Informaticae
On minimal models of the Region Connection Calculus
Fundamenta Informaticae
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
Mephisto I towards a formal theory
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
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
Tucking RCC in Cyc's ontological bed
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Generalized Region Connection Calculus
Artificial Intelligence
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
Ontology Verification with Repositories
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Reasoning about cardinal directions between extended objects
Artificial Intelligence
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
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
Time-Dependent contact structures in goguen categories
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
CASL specifications of qualitative calculi
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Tools and techniques in qualitative reasoning about space
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A mereotopological product relationship description approach for assembly oriented design
Robotics and Computer-Integrated Manufacturing
RCC8 is polynomial on networks of bounded treewidth
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
Fundamenta Informaticae
Extensionality of the RCC8 Composition Table
Fundamenta Informaticae
Extension properties of boolean contact algebras
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 0.03 |