Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
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
Qualitative Spatio-Temporal Continuity
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
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
Composing cardinal direction relations
Artificial Intelligence
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
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
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Algebras of Approximating Regions
Fundamenta Informaticae - Qualitative Spatial Reasoning
Fundamenta Informaticae
On minimal models of the Region Connection Calculus
Fundamenta Informaticae
A Family of Directional Relation Models for Extended Objects
IEEE Transactions on Knowledge and Data Engineering
Qualitative spatial reasoning about relative point position
Journal of Visual Languages and Computing
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
Reasoning with cardinal directions: an efficient algorithm
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Generalized Region Connection Calculus
Artificial Intelligence
Reasoning about cardinal directions between extended objects
Artificial Intelligence
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
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
Combining topological and directional information: first results
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
On minimal models of the Region Connection Calculus
Fundamenta Informaticae
Fundamenta Informaticae
Extensionality of the RCC8 Composition Table
Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Algebras of Approximating Regions
Fundamenta Informaticae - Qualitative Spatial Reasoning
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Representation and reasoning about general solid rectangles
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 5.23 |