Simple models for simple calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1661, Issue , 1999, Pages 173-188

  Ligozat, Gérard ^a  

^a CNRS   (France)

Author keywords

Composition tables; Nite models; RCC calculi; Scenario; Spatial constraint networks

Indexed keywords

COMPUTATION THEORY; GEOGRAPHIC INFORMATION SYSTEMS; INFORMATION THEORY; PATHOLOGY;

COMPOSITION TABLES; EUCLIDEAN SPACES; RCC CALCULI; SCENARIO; SIMPLE STRUCTURES; SPATIAL CONSTRAINTS; TOPOLOGICAL SPACES; WEAK MODELS;

BIOMINERALIZATION;

EID: 10644277522     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48384-5_12     Document Type: Conference Paper

References (12)

1. [1] B. Bennett. Spatial reasoning with propositional logic. In Proc. of KR'94. Morgan Kaufmann, 1994.
2. [2] B. Bennett. Modal logics for qualitative spatial reasoning. Bull. of the IGPL, 4(1), 1995.
3. [3] B. Bennett. Carving up space: steps towards construction of an absolutely complete theory of spatial regions. In Proc. of JELIA'96, LNCS 1126, 1996.
4. [4] M.J. Egenhofer. Reasoning about binary topological relations. In Proc. of SSD'91, volume LNCS 525, pages 143-160. Springer, 1991.
5. [5] N.M. Gotts. An axiomatic approach to topology for information systems. Technical Report TR-96-25, University of Leeds, School of Computer Studies, 1996.
6. [6] B. Jonsson and A. Tarski. Boolean algebras with operators, part II. American J. of Mathematics, 74:127-162, 1952.
7. [7] G. Ligozat. Weak Representations of Interval Algebras. In Proc. of AAAI-90, pages 715-720, 1990.
8. [8] B. Nebel. Computational properties of qualitative spatial reasoning: First results. In Proc. of KI'95, LNCS 981, pages 233-244. Springer, 1994.
9. [9] D. Randell, Z. Cui, and T. Cohn. An interval logic for space based on "connection". In B. Neumann, editor, Proc. of ECAI-92, pages 394-398. Wiley, 1992.
10. [10] J. Renz. A canonical model of the region connection calculus. In Proc. Of KR'98, Trento, Italy, 1998.
11. [11] J. Renz and B. Nebel. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. In Proc. of IJCAI-97, pages 522-527, 1997.
12. [12] J. G. Stell and M. F. Worboys. The algebraic structure of sets of regions. In Proc. of COSIT'97, LNCS, pages 163-174, 1997.