A new polynomial-time algorithm for linear programming
Combinatorica
Introduction to algorithms
Representations of commonsense knowledge
Representations of commonsense knowledge
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
A canonical form for generalized linear constraints
Journal of Symbolic Computation
Effective solution of qualitative interval constraint problems
Artificial Intelligence
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Naive topology: modeling the force pump
Recent advances in qualitative physics
Journal of the ACM (JACM)
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Efficient algorithms for qualitative reasoning about time
Artificial Intelligence
Using spatial logic to describe visual languages
Artificial Intelligence Review - Special issue on integration of natural language and vision processing: recent advances
Qualitative representation of positional information
Artificial Intelligence
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Topological queries in spatial databases
Journal of Computer and System Sciences
Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation
Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation
A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on 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
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Incremental Algorithms for Managing Temporal Constraints
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Combining multiple representations in a spatial reasoning system
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
Vitra guide: multimodal route descriptions for computer assisted vehicle navigation
IEA/AIE'93 Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems
On finding a solution in temporal constraint satisfaction problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A complete classification of tractability in RCC-5
Journal of Artificial Intelligence Research
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A simple way to improve path consistency processing in interval algebra networks
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence Review
Spatial inference with geometric proportional analogies
Artificial Intelligence Review
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Topological relations from metric refinements
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On combinations of binary qualitative constraint calculi
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 representation and reasoning in the SparQ-toolbox
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Merging qualitative constraint networks defined on different qualitative formalisms
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Reasoning about cardinal directions between extended objects
Artificial Intelligence
A Combined Calculus on Orientation with Composition Based on Geometric Properties
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Information Sciences: an International Journal
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A syntactical approach to qualitative constraint networks merging
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Distributed spatial reasoning for wireless sensor networks
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
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
New rules for hybrid spatial reasoning
IDEAL'05 Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning
Spatial reasoning based spatial data mining for precision agriculture
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
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
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Knowledge representation and reasoning for qualitative spatial change
Knowledge-Based Systems
Tools and techniques in qualitative reasoning about space
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
Representation and reasoning about general solid rectangles
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Combining RCC5 relations with betweenness information
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Multi-granularity and metric spatial reasoning
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Information about the size of spatial regions is often easily accessible and, when combined with other types of spatial information, it can be practically very useful. In this paper we introduce four classes of qualitative and metric size constraints, and we study their integration with the Region Connection Calculus RCC-8, a well-known approach to qualitative spatial reasoning with topological relations. We propose a new path-consistency algorithm for combining RCC-8 relations and qualitative size relations. The algorithm is complete for deciding satisfiability of an input set of topological constraints over one of the three maximal tractable subclasses of RCC-8 containing all the basic relations. Moreover, its time complexity is cubic and is the same as the complexity of the best-known method for deciding satisfiability when only these topological relations are considered. We also provide results on finding a consistent scenario in cubic time for these combined classes. Regarding metric size constraints, we first study their combination with RCC-8 and we show that deciding satisfiability for the combined sets of constraints is NP-hard, even when only the RCC-8 basic relations are used. Then we introduce RCC-7, a subalgebra of RCC-8 that can be used for applications where spatial regions cannot partially overlap. We show that reasoning with the seven RCC-7 basic relations and the universal relation is intractable, but that reasoning with the RCC-7 basic relations combined with metric size information is tractable. Finally, we give a polynomial algorithm for the latter case and a backtracking algorithm for the general case.