Reasoning about cardinal directions

Journal of Visual Languages and Computing

Volumn 9, Issue 1, 1998, Pages 23-44

  Ligozat, Gérard ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031992523     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1997.9999     Document Type: Article

References (20)

1. 1. J. Allen (1983) Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832-843.
2. 2. S.-K. Chang & E. Junger (1996) Symbolic Projection for Image Information Retrieval and Spatial Reasoning. Academic Press, New York.
3. 3. V. Chvátal (1983) Linear Progamming. W. H. Freeman and Company, New York.
4. 4. A. U. Frank (1991) Qualitative spatial reasoning about cardinal directions. In: Proceedings of 7th Austrian Conference on Artificial Intelligence, Vienna, Austria, pp. 157-167.
5. 5. C. Freksa (1992) Using orientation information for qualitative spatial reasoning. In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Proceedings of the International Conference GIS - From Space to Territory, Pisa, Italy (A. U. Frank, I. Campari & U. Formentini, eds). Springer, Berlin, pp. 162-178.
6. 6. A. Gerevini & M. Cristani (1997) On finding a solution in temporal constraint satisfaction problems. In: Proceedings of IJCAI-97, Nagoya, Japan Morgan Kaufmann, Los Altos, CA, pp. 1460-1465.
7. 7. D. Herńandez (1994) Qualitative Representation of Spatial Knowledge, Lecture Notes in Artificial Intelligence, vol. 804. Springs, Berlin.
8. 8. B. Jónsson & A. Tarski (1952) Boolean algebras with operators II. American Journal of Mathematics 74, 127-162.
9. 9. G. Ligozat (1991) On generalized interval calculi. In: Proceedings of AAAI-91, Anaheim, CA. AAAI Press/The MIT Press, New York, pp. 234-240.
10. 10. G. Ligozat (1993) Models for qualitative spatial reasoning. In: Proceedings of the IJCAI-93 Workshop on Spatial and Temporal Reasoning (W17), Chambèry, France (F. D. Anger, H. W. Güsgen & J. van Benthem, eds), pp. 35-45.
11. 11. G. Ligozat (1993) Qualitative triangulation for spatial reasoning. In: Spatial Information Theory. A Theoretical Basis for GIS. Proceedings of COSIT'93, Marciana Marina, Italy (A. U. Frank & I. Campari, eds), Lecture Notes in Computer Science, Vol. 716. Springs, Berlin, pp. 54-68.
12. 12. G. Ligozat (1994) Temporal reasoning made simpler. In: Proceedings of IEA/ AIE 94, Austin, TX (F. D. Anger, R. V. Rodriguez & M. Ali, eds). Gordon and Breach, London, pp. 123-130.
13. 13. G. Ligozat (1994) Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning. In: Proceedings of the AAAI-94 Workshop on Spatial and Temporal Reasoning Seattle, WA (F. D. Anger & R. Loganantharaj, eds), pp. 55-59.
14. 14. G. Ligozat (1996) "Corner" relations in Allen's algebra In: Working Notes of the AAAI-96 Workshop on Spatial and Temporal Reasoning, Portland, OR (F. D. Anger, ed), pp. 61-65.
15. 15. G. Ligozat (1996) A new proof of tractability for ORD-Horn relations. In: Proceedings of AAAI-96, Portland, OR. AAAI Press/The MIT Press, New York, pp. 395-401.
16. 16. B. Nebel (1995) Computational properties of qualitative spatial reasoning: first results. In: KI'95, Lecture Notes in Computer Science, Vol. 981, Springer, Berlin, pp. 233-244.
17. 17. B. Nebel & H.-J. Bürckert (1995) A maximal tractable subclass of Allen's interval algebra. Journal of the Association for Computing Machinery 1, 43-66.
18. 18. J. Renz & B. Nebel (1997) On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus. In: Proceedings of IJCAI-97, Nagoya, Japan Morgan Kaufmann, Los Altus, CA, pp. 522-527.
19. 19. P. van Beek (1990) Reasoning about qualitative temporal information. In: Proceedings of AAAI-90. Boston, MA, pp. 728-734.
20. 20. M. B. Vilain, Kautz, H. A. & van Beek, P. G. (1989) Constraint propagation algorithms for temporal reasoning: a revised report. In: Readings in Qualitative Reasoning about Physical Systems (D. S. Weld & J. de Kleer, eds). Morgan-Kaufrnann, San Mateo, CA, pp. 373-381.