{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:19Z","timestamp":1760202559058},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664956"},{"type":"electronic","value":"9783540482383"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48238-5_9","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T14:18:54Z","timestamp":1193494734000},"page":"113-124","source":"Crossref","is-referenced-by-count":16,"title":["On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics"],"prefix":"10.1007","author":[{"given":"Werner","family":"Nutt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"issue":"11","key":"9_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"issue":"1","key":"9_CR2","first-page":"23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"B. Bennett. Modal logics for qualitative spatial reasoning. Journal of the Interest Group in Pure and Applied Logic, 4(1):23\u201345, 1996.","journal-title":"Journal of the Interest Group in Pure and Applied Logic"},{"key":"9_CR3","unstructured":"M. Grigni, D. Papadias, and Chr.H. Papadimitriou. Topological inference. Proc. IJCAI\u201995, 901\u2013907, August 1995."},{"key":"9_CR4","first-page":"112","volume":"98","author":"V. Haarslev","year":"1998","unstructured":"V. Haarslev, C. Lutz, and R. M\u00f6ller. Foundations of spatioterminological reasoning with Description Logics. Proc. KR\u201998, 112\u2013123, June 1998.","journal-title":"Proc. KR\u2019"},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319\u2013380, 1992.","journal-title":"Artificial Intelligence"},{"key":"9_CR6","unstructured":"J. L. Kelley. General Topology. Van Nostrand, Princeton (New Jersey, USA), 1960."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. C. C. McKinsey","year":"1944","unstructured":"J. C. C. McKinsey and A. Tarski. The algebra of topology. Annals of Mathematics, 45:141\u2013191, 1944.","journal-title":"Annals of Mathematics"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J. C. C. McKinsey","year":"1948","unstructured":"J. C. C. McKinsey and A. Tarski. Some theorems about the sentential calculi of Lewis and Heyting. J. Symbolic Logic, 13(1):1\u201315, 1948.","journal-title":"J. Symbolic Logic"},{"key":"9_CR9","unstructured":"D. A. Randell, Zh. Cui, and A. G. Cohn. A spatial logic based on regions and connection. In Proc. KR\u201992, 165\u2013176, October 1992."},{"issue":"1-2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"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\u2013123, 1999.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","KI-99: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48238-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T12:40:56Z","timestamp":1551012056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48238-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664956","9783540482383"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48238-5_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}