An arrangement calculus, its complexity, and algorithmic properties

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2821, Issue , 2003, Pages 580-590

  Ragni, Marco ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; EXPERT SYSTEMS; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; PROBLEM SOLVING; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; PARALLEL PROCESSING SYSTEMS;

CONCRETE ALGORITHMS; INTEGRATED REPRESENTATION; LOGICAL CALCULUS; REASONING PROBLEMS; ALGORITHM FOR SOLVING; ALGORITHMIC PROPERTIES; GRID STRUCTURES; LOGICAL CALCULI; NP-COMPLETENESS; SATISFIABILITY PROBLEMS; SPATIAL REASONING;

COMPUTATIONAL COMPLEXITY; CALCULATIONS;

EID: 9444269195     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39451-8_42     Document Type: Conference Paper

References (12)

1. Gabbay,D. (eds.): Andreka,H., Nemeti,I.,Sain,I. Algebraic Logic Handbook of Philosophical Logic Kluwer,1997
2. Brewka,G., Habel,C., Nebel,B. (eds.) KI-97; Cohn,A.G.:Qualitative Spatial Reasoning Advances in Artificial Intelligence, LNAI No.1303, Springer (1997) 1-30
3. Escrig, M.T., Toledo,F: Qualitative Spatial Reasoning: Theory and Practice Application to Robot Navigation. Frontiers in AI and Applications,Volume 47, IOS Press, Amsterdam,(1998)
4. Escrig, M.T., Toledo,F: A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information. Journal of Visual Languages and Computing,9,(1998) 81-101
5. Freksa,C. and Zimmermann,K.: On Utilization of Spatial Structures for Cognitively Plausible and Efficient Reasoning, Proc. IEEE Intl. Conf. on Systems, Man and Cybernetics, (1992) 18-21
6. Mark,D.M., Frank, A.U.(eds.): Cognitive and linguistic aspects of geographic space Freksa,C.: Qualitative Spatial Reasoning Dordrecht:Kluwer (1991)
7. A. Gerevini, B. Nebel: Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity, Proceedings of ECAI 2002, pp. 312-316, IOS Press.
8. Hernandez,D.: Qualitative representation of spatial knowledge Berlin, Springer (1994)
9. Shapiro, S.C. (eds.): Johnson-Laird,P.N.: Mental models. Encyclopedia of artificial intelligence (2nd ed.) New York,NY:John Wiley & Sons.(1992) 932-939
10. Knauff,M., Rauh,R., Renz,J.: A Cognitive Assessment of Topological Spatial Relations: Results from Empirical Investigation. Cosit97,(1997)
11. Knauff,M., Rauh,R., Schlieder,C.: Prefered mental models in qualitative spatial reasoning: A cognitive assessment of Allen's Calculus. In Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society (1995) 200-205 Mawah,NJ:Lawrence Erlbaum Associates.
12. Renz,J.: Maximal Tractable Fragments of the RCC: A complete Analysis IJCAI'99.