A generic toolkit for n-ary qualitative temporal and spatial calculi

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2006, Issue , 2006, Pages 78-86

  Condotta, Jean François ^a   Ligozat, Gérard ^b   Saade, Mahmoud ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATION THEORY; CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE;

ALGEBRAIC STRUCTURE; QUALITATIVE CALCULI;

ARTIFICIAL INTELLIGENCE;

EID: 33751393893     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2006.2     Document Type: Conference Paper

References (21)

1. Allen, J.: An interval-based representation of temporal knowledge. In: Proc. of the Seventh International Joint Conference on Artificial Intelligence (IJCAI'81) (1981) 221-226.
2. Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proc. of the 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'92). (1992) 165-176.
3. Ligozat, G.: Reasoning about cardinal directions. Journal of Visual Languages and Computing 1 (1998) 23-44.
4. Pujari, A.K., Kumari, G.V., Sattar, A.: INDU: An interval and duration network. In: Australian Joint Conference on Artificial Intelligence (1999) 291-303.
5. Isli, A., Cohn, A.G.: A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence 122 (2000) 137-187.
6. Montanari, U.: Networks of constraints: Fundamental properties and application to picture processing. Information Sciences 7 (1974) 95-132.
7. Mackworth, A.K., Freuder, E.C.: The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problem. Artificial Intelligence 25 (1985) 65-74.
8. Hirsch, R. and Hodkinson, I.: Relation Algebras by Games. Volume 147. North-Holland, Studies in Logic and the Foundations of Mathematics (2002).
9. Balbiani, P., Condotta, J.F., Ligozat, G.: On the consistency problem for the INDU calculus. In: Proceedings of TIME'2003 (2003) 203-211.
10. Bacchus, F., van Beek P.: On the conversion between non-binary and binary constraint satisfaction problems. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98) (1998) 311-318.
11. Ligozat, G., Renz, J.: What is a qualitative calculus? a general framework. In: Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI) (2004).
12. Balbiani, P., Condotta, J.F., Ligozat, G.: Reasoning about cyclic space: Axiomatic and computational aspects. In: Proceedings of Spatial Cognition 2003, LNCS 2685 (2003) 348-371.
13. Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'05) (2005).
14. Vilain, M., Kautz, H.: Constraint Propagation Algorithms for Temporal Reasoning. In: Proc. of the Fifth Nat. Conf. on Art. Int. (AAAI' 86) (1986) 377-382.
15. Balbiani, P., Ligozat, G., Condotta, J.F.: Reasoning about cyclic space: axiomatic and computational aspects. In: Proceedings of Spatial Cognition 2003 (2003).
16. Balbiani, P., Osmani, A.: A model for reasoning about topologic relations between cyclic intervals. In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00) (2000).
17. Balbiani, P., Condotta, J.F., Fariñas del Cerro, L.: A new tractable subclass of the rectangle algebra. In Dean, T., ed.: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99). (1999) 4422-447.
18. Balbiani, P., Condotta, J.F., Fariñas del Cerro, L.: Spatial reasoning about points in a multidimensional setting. In: Proceedings of the workshop on temporal and spatial reasoning (IJCAI'99). (1999) 105-113.
19. van Beek, P., Manchak, D.W.: The design and experimental analysis of algorithms for temporal reasoning. Journal of Artificial Intelligence Research 4 (1996) 1-18.
20. Apt, K.R.: Principles of Constraint Programming. Cambridge University Press (2003).
21. Bessière, C.: A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96), Volume 1, (1996) 375-380.