A new tractable subclass of the rectangle algebra

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 442-447

  Balbiani, P ^a   Condotta, J F ^b   Farinas Del Cerro, L ^b  

^a Laboratoire d'Informatique de Paris Nord   (France)

^b IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION METHOD; EUCLIDEAN SPACES; FUNDAMENTAL OPERATIONS; INTERVAL ALGEBRA; INTERVAL NETWORK; ORTHOGONAL BASIS; PATH CONSISTENCY; RECTANGLE ALGEBRA;

ARTIFICIAL INTELLIGENCE;

EID: 84880655036     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. J. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, Volume 26, 832-843, 1983.
2. P. Balbiani, J-F. Condotta and L. Farinas del Cerro. A model for reasoning about bidimensional temporal relations. A.G. Colin, L. Schubert, and S.C. Shapiro (editors), KR/98. Proc of the 6th Int. Conf., 124-130, Morgan Kaufmann, 1998.
3. M. Fgenhofer and R. Franzosa. Point-set topological spatial relations. International Journal of Geographical Information Svstems 5(2), 161-174, 1991.
4. C. Preska. Using orientation information for qualitative spatial reasoning. A U. Frank, I. Campari, and U. Formentini (editors), Theories and Methods of Spatio Temporal Reasoning in Geographic Space, Proc. of the Int. Conf. CIS - From Space to Territory, 162-178, Springer Verlag, 1992.
5. H. Giisgen. Spatial reasoning based on Aliens temporal logic. Report 1CSI TR89-049, International Computer Science Institute, 1989.
6. G. Ligozat. Tractable relations in temporal reasoning: pre-convex relations. ECA1-94. Workshop on Spatial and Temporal Reasoning, 99-108, 1994.
7. G. Ligozat. A new proof of tractability for ORD-Horn relations. AAAI-96. Proc. of the 13th Nat. Conf. on Artificial Intelligence, Volume one, 395-401, AAAI Press and MIT Press, 1996.
8. B. Nebel, IP J. Biirckert. Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebra. AAAI 94. Proc. of the 12th Nat. Conf. on Artificial Intelligence. Volume one, 356-361, AAAI Press and MIT Press, 1994.
9. A. Mukerjee, G. Joe. . 4 Qualitative Model For Space. AAAI-90. Proc. of the 8th Nat. Conf. on Artificial Intelligence, Volume two, 721-727, AAAI Press and MIT Press, 1990.
10. Randell, Z. Cui, T. Cohn. An interval logic for space based on "connection". B. Neumann (editor), ECAI-92. Proc. of the 10th European Conf. on Artificial Intelligence, 394-398, Wiley, 1992.
11. J. Renz, B. Nebel. On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus. M. Polack (editor), IJCAI-97. Proc. of the 15th Int. Joint Conf. on Artificial Intelligence, Volume one, 522-527, Morgan Kaufrnann, 1997.
12. P. van Beek. Reasoning about qualitative temporal information. Artificial Intelligence, 58(1-3), 297-321, 1992.