A new polynomial-time algorithm for linear programming
Combinatorica
Approximate spatial reasoning: integrating qualitative and quantitative constraints
International Journal of Approximate Reasoning
Sorites paradox and vague geographies
Fuzzy Sets and Systems - Special issue on Uncertainty in geographic information systems and spatial data
Imprecise reasoning in geographic information systems
Fuzzy Sets and Systems - Special issue on Uncertainty in geographic information systems and spatial data
Individual and multipersonal fuzzy spatial relations acquired using human-machine interaction
Fuzzy Sets and Systems - Special issue on Uncertainty in geographic information systems and spatial data
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Design of Topological Predicates for Complex Crisp and Fuzzy Regions
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
On Topological Consistency and Realization
Constraints
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
GeoCLEF: the CLEF 2005 cross-language geographic information retrieval track overview
CLEF'05 Proceedings of the 6th international conference on Cross-Language Evalution Forum: accessing Multilingual Information Repositories
A fuzzy sets theoretic approach to approximate spatial reasoning
IEEE Transactions on Fuzzy Systems
Fuzzy region connection calculus: Representing vague topological information
International Journal of Approximate Reasoning
Spatial reasoning in a fuzzy region connection calculus
Artificial Intelligence
Hi-index | 0.00 |
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural language. As vagueness abounds in geography, flexible formalisms with the ability to capture vague topological information are often needed in practice. While such formalisms have already been introduced by various authors, complete reasoning procedures are usually not discussed. In this paper, we show how many interesting reasoning tasks, such as consistency checking and entailment checking, can be supported in a generalization of the well-known RCC-8 calculus. In particular, we present decision procedures based on linear programming, solving all reasoning tasks of interest. We furthermore show how deciding the consistency of vague topological information can be reduced to the consistency problem of the original RCC-8.