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
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Region connection calculus: its models and composition table
Artificial Intelligence
Topological representation and reasoning in space
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Composing cardinal direction relations
Artificial Intelligence
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
Construction of Boolean contact algebras
AI Communications - Special issue on: Spatial and temporal reasoning
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Construction of Boolean contact algebras
AI Communications - Spatial and Temporal Reasoning
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
A Family of Directional Relation Models for Extended Objects
IEEE Transactions on Knowledge and Data Engineering
Region---based theory of discrete spaces: A proximity approach
Annals of Mathematics and Artificial Intelligence
The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Cross-cultural similarities in topological reasoning
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Qualitative simulation based on a logical formalism of space and time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The family of conceptual neighborhood graphs for region-region relations
GIScience'10 Proceedings of the 6th international conference on Geographic information science
Splitting atoms in relational algebras
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Spatial reasoning based on rules
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Infinite qualitative simulations by means of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
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
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
New rules for hybrid spatial reasoning
IDEAL'05 Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning
A rule system for heterogeneous spatial reasoning in geographic information system
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Heterogeneous spatial reasoning
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
RCC8 is polynomial on networks of bounded treewidth
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
Hi-index | 0.00 |