Qualitative reasoning with directional relations

Artificial Intelligence

Volumn 174, Issue 18, 2010, Pages 1498-1507

  Wolter, D ^a   Lee, J H ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Qualitative spatial reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ALGEBRAIC APPROACHES; DIRECTIONAL INFORMATION; DOMAIN PROPERTIES; QUALITATIVE REASONING; QUALITATIVE SPATIAL REASONING; REASONING METHODS; REFERENCE OBJECTS; SPATIAL DOMAINS;

BIOMINERALIZATION;

EID: 78049297465     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.09.004     Document Type: Article

References (30)

1. A.G. Cohn, and J. Renz Qualitative spatial reasoning F. van Harmelen, V. Lifschitz, B. Porter, Handbook of Knowledge Representation 2007 Elsevier 551 596
2. G. Ligozat, and J. Renz What is a qualitative calculus? A general framework C. Zhang, H.W. Guesgen, W.K. Yeap, PRICAI 2004: Trends in Artificial Intelligence-8th Pacific Rim International Conference on Artificial Intelligence 2004 Springer 53 64
3. J. Renz Qualitative Spatial Reasoning with Topological Information LNCS vol. 2293 2002 Springer-Verlag Berlin
4. T. Drakengren, and P. Jonsson A complete classification of tractability in Allen's algebra relative to subsets of basic relations Artificial Intelligence 106 2 1998 205 219
5. S. Skiadopoulos, and M. Koubarakis On the consistency of cardinal directions constraints Artificial Intelligence 163 1 2005 91 135
6. G. Ligozat Qualitative triangulation for spatial reasoning A.U. Frank, I. Campari, Spatial Information Theory: A Theoretical Basis for GIS (COSIT'93) Lecture Notes in Computer Science vol. 716 1993 Springer 54 68
7. F. Dylla, L. Frommberger, J.O. Wallgrün, D. Wolter, B. Nebel, S. Wölfl, Sailaway: Formalizing navigation rules, in: Proceedings of the AISB07 Workshop on Spatial Reasoning and Communication, 2007, pp. 470-474.
8. R. Moratz, and T. Tenbrink Spatial reference in linguistic human-robot interaction: Iterative, empirically supported development of a model of projective relations Spatial Cognition and Computation 6 1 2006 63 106
9. A. Scivos, and B. Nebel The finest of its class: The practical natural point-based ternary calculus LR for qualitative spatial reasoning C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky, Spatial Cognition IV. Reasoning, Action, Interaction: International Conference Spatial Cognition 2004 Lecture Notes in Artificial Intelligence vol. 3343 2005 Springer 283 303
10. C. Freksa Using orientation information for qualitative spatial reasoning Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. International Conference GIS - From Space to Territory 1992 Springer 162 178
11. A. Scivos, and B. Nebel Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation D.R. Montello, Spatial Information Theory: Foundations of GIS LNCS vol. 2205 2001 Springer 431 446
12. R. Moratz, J. Renz, and D. Wolter Qualitative spatial reasoning about line segments W. Horn, ECAI 2000 Proceedings of the 14th European Conference on Artificial Intelligence 2000 IOS Press Amsterdam 234 238
13. R. Moratz Representing relative direction as binary relation of oriented points Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006) 2006 Riva del Garda Italy
14. R. Moratz, and M. Ragni Qualitative spatial reasoning about relative point position Journal of Visual Languages and Computing 19 1 2007 75 98
15. J. Renz, and B. Nebel Qualitative spatial reasoning using constraint calculi M. Aiello, I.E. Pratt-Hartmann, J.F. van Bẽnthem, Handbook of Spatial Logics 2007 Springer 161 215
16. A.K. Mackworth Consistency in networks of relations Artificial Intelligence 8 1977 99 118
17. J. Renz, G. Ligozat, Weak composition for qualitative spatial and temporal reasoning, in: Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming, 2005, pp. 534-548.
18. J. Renz Qualitative spatial and temporal reasoning: Efficient algorithms for everyone Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) 2007 Hyderabad India 526 531
19. D.A. Randell, Z. Cui, and A.G. Cohn A spatial logic based on regions and "Connection" B. Nebel, C. Rich, W. Swartout, KR'92, Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference 1992 Morgan Kaufmann San Mateo (CA), USA 165 176
20. J.F. Allen Maintaining knowledge about temporal intervals Communications of the ACM 1983 832 843
21. J. Renz, and B. Nebel Efficient methods for qualitative spatial reasoning Journal of Artificial Intelligence Research (JAIR) 15 2001 289 318
22. D. Lücke, T. Mossakowski, and D. Wolter Qualitative reasoning about convex relations C. Freksa, S.N. Newcombe, P. Gärdenfors, S. Wölfl, Spatial Cognition VI Lecture Notes in Computer Science vol. 5248 2008 Springer 426 440
23. A. Björner, M.L. Vergnas, B. Sturmfels, N. White, and G. Ziegler Oriented Matroids 2nd edition Encyclopedia of Mathematics and its Applications vol. 46 1999 Cambridge University Press
24. D.E. Knuth Axioms and Hulls Lecture Notes in Computer Science vol. 606 1992 Springer
25. J. Stell, and J. Webster Oriented matroids as a foundation for space in GIS, Computers Environment and Urban Systems 31 4 2007 379 392 10.1016/j.compenvurbsys.2006.03.002
26. J. Richter-Gebert, Mnëv's universality theorem revisited, in: Proceedings of the S'eminaire Lotharingien de Combinatorie, 1995, pp. 211-225.
27. P.W. Shor Stretchability of pseudolines is NP-hard Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift DIMACS Series in Discrete Mathematics and Theoretical Computer Science vol. 4 1991 American Mathematical Society 531 554
28. S. Basu, R. Pollack, and M.-F. Roy A new algorithm to find a point in every cell defined by a family of polynomials B. Caviness, J. Johnson, Quantifier Elimination and Cylindric Algebraic Decomposition Texts and Monographs in Symbolic Computation 1998 Springer 341 350
29. A. Tarski A Decision Method for Elementary Algebra and Geometry manuscript, republished as A Decision Method for Elementary Algebra and Geometry 2nd ed. 1951 University of California Press Berkeley, CA (1948)
30. J.-F. Condotta, G. Ligozat, and M. Saade A generic toolkit for n-ary qualitative temporal and spatial calculi Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME'06) 2006 Budapest Hungary 78 86