Constraint Networks of Topological Relations and Convexity

Constraints

Volumn 4, Issue 3, 1999, Pages 241-280

  Davis, Ernest ^b   Gotts, Nicholas Mark ^a   Cohn, Anthony G ^b  

^a SCOTTISH CROP RESEARCH INSTITUTE   (United Kingdom)

^b NONE

Author keywords

Complexity; Constraints; Convexity; Expressivity; RCC8; Topology

Indexed keywords

EID: 0000933941     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026401931919     Document Type: Article

References (15)

1. J. Allen (1983). Maintaining knowledge about temporal intervals. Comm. ACM 26: 832-843.
2. S. Basu, R. Pollack, and M.-F. Roy (1994). On the combinatorial and algebraic complexity of quantifier elimination. In Proc. Foundations of Computer Science, pages 632-641. IEEE Computer Society.
3. th International Conference on Principles of Knowledge Representation and Reasoning, pages 51-62, Bonn, Germany. Morgan Kaufmann, San Mateo, California.
4. A. G. Cohn (1995). A hierarchical representation of qualitative shape based on connection and convexity. In A. Frank, editor, Spatial Information Theory: A Theoretical Basis for GIS, Proceedings of COSIT'95, LNCS 988, pages 311-326, Springer Verlag, New York.
5. A. G. Cohn, D. A. Randell and Z. Cui (1995). Taxonomies of logically defined qualitative spatial relations. In N. Guarino and R. Poli, editors, International Journal of Human-Computer Studies, special issue on Formal Ontology in Conceptual Analysis and Knowledge Representation, 43(5-6): 831-846.
6. H. S. M. Coxeter (1987). Projective Geometry. (2nd ed.) Springer-Verlag, New York.
7. B. Faltings (1995). Qualitative spatial reasoning using algebraic topology. In A. Frank, editor, Spatial Information Theory: A Theoretical Basis for GIS: Proceedings of COSIT'95, LNCS 988, pages 17-30, Springer Verlag, New York.
8. A. Grzegorczyk (1951). Undecidability of some topological theories. Fundamenta Mathematicae 38: 137-152.
9. B. Mishra (1997). Computational real algebraic geometry. In J.E. Goodman and J. O'Rourke, editors, CRC Handbook of Discrete and Computational Geometry, CRC Series, Discrete and Combinatorial Mathematics, pages 537-558, CRC Press, Boca Raton, Florida.
10. D. A. Randell and A. G. Cohn (1989). Modelling topological and metrical properties in physical processes. In Proc. of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 357-367, Toronto, Ontario. Morgan Kaufmann, San Mateo, California.
11. D. A. Randell and A. G. Cohn (1992). Naive topology: modelling the force pump. In P. Struss and B. Faltings, editors, Advances in Qualitative Physics, pages 177-192, MIT Press, Cambridge, Massachusetts.
12. D. A. Randell, Z. Cui, and A. G. Cohn (1992). A spatial logic based on regions and connection. Third International Conference on Principles of Knowledge Representation and Reasoning, pages 165-176, Boston, MA. Morgan Kaufmann, San Mateo, California.
13. th IJCAI, pages 522-527, Nagoya, Japan.
14. A. Tarski (1951). A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California.
15. A. Tarski (1956). Sentential calculus and topology, in L. Brouwer, E. Beth, and A. Heyting, editors, Logic, Semantics, Metamathematics, Oxford Clarendon Press.