Temporal reasoning based on semi-intervals
Artificial Intelligence
Effective solution of qualitative interval constraint problems
Artificial Intelligence
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Maintaining knowledge about temporal intervals
Communications of the ACM
Combining topological and size information for spatial reasoning
Artificial Intelligence
A Formal Definition of Binary Topological Relationships
FOFO '89 Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Representation and Processing of Qualitative Orientation Knowledge
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Consistent Queries over Cardinal Directions Across Different Levels of Detail
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Integrated spatial reasoning in geographic information systems: combining topology and direction
Integrated spatial reasoning in geographic information systems: combining topology and direction
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
CASL specifications of qualitative calculi
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Exploiting qualitative spatial constraints for multi-hypothesis topological map learning
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Ontological diversity: the case from space
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Qualitative matching of spatial information
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Efficient reasoning with RCC-3D
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Implementing a qualitative calculus to analyse moving point objects
Expert Systems with Applications: An International Journal
A much better polynomial time approximation of consistency in the LR calculus
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
A hybrid geometric-qualitative spatial reasoning system and its application in GIS
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Robotics and Autonomous Systems
Hi-index | 0.00 |
A multitude of calculi for qualitative spatial reasoning (QSR) have been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi are only partially specified and implementations are rarely available. With the SparQ toolbox presented in this text, we seek to improve this situation by making common calculi and standard reasoning techniques accessible in a way that allows for easy integration into applications. We hope to turn this into a community effort and encourage researchers to incorporate their calculi into SparQ. This text is intended to present SparQ to potential users and contributors and to provide an overview on its features and utilization.