A tractable subclass of the block algebra: Constraint propagation and preconvex relations

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

Volumn 1695, Issue , 1999, Pages 75-89

  Balbiani, Philippe ^a   Condotta, Jean Franҫois ^b   Del Cerro, Luis Fariñas ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b IRIT   (France)

Author keywords

Constraint satisfaction problems; Spatial reasoning; Tractability

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; POLYNOMIAL APPROXIMATION;

CONSTRAINT PROPAGATION; EUCLIDEAN SPACES; EXHAUSTIVE LISTS; FUNDAMENTAL OPERATIONS; ORTHOGONAL BASIS; PATH CONSISTENCY; SPATIAL REASONING; TRACTABILITY;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84957644354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48159-1_6     Document Type: Conference Paper

References (17)

1. J. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, Volume 26, 832-843, 1983.
2. J. Allen, P. Hayes. A common sense theory of time. A. Joshi (editor), IJCAI-85. Proc. of the 9th International Joint Conf. on Artificial Intelligence, Volume 1, 528-531, Morgan Kaufmann, 1985.
3. P. Balbiani, J-F. Condotta and Luis Fariñas del Cerro. A model for reasoning about bidimensional temporal relations. A.G. Cohn, L. Schubert, and S.C. Shapiro (editors), KR’98. Proc. of the 6th International Conf. on Principles of Knowledge Representation and Reasoning, 124-130, 1998.
4. M. Egenhofer and R. Franzosa. Point-set topological spatial relations. International Journal of Geographical Information Systems 5(2), 161-174, 1991.
5. C. Freksa. 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 International Conf. GIS-From Space to Territory, 162-178, Springer Verlag, 1992.
6. H. Güsgen. Spatial rea,somng based on Allen’s temporal logic. Report ICSI TR89-049, International Computer Science Institute, 1989.
7. G. Ligozat. Tractable relations in temporal reasoning: pre-convex relations. ECAI-94. Workshop on Spatial and Temporal Reasoning, 99-108, 1994.
8. G. Ligozat. A new proof of tractability for ORD-Horn relations. AAAI-96. Proc. of the 13th National Conf. on Artificial Intelligence, Volume 1, 395-401, AAAI Press and MIT Press, 1996.
9. A. K. Mackworth. Consistency in networks of relations Artificial Intelligence, Volume 8, 99-118, 1977.
10. A. Mukerjee, G. Joe. A Qualitative Model For Space. AAAI-90. Proc. of the 8th National Conf. on Artificial Intelligence, Volume 2, 721-727, AAAI Press and MIT Press, 1990.
11. B. Nebel, H.-J. Burckert. Reasoning about temporal relations: a maximal tractable subclass of Allen’s interval algebra. AAAI-94. Proc. of the 12th National Conf. on Artificial Intelligence, Volume 1, 356-361, AAAI Press and MIT Press, 1994.
12. D. 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.
13. D. Randell, Z. Cui, T. Cohn. A spatial logic based on regions and connection. B. Nebel, C. Rich, and W. Swartout (editors), KR’92. Proc. of the 3rd International Conf. on Principles of Knowledge Representation and Reasoning, 165-176, Morgan Kaufmann, 1992.
14. 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 International Joint Conf. on Artificial Intelligence, Volume 1, 522-527, Morgan Kaufmann, 1997.
15. P. van Beek. Reasoning about qualitative temporal information. Artificial Intelligence, 58(1-3), 297-321, 1992.
16. M. Vilain, H. Kautz. Constraint propagation algorithms for temporal reasoning. AAAI-86. Proc. of the 5th National Conf. on Artificial Intelligence, 377-382, 1986.
17. M. Vilain, H. Kautz, P. van Beek. Constraint propagation algorithms for temporal rea,somng: a revised report. D. Weld, J. de Kleer (editors), Qualitative Reasoning about Physical Systems, 373-381, Morgan Kaufman, 1989.