Qualitative reasoning about convex relations

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

Volumn 5248 LNAI, Issue , 2008, Pages 426-440

  Lücke, Dominik ^a   Mossakowski, Till ^a,b   Wolter, Diedrich ^a  

^a UNIVERSITY OF BREMEN   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

Consistency; Qualitative spatio temporal reasoning; Relative orientation calculi

Indexed keywords

CONSISTENCY; CONSTRAINT NETWORKS; GLOBAL CONSISTENCIES; PARTIAL SOLUTIONS; POLYNOMIAL TIMES; QUALITATIVE CALCULUSES; QUALITATIVE CONSTRAINTS; QUALITATIVE REASONINGS; QUALITATIVE SPATIO-TEMPORAL REASONING; RELATIVE ORIENTATION CALCULI; RELATIVE ORIENTATIONS;

ARTIFICIAL INTELLIGENCE; LARGE SCALE SYSTEMS; PATHOLOGY; POLYNOMIAL APPROXIMATION;

BIOMINERALIZATION;

EID: 56749158977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87601-4_30     Document Type: Conference Paper

References (20)

1. Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM, 832-843 (1983)
2. Randell, D.A., Cui, Z., Colin, A.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Principles of Knowledge Representation and Reasoning, pp. 165-176. Morgan Kaufmann, San Francisco (1992)
3. Condotta, J.F., Saade, M., Ligozat, G.: A generic toolkit for n-ary qualitative temporal and spatial calculi, in: TIME 2006: Proceedings of the Thirteenth international Symposium on Temporal Representation and Reasoning, pp. 78-86. IEEE Computer Society, Los Alamitos (2006)
4. Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi, in: Aiello, M., Pratt-Hartmann, I.E., Johan, F., Johan, F.v.B. (eds.) Handbook of Spatial Logics. Springer, Heidelberg (2007)
5. Scivos, A., Nebel, B.: Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation, in: Montello, D.R. (ed.) COSIT 2001. LNCS, vol. 2205, pp. 431-446. Springer, Heidelberg (2001)
6. Dechter, R.: From local to global consistency. Artificial intelligence 55, 87-108 (1992)
7. Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 534-548. Springer, Heidelberg (2005)
8. Dylla, F., Moratz, R.: Empirical complexity issues of practical qualitative spatial reasoning about relative position. in: Proceedings of the Workshop on Spatial and Temporal Reasoning at ECAI 2004 (2004)
9. Scivos, A., Nebel, B.: The finest of its class: The natural, point-based ternary calculus LR for qualitative spatial reasoning. In: Spatial Cognition, pp. 283-303 (2004)
10. Scivos, A.: Einführung in eine Theorie der ternären RST-Kalküle für qualitatives räumliches Schließen. Master's thesis. Universität Freiburg (in German) (April 2000)
11. Vilain, M.B., Kautz, H.A., van Beek, P.G.: Constraint propagation algorithms for temporal reasoning: A revised report, in: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Francisco (1989)
12. Renz, J.: Qualitative Spatial Reasoning with Topological information. LNCS, vol. 2293. Springer, Berlin (2002)
13. Isli, A., Cohn, A.: A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence 122(1-2), 137-187 (2000)
14. Sam-Haroud, D., Faltings, B.: Consistency techniques for continuous constraints. constraints 1, 85-118 (1996)
15. Helly, E.: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. Jber. Deutsch. Math. Verein 32, 175-176 (1923)
16. Ligozat, G.: Qualitative triangulation for spatial reasoning. In: Proc. International Conference on Spatial information Theory. A Theoretical Basis for GIS, pp. 54-68 (1993)
17. Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. in: Horn, W. (ed.) ECAi 2000. Proceedings of the 14th European Conference on Artificial intelligence. I0S Press, Amsterdam (2000)
18. Moratz, R., Dylla, F., Frommberger, L.: A relative orientation algebra with adjustable granularity. In: Proceedings of the Workshop on Agents in Real-Time, and Dynamic Environments (IJCAI 2005) (2005)
19. Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. London, UK, pp. 162-178. Springer, Heidelberg (1992)
20. Renegar, J.: On the computational complexity and geometry of the first order-theory of the reals. Part 1-111. Journal of Symbolic Computation 13(3), 301-328 (1992): 255300, 301328, 329352