Spatial reasoning based on rules

Lecture Notes in Computer Science

Volumn 3561, Issue PART I, 2005, Pages 469-480

  Sun, Haibin ^a   Li, Wenhui ^a  

^a JILIN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SCIENCE; MATHEMATICAL MODELS; PROBLEM SOLVING;

CARDINAL DIRECTION; HYBRID FORMALISM; TOPOLOGICAL FORMALISM;

COMPUTATIONAL COMPLEXITY;

EID: 26444477649     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11499220_48     Document Type: Conference Paper

References (15)

1. A. Gerevini and J. Renz. Combining Topological and Size Constraints for Spatial Reasoning. Artificial Intelligence (AIJ), vol. 137(1-2): 1-42, 2002
2. A Isli, V Haarslev and R Moller. Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning. Fachbereich Informatik, University Hamburg, Technical report FBI-HH-M-304/01, 2001
3. J. Sharma. Integrated spatial reasoning in geographic information systems: combining topology and direction. Ph.D. Thesis, Department of Spatial Information Science and Engineering, University of Maine, Orono, ME, 1996
4. James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, vol. 26(11): 832-843, November, 1983
5. A. Prasad Sistla, Clement T. Yu and R. Haddad. Reasoning About Spatial Relations in Picture Retrieval Systems. In: 20th International Conference on Very Large Data Bases, pp. 570-581, Morgan Kaufmann, 1994
6. M. Egenhofer. A Formal Definition of Binary Topological Relations. In Third International Conference on Foundations of Data Organization and Algorithms (FODO), Vol. 367, pp. 457-472, Paris, France: Lecture Notes in Computer Science, Springer-Verlag, 1989
7. Randell D, Cui Z and Cohn A. A spatial logic based on regions and connection. In: Nebel B, Rich C, Swartout W, (eds.) Proc. of the Knowledge Representation and Reasoning, pp. 165-176, San Mateo: Morgan Kaufmann, 1992
8. R. Goyal and M. Egenhofer. Cardinal Directions between Extended Spatial Objects. IEEE Transactions on Knowledge and Data Engineering (to be published), 2000
9. S. Skiadopoulos and M. Koubarakis. Composing cardinal direction relations. Artificial Intelligence, vol. 152(2): 143-171, 2004
10. D. A. Randell, A. G. Cohn and Z. Cui. Computing Transitivity Tables: A Challenge For Automated Theorem Provers. In 11th International Conference on Automated Deduction, pp.786-790, Berlin: Springer Verlag, 1992
11. Serafino Cicerone and Paolino Di Felice. Cardinal directions between spatial objects: the pairwise-consistency problem. Information Sciences, vol. 164: 165-188, 2004
12. A. Prasad Sistla, Clement T. Yu, and R. Haddad. Reasoning About Spatial Relations in Picture Retrieval Systems. International Journal on Very Large Databases (VLDB), vol. 3(4): 570-581, 1994
13. J. Renz and B. Nebel. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence (AIJ), vol. 108(1-2): 69-123, 1999
14. J. Renz. Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis. In: 16th International Joint Conference on Artificial Intelligence (IJCAI'99), pp. 448-455, Stockholm, Sweden, August, 1999
15. S. Skiadopoulos and M. Koubarakis. Qualitative spatial reasoning with cardinal directions. In: 7th International Conference on Principles and Practice of Constraint Programing (CP'02), Vol.2470, pp. 341-355, in Lecture Notes in Comput. Sci., Springer, Berlin, 2002