Consistency checking for qualitative spatial reasoning with cardinal directions

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

Volumn 2470, Issue , 2002, Pages 341-356

  Skiadopoulos, Spiros ^a   Koubarakis, Manolis ^b  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b TECHNICAL UNIVERSITY OF CRETE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

CARDINAL DIRECTION; CONSISTENCY CHECKING; FORMAL MODEL; NP COMPLETE; QUALITATIVE SPATIAL REASONING;

CONSTRAINT THEORY;

EID: 84956986969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46135-3_23     Document Type: Conference Paper

References (23)

1. A. Berretti, A. Del Bimbo, and E. Vicario. Modeling Spatial Relationships between Color Sets. In Proceeding of IEEE Workshop on Content-based Access of Image and Video Libraries (CVPR-2000), June 2000.
2. W.G. Chinn and N.E. Steenrod. First Concepts of Topology. The Mathematical Association of America, 1966.
3. E. Clementini, P. Di Fellice, and G. Califano. Composite Regions in Topological Queries. Information Systems, 7:759–594, 1995
4. E. Clementini, P. Di Fellice, and D. Hernandez. Qualitative Representation of Positional Information. Artificial Intelligence, 95:317–356, 1997.
5. J.P. Delgrande, A. Gupta, and T. Van Allen. Point Based Approaches to Qualitative Temporal Reasoning. In Proceedings of the AAAI-99, pages 739–744, 1999
6. B. Faltings. Qualitative Spatial Reasoning Using Algebraic Topology. In Proceedings of COSIT-95, volume 988 of LNCS, 1995.
7. A.U. Frank. Qualitative Spatial Reasoning about Distances and Directions in Geographic Space. Journal of Visual Languages and Computing, 3:343–371, 1992
8. C. Freksa. Using Orientation Information for Qualitative Spatial Reasoning. In Proceedings of COSIT-92, volume 639 of LNCS, pages 162–178, 1992
9. R. Goyal and M. J. Egenhofer. Cardinal Directions Between Extended Spatial Objects. IEEE Transactions on Data and Knowledge Engineering, (in press), 2000. Available at http://www.spatial.maine.edu/~max/RJ36.html.
10. R. Goyal and M. J. Egenhofer. Consistent Queries over Cardinal Directions across Different Levels of Detail. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications, 2000.
11. G. Ligozat. Reasoning about Cardinal Directions. Journal of Visual Languages and Computing, 9:23–44, 1998.
12. S. Lipschutz. Set Theory and Related Topics. McGraw Hill, 1998.
13. A. Mukerjee and G. Joe. A Qualitative Model for Space. In Proceedings of AAAI- 90, pages 721–727, 1990.
14. D. Papadias. Relation-Based Representation of Spatial Knowledge. PhD thesis, Dept. of Electrical and Computer Engineering, National Technical University of Athens, 1994.
15. D. Papadias, N. Arkoumanis, and N. Karacapilidis. On The Retrieval of Similar Configurations. In Proceedings of 8th International Symposium on Spatial Data Handling (SDH), 1998.
16. C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological Queries in Spatial Databases. Journal of Computer and System Sciences, 58(1):29–53, 1999.
17. D.A. Randell, Z. Cui, and A. Cohn. A Spatial Logic Based on Regions and Connection. In Proceedings of KR’92. Morgan Kaufmann, October 1992.
18. J. Renz and B. Nebel. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence, 1-2:95–149, 1999.
19. A.P. Sistla, C. Yu, and R. Haddad. Reasoning About Spatial Relationships in Picture Retrieval Systems. In Proceedings of VLDB-94, pages 570–581, 1994.
20. S. Skiadopoulos and M. Koubarakis. Composing Cardinal Directions Relations. In Proceedings of the 7th International Symposium on Spatial and Temporal Databases (SSTD-01), volume 2121 of LNCS, pages 299–317, July 2001.
21. S. Skiadopoulos and M. Koubarakis. Qualitative Spatial Reasoning with Cardinal Directions: Semantics, Algorithms and Computational Complexity. Manuscript in preparation, 2002.
22. P. van Beek. Reasoning About Qualitative Temporal Information. Artificial Intelligence, 58:297–326, 1992.
23. M. Vilain, H. Kautz, and P. van Beek. Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. In Readings in Qualitative Reasoning about Physical Systems, pages 373–381. Morgan Kaufmann, 1989.