What Is a qualitative calculus? A general framework

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3157, Issue , 2004, Pages 53-64

  Ligozat, Gérard ^a   Renz, Jochen ^b  

^a CNRS   (France)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; BOOLEAN ALGEBRA; FINITE ELEMENT METHOD; LINEAR ALGEBRA; MATHEMATICAL OPERATORS; ALGEBRA; ARTIFICIAL INTELLIGENCE; BIOMINERALIZATION;

NON-ASSOCIATIVE ALGEBRA (NA); PARTITION SCHEMES; RELATION ALGEBRA (RA); SEMI-ASSOCIATIVE ALGEBRA (SA); ALGEBRAIC PROPERTIES; NON-ASSOCIATIVE ALGEBRAS; QUALITATIVE CALCULUS; TIME LINE; WEAK REPRESENTATIONS;

SET THEORY; CALCULATIONS;

EID: 22944467828     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-28633-2_8     Document Type: Conference Paper

References (24)

1. J. F. Allen. Maintaining knowledge about temporal intervals. CACM, 26(11):832-843, 1983.
2. P. Balbiani and A. Osmani. A model for reasoning about topologic relations between cyclic intervals. In Proc. of KR-2000, Breckenridge, Colorado, 2000.
3. P. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A model for reasoning about bidimensional temporal relations. In Proc. of KR-98, p. 124-130, 1998.
4. P. Balbiani, J.-F. Condotta, and L. Farinas del Cerro. Spatial reasoning about points in a multidimensional setting. In Proc. IJCAI'99 Spat.&Temp. Reasoning WS, p.105-113, 1999.
5. P. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A tractable subclass of the block algebra: constraint propagation and preconvex relations. In Proc. EPIA'99, p. 75-89, 1999.
6. P. Balbiani, J.-F. Condotta, and G. Ligozat. On the Consistency Problem for the INDU Calculus. In Proc. TIME-ICTL-2003, Cairns, Australia, 2003.
7. R. Dechter, I. Meiri, and J. Pearl. Temporal Constraint Networks. AIJ, 49(1-3):61-95, 1991.
8. I. Duentsch and M. Roubens. Tangent circle algebras. In H. de Zwart, editor, Relational Methods in Computer Science, p. 300-314. LNCS, Vol.2561. Springer, 2002.
9. M. Egenhofer and A. Rodriguez. Relation Algebras over Containers and Surfaces: An Ontological Study of a Room Space. Spatial Cognition and Computation, 1(2):155-180, 1999.
10. R. Hirsch and I. Hodkinson. Relation Algebras by Games. North Holland, 2002.
11. B. Jonsson. Representation of modular lattices and relation algebras. Tr. AMS, 92:449-464, 1959.
12. P. Ladkin and R. Maddux. On Binary Constraint Problems. JACM, 41(3):435-469, 1994.
13. G. Ligozat. Weak Representations of Interval Algebras. In Proc. AAAI'90, p. 715-720, 1990.
14. G. Ligozat. On generalized interval calculi. In Proc. AAAI'91, p. 234-240, 1991.
15. G. Ligozat. Tractable relations in temporal reasoning: pre-convex relations. In Proc. of the ECAI-94 Workshop on Spatial and Temporal Reasoning, p. 99-108, Amsterdam, 1994.
16. G. Ligozat. Reasoning about cardinal directions. J. of Vis. Lang. & Comp., 1(9):23-44, 1998.
17. G. Ligozat, D. Mitra, and J.-F. Condotta. Spatial and Temporal Reasoning: Beyond Allen's Calculus. In Proc. AAAI Symp. on Found. and Appl. of Spatio-Temporal Reasoning, 2003.
18. R. Maddux. Some varieties containing relation algebras. Trans. AMS, 272(2):501-526, 1982.
19. D. Mitra. Qualitative Reasoning with Arbitrary Angular Directions. In Proc. of the AAAI-02 W20 Workshop on Spatial and Temporal Reasoning, Edmonton, Canada, 2002.
20. A. K. Pujari and A. Sattar. A new framework for reasoning about points, intervals and durations. In Proc. IJCAI'99), p. 1259-1267, 1999.
21. D. A. Randell, Z. Cui and A. G. Cohn. A spatial logic based on regions and connection. In Proc. KR'92, p. 165-176, 1992.
22. J. Renz. A spatial Odyssey of the interval algebra: 1. Directed intervals. In Proc. IJCAI'01, p.51-56, 2001.
23. A. Tarski. On the calculus of relations. Journal of Symbolic Logic, 6:73-89, 1941.
24. M. B. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proc. of AAAI-86, p. 377-382, 1986.