Reasoning about cyclic space: Axiomatic and computational aspects

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

Volumn 2685, Issue , 2003, Pages 348-371

  Balbiani, Philippe ^a   Condotta, Jean François ^b   Ligozat, Gérard ^b  

^a IRIT   (France)

^b 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

COMPUTATIONAL COMPLEXITY; GRAPH THEORY; LINEAR ALGEBRA; MATHEMATICAL MODELS; PROBLEM SOLVING; TOPOLOGY;

CYCLIC POINT ALGEBRA; GEOMETRIC STRUCTURES; SPATIAL REASONING;

PSYCHOLOGY COMPUTING;

EID: 8344271309     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-45004-1_20     Document Type: Conference Paper

References (28)

1. J.F. Allen. Maintaining knowledge about temporal intervals. Comm. of the ACM, 26(11):832843, 1983.
2. Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A model for reasoning about bidimensional temporal relations. In Proc. of KR-98, pages 124-130, 1998.
3. Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A new tractable subclass of the rectangle algebra. In Proc. of IJCAI-99, pages 442-447, 1999.
4. Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro, Spatial reasoning about points in a multidimensional setting. In Proc. of the IJCAI-99 Workshop on Spatial and Temporal Reasoning, pages 105-113, 1999.
5. Ph. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A tractable subclass of the block algebra: constraint propagation and preconvex relations. In Proc. of the Ninth Portuguese Conference on Artificial Intelligence (EPIA'99), pages 75-89, 1999.
6. Ph. Balbiani, J.-F. Condotta, and G. Ligozat. Reasoning about Generalized Intervals: Horn Representation and Tractability. In Scott Goodwin and Andre Trudel, editors, Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME-00), pages 23-30, Cape Breton, Nova Scotia, Canada, 2000. IEEE Computer Society.
7. Ph. Balbiani and A. Osmani. A model for reasoning about topologic relations between cyclic intervals. In Proc. of KR-2000, Breckenridge, Colorado, 2000.
8. A. U. Frank. Qualitative spatial reasoning about distances and directions in geographic space. J. of Visual Languages and Computing, 3:343-371, 1992.
9. P. Gärdenfors. Conceptual Spaces: The Geometry of Thought. The MIT Press, 2000.
10. M. R. Garey and D. S. Johnson. Computers and intractability; a guide to the theory of NP-completeness. W.H. Freeman, 1979.
11. A. Hard and L. Sivik. NCS-natural color system: a Swedish standard for color notation. Color Research and Application, (6): 129-138, 1981.
12. A. Isli and A. G. Cohn. A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence, 122(1-2): 137-187, 2000.
13. P. Ladkin. The Logic of time representation. PhD thesis, University of California, Berkeley, 1987.
14. C. Langford. Some theorems on deducibility. Ann. Math. Ser., 28:16-40, 1927.
15. G. Ligozat. Weak Representations of Interval Algebras. In Proc. of AAAl-90, pages 715-720, 1990.
16. G. Ligozat. On generalized interval calculi. In Proc. of AMI-91, pages 234-240, 1991.
17. G. Ligozat. Tractable relations in temporal reasoning: pre-convex relations. In F. D. Anger, H. Güsgen, and G. Ligozat, editors, Proc. of the ECAI-94 Workshop on Spatial and Temporal Reasoning, pages 99-108, Amsterdam, 1994.
18. G. Ligozat. A New Proof of Tractability for ORD-Horn Relations. In Proc. of AAAl-96, pages 395-401, 1996.
19. G. Ligozat. "Corner" relations in Allen's algebra. CONSTRAINTS: An International Journal, 3:165-177, 1998.
20. G. Ligozat. Reasoning about Cardinal Directions. J. of Visual Languages and Computing, 9:23-44, 1998.
21. G. Ligozat. Simple Models for Simple Calculi. In C. Freksa and D.M. Mark, editors, Proc. of COSIT'99, number 1661 in LNCS, pages 173-188. Springer Verlag, 1999.
22. R. Moratz, J. Renz, and D. Wolter. Qualitative spatial reasoning about line segments. In Horn. W., editor, ECAI 2000. Proceedings of the 14th European Conference on Artifical Intelligence, Amsterdam, 2000. IOS Press.
23. B. Nebel and H.-J. Bürckert. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. J. of the ACM, 42(1):43-66, 1995.
24. R. Röhrig. Representation and processing of qualitative orientation knowledge. In Gerhard Brewka, Christopher Habel, and Bernhard Nebel, editors, Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, volume 1303 of LNAI, pages 219-230, Berlin, September 9-12 1997. Springer.
25. C. Schlieder. Representing visible locations for qualitative navigation. In N. Piera Carreté and M. G. Singh, editors, Proceedings of the III IMACS International Workshop on Qualitative Reasoning and Decision Technologies - QUARDET'93 - , pages 523-532, Barcelona, June 1993. CIMNE.
26. C. Schlieder. Reasoning about ordering. In Proc. of COSIT'95, 1995.
27. L. Sivik and C. Taft. Color naming: a mapping in the NCS of common color terms. Scandinavian Journal of Psychology, (35):144-164, 1994.
28. T. Sogo, H. Ishiguro, and T Ishida. Acquisition of qualitative spatial representation by visual observation. In Proceedings IJCAI-99, pages 1054-1060, 1999.