{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:37Z","timestamp":1725533857039},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027154"},{"type":"electronic","value":"9783642027161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02716-1_10","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T04:22:21Z","timestamp":1246335741000},"page":"123-137","source":"Crossref","is-referenced-by-count":2,"title":["A Tableau-Based System for Spatial Reasoning about Directional Relations"],"prefix":"10.1007","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Sala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.3166\/jancl.12.319-363","volume":"12","author":"M. Aiello","year":"2002","unstructured":"Aiello, M., van Benthem, J.: A modal walk through space. Journal of Applied Non-Classical Logic\u00a012(3-4), 319\u2013363 (2002)","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"10_CR2","unstructured":"Balbiani, P., Condotta, J.F., Fari\u00f1as del Cerro, L.: A model for reasoning about bidimensional temporal relations. In: Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 124\u2013130 (1998)"},{"key":"10_CR3","unstructured":"Balbiani, P., Condotta, J.F., Fari\u00f1as del Cerro, L.: A new tractable subclass of the rectangle algebra. In: Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-1999), pp. 442\u2013447 (1999)"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-1-4832-1452-8.50102-0","volume-title":"Proc. of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR 1994)","author":"B. Bennett","year":"1994","unstructured":"Bennett, B.: Spatial reasoning with propositional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proc. of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR 1994), pp. 51\u201362. Morgan Kaufmann, San Francisco (1994)"},{"issue":"1","key":"10_CR5","first-page":"23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"Bennett, B.: Modal logics for qualitative spatial reasoning. Journal of the Interest Group in Pure and Applied Logic (IGPL)\u00a04(1), 23\u201345 (1996)","journal-title":"Journal of the Interest Group in Pure and Applied Logic (IGPL)"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence\u00a017(3), 239\u2013251 (2002)","journal-title":"Applied Intelligence"},{"issue":"3","key":"10_CR7","first-page":"305","volume":"4","author":"D. Bresolin","year":"2007","unstructured":"Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for right propositional neighborhood logic. Journal of Automated Reasoning\u00a04(3), 305\u2013330 (2007)","journal-title":"Journal of Automated Reasoning"},{"issue":"1-4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1018900105153","volume":"28","author":"L. Chittaro","year":"2000","unstructured":"Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence\u00a028(1-4), 47\u2013106 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1-2","key":"10_CR9","first-page":"1","volume":"46","author":"A.G. Cohn","year":"2001","unstructured":"Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae\u00a046(1-2), 1\u201329 (2001)","journal-title":"Fundamenta Informaticae"},{"issue":"9","key":"10_CR10","first-page":"1137","volume":"9","author":"V. Goranko","year":"2003","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science\u00a09(9), 1137\u20131167 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"10_CR11","unstructured":"G\u00fcsgen, H.: Spatial reasoning based on Allen\u2019s temporal logic. Technical Report ICSI TR89-049, International Computer Science Institute (1989)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1007\/978-3-540-89439-1_40","volume-title":"LPAR 2008","author":"R. Kontchakov","year":"2008","unstructured":"Kontchakov, R., Pratt-Hartmann, I., Wolter, F., Zakharyaschev, M.: On the computational complexity of spatial logics with connectedness constraints. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS, vol.\u00a05330, pp. 574\u2013589. Springer, Heidelberg (2008)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F.: Modal logics of topological relations. Logical Methods in Computer Science\u00a02(2) (2006)","DOI":"10.2168\/LMCS-2(2:5)2006"},{"issue":"6","key":"10_CR14","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1093\/logcom\/9.6.897","volume":"9","author":"M. Marx","year":"1999","unstructured":"Marx, M., Reynolds, M.: Undecidability of compass logic. Journal of Logic and Computation\u00a09(6), 897\u2013914 (1999)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10472-007-9083-0","volume":"51","author":"A. Morales","year":"2007","unstructured":"Morales, A., Navarrete, I., Sciavicco, G.: A new modal logic for reasoning about space: spatial propositional neighborhood logic. Annals of Mathematics and Artificial Intelligence\u00a051(1), 1\u201325 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10_CR16","unstructured":"Mukerjee, A., Joe, G.: A qualitative model for space. In: Proc. of the of the Eighth National Conference on Artificial Intelligence (AAAI-1990), pp. 721\u2013727 (1990)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-48238-5_9","volume-title":"KI-99: Advances in Artificial Intelligence","author":"W. Nutt","year":"1999","unstructured":"Nutt, W.: On the translation of qualitative spatial reasoning problems into modal logics. In: Burgard, W., Christaller, T., Cremers, A.B. (eds.) KI 1999. LNCS, vol.\u00a01701, pp. 113\u2013124. Springer, Heidelberg (1999)"},{"issue":"4","key":"10_CR18","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic\u00a031(4), 529\u2013547 (1990)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02716-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T10:55:50Z","timestamp":1619780150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02716-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027154","9783642027161"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02716-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}