When tables tell it all: Qualitative spatial and temporal reasoning based on linear orderings

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

Volumn 2205, Issue , 2001, Pages 60-75

  Ligozat, Gérard ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

Complete theory; Relation algebra; Spatial reasoning; Temporal reasoning; Weak representation

Indexed keywords

INFORMATION THEORY;

COMPLETE THEORY; RELATION ALGEBRAS; SPATIAL REASONING; TEMPORAL REASONING; WEAK REPRESENTATIONS;

ALGEBRA;

EID: 33646128358     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45424-1_5     Document Type: Conference Paper

References (24)

1. [1] Allen, J. F. Maintaining Knowledge about Temporal Intervals. Comm. of the ACM, 26:11, 832–843, 1983.
2. F.D. Anger, D. Mitra, and R.V. Rodriguez. Temporal Constraint Networks in Nonlinear Time. In Proc. of the ECAI-98 Workshop on Spatial and Temporal Reasoning (W22), pages 33–39, Brighton, UK.
3. [3] P. Balbiani and A. Osmani. A model for reasoning about topologic relations between cyclic intervals. In Proc. of KR-2000, Breckenridge, Colorado, 2000.
4. [4] Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A model for reasoning about bidimensional temporal relations. In Proc. of KR-98, pages 124–130, 1998.
5. [5] Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A new tractable subclass of the rectangle algebra. In Proc. of IJCAI-99, pages 442–447, 1999.
6. [6] Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. Spatial reasoning about points in a multidimensional setting. In Proc. of the IJCAI-99 Workshop on Spatial and Temporal Reasoning, pages 105–113, 1999.
7. [7] Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A tractable subclass of the block algebra: constraint propagation and preconvex relations. In Proc. of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), pages 75–89, 1999.
8. [8] B. Bennett, A. Isli, and A. Cohn. When does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language? In Proc. of the IJCAI-97 Workshop on Spatial and Temporal Reasoning, pages 75–81, Nagoya, Japan, 1997.
9. [9] M. Broxvall and P. Jonsson. Disjunctive Temporal Reasoning in Partially Ordered Models of Time. In Proc. of AAAI-2000, Austin, Texas, 2000.
10. [10] M.J. Egenhofer and R. Franzosa. Point-set topological spatial relations. Int. J. Geo. Info. Sys. 5(2), 161–174, 1991.
11. [11] B. Jónsson and A. Tarski. Boolean algebras with operators, part II. American J. of Mathematics, 74:127–162, 1952.
12. [12] P. Ladkin. Models of Axioms for Time Intervals. In Proc. of AAAI-87, 1987.
13. [13] G. Ligozat. Generalized Intervals: A Guided Tour. In Proc. of the ECAI-98 Workshop on Spatial and Temporal Reasoning (W22), pages 11–18, Brighton, UK, 1998.
14. [14] G. Ligozat. Weak Representations of Interval Algebras. In Proc. of AAAI-90, pages 715–720, 1990.
15. [15] G. Ligozat. On generalized interval calculi. In Proc. of AAAI-91, pages 234–240, 1991.
16. [16] G. Ligozat. Reasoning about Cardinal Directions. J. of Visual Languages and Computing, 9:23–44, 1998.
17. [17] G. Ligozat. Simple Models for Simple Calculi. In C. Freksa and D.M. Mark, editors, Proc. of COSIT’99, number 1661 in LNCS, pages 173–188. Springer Verlag, 1999.
18. [18] C.H. Papadimitriou, D. Suciu and V. Vianu. Topological Queries in Spatial Databases. In Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 81–92, 1996.
19. [19] D. Randell, Z. Cui, and T. Cohn. A spatial logic based on regions and connection. In B. Neumann, editor, Proc. of KR-92, pages 165–176, San Mateo, CA, 1992. Morgan Kaufmann.
20. [20] J. Renz. A canonical model of the region connection calculus. In Proc. of KR’98, Trento, Italy, 1998.
21. [21] L. Segoufin and V. Vianu. Querying Spatial Databases via Topological Invariants. In Proc. ACM Symp. on Principles of Database Systems, 1998.
22. [22] A. Tarski. On the calculus of relations. Journal of Symbolic Logic, 6:73–89, 1941.
23. [23] P.K. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
24. [24] D. van Dalen. Logic and Structure. Springer, 1997.