On the translation of qualitative spatial reasoning problems into modal logics

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

Volumn 1701, Issue , 1999, Pages 113-124

  Nutt, Werner ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; TOPOLOGY;

FORMAL FOUNDATION; PROPOSITIONAL LOGIC; QUALITATIVE SPATIAL REASONING; SATISFIABILITY; SET CONSTRAINTS; SPATIAL REASONING; SPATIAL RELATIONS; TOPOLOGICAL SPACES;

FORMAL LOGIC;

EID: 84892386247     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48238-5_9     Document Type: Conference Paper

References (10)

1. J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. B. Bennett. Modal logics for qualitative spatial reasoning. Journal of the Interest Group in Pure and Applied Logic, 4(1):23-45, 1996.
3. M. Grigni, D. Papadias, and Chr.H. Papadimitriou. Topological inference. Proc. IJCAI'95, 901-907, August 1995.
4. V. Haarslev, C. Lutz, and R. Möller. Foundations of spatioterminological reasoning with Description Logics. Proc. KR'98, 112-123, June 1998.
5. J.Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319-380, 1992.
6. J.L. Kelley. General Topology. Van Nostrand, Princeton (New Jersey, USA), 1960.
7. J.C.C. McKinsey and A. Tarski. The algebra of topology. Annals of Mathematics, 45:141-191, 1944.
8. J.C.C. McKinsey and A. Tarski. Some theorems about the sentential calculi of Lewis and Heyting. J. Symbolic Logic, 13(1):1-15, 1948.
9. D.A. Randell, Zh. Cui, and A.G. Cohn. A spatial logic based on regions and connection. In Proc. KR'92, 165-176, October 1992.
10. J. Renz and B. Nebel. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence, 108(1-2):69-123, 1999.