Temporalizmg spatial calculi: On generalized neighborhood graphs

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

Volumn 3698 LNAI, Issue , 2005, Pages 64-78

  Ragni, Marco ^a   Wölfl, Stefan ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; ENCODING (SYMBOLS); FORMAL LOGIC; PROBLEM SOLVING;

QUALITATIVE SPATIAL REASONING (QSR); REASONING PROBLEMS; SPATIAL CONSTRAINT LANGUAGES; TEMPORALIZED SPATIAL CALCULI;

GRAPH THEORY;

EID: 33646183487     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11551263_7     Document Type: Conference Paper

References (21)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. B. Bennett. Space, time, matter and things. In FOIS, pages 105-116, 2001.
3. B. Bennett, A. G. Cohn, F. Wolter, and M. Zakharyaschev. Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence, 17(3):239-251, 2002.
4. B. Bennett, A. Isli, and A. G. Cohn. When does a composition table provide a complete and tractable proof procedure for a relational constraint language? In Proceedings of the IJCAI97 Workshop on Spatial and Temporal Reasoning, Nagoya, Japan, 1997.
5. A. G. Cohn. Qualitative spatial representation and reasoning techniques. In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in Artificial Intelligence. Springer, 1997.
6. E. Davis. Continuous shape transformation and metrics on regions. Fundamenta Informaticae,46(1-2):31-54, 2001.
7. M. J. Egenhofer and K. K. Al-Taha. Reasoning about gradual changes of topological relationships. In A. U. Frank, I. Campari, and U. Formentini, editors, Spatio-Temporal Reasoning, Lecture Notes in Computer Science 639, pages 196-219. Springer, 1992.
8. M. Erwig and M, Schneider. Spatio-temporal predicates. IEEE Transactions on Knowledge and Data Engineering, 14(4):881-901, 2002.
9. C. Freksa. Conceptual neighborhood and its role in temporal and spatial reasoning. In Decision Support Systems and Qualitative Reasoning, pages 181-187. North-Holland, 1991.
10. D. Gabelaia, R. Kontchakov, A. Kurucz, F. Woher, and M. Zakharyaschev. Combining spatial and temporal logics: Expressiveness vs. complexity. To appear in Journal of Artificial Intelligence Research, 2005.
11. A. Galton. Qualitative Spatial Change. Oxford University Press, 2000.
12. A. Gallon. A generalized topological view of motion in discrete space. Theoretical Compututer Science, 305(1-3):111-134, 2003.
13. A. Gerevini and B. Nebel. Qualitative spatio-temporal reasoning with RCC-8 and Alien's interval calculus: Computational complexity. In Proceedings of the 15th European Conference on Artificial Intelligence (ECAI-02), pages 312-316. IOS Press, 2002.
14. M. Knauff. The cognitive adequacy of alien's interval calculus for qualitative spatial representation and reasoning. Spatial Cognition and Computation, 1:261-290, 1999.
15. P. Muller. A qualitative theory of motion based on spatio-temporal primitives. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998, pages 131-143. Morgan Kaufmann, 1998.
16. P. Muller. Topological spatio-temporal reasoning and representation. Computational-Intelligence, 18(3):420-450, 2002.
17. B. Nebel and H.-J. Bürckert. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. Technical Report RR-93-11, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, Kaiserslautern, Germany, 1993.
18. M. Ragni and S. Wölfl. Branching Allen: Reasoning with intervals in branching time. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, and T. Barkowsky, editors, Spatial Cognition, Lecture Notes in Computer Science 3343, pages 323-343. Springer, 2004.
19. D. A. Randeil, Z. Cui, and A. G. Cohn, A spatial logic based on regions and connection. In B. Nebel, W. Swartout, and C. Rich, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92), pages 165-176. Morgan Kaufmann, 1992.
20. M. B, Vilain, H. A. Kautz, and P. G. van Beek. Contraint propagation algorithms for temporal reasoning: A revised report. In D. S. Weld and J. de Kleer, editors, Readings in Qualitative Reasoning about Physical Systems, pages 373-381. Morgan Kaufmann, 1989.
21. F. Wolter and M. Zakharyaschev. Spatio-temporal representation and reasoning based on RCC-8. In A. Cohn, F. Giunchiglia, and B. Selman, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR2000). Morgan Kaufmann, 2000.