Effective solution of qualitative interval constraint problems
Artificial Intelligence
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Exploiting the deep structure of constraint problems
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Generalized region connection calculus
Artificial Intelligence
Reasoning about vague topological information
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Spatial reasoning in a fuzzy region connection calculus
Artificial Intelligence
Supporting Frameworks for the Geospatial Semantic Web
SSTD '09 Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Qualitative spatial and temporal reasoning: efficient algorithms for everyone
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalized Region Connection Calculus
Artificial Intelligence
Qualitative CSP, finite CSP, and SAT: comparing methods for qualitative constraint-based reasoning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Customizing qualitative spatial and temporal calculi
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Qualitative reasoning with directional relations
Artificial Intelligence
Infinite qualitative simulations by means of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Knowledge representation and reasoning for qualitative spatial change
Knowledge-Based Systems
Solving non-linear arithmetic constraints in soft realtime environments
Proceedings of the 27th Annual ACM Symposium on Applied Computing
On the decidability of connectedness constraints in 2D and 3D Euclidean spaces
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Nogoods in qualitative constraint-based reasoning
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Decomposition and tractability in qualitative spatial and temporal reasoning
Artificial Intelligence
Topological Logics with Connectedness over Euclidean Spaces
ACM Transactions on Computational Logic (TOCL)
Querying incomplete geospatial information in RDF
SSTD'13 Proceedings of the 13th international conference on Advances in Spatial and Temporal Databases
Hi-index | 0.00 |
The theoretical properties of qualitative spatial reasoning in the RCC-8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC-8 instances, even if they are in the phase transition region - provided that one uses the maximal tractable subsets of RCC-8 that have been identified by us. In particular, we demonstrate that the orthogonal combination of heuristic methods is successful in solving almost all apparently hard instances in the phase transition region up to a certain size in reasonable time.