{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:07:42Z","timestamp":1725829662154},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243115"},{"type":"electronic","value":"9783319243122"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24312-2_5","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T14:06:46Z","timestamp":1441894006000},"page":"54-69","source":"Crossref","is-referenced-by-count":2,"title":["Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method"],"prefix":"10.1007","author":[{"given":"Michael","family":"Sioutis","sequence":"first","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Condotta","sequence":"additional","affiliation":[]},{"given":"Yakoub","family":"Salhi","sequence":"additional","affiliation":[]},{"given":"Bertrand","family":"Mazure","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Commun. ACM\u00a026, 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"5_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-45988-X_13","volume-title":"Frontiers of Combining Systems","author":"P. Balbiani","year":"2002","unstructured":"Balbiani, P., Condotta, J.-F.: Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. In: Armando, A. (ed.) FroCos 2002. LNCS (LNAI), vol.\u00a02309, pp. 162\u2013176. Springer, Heidelberg (2002)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1016\/j.ic.2006.09.006","volume":"205","author":"S. Demri","year":"2007","unstructured":"Demri, S., D\u2019Souza, D.: An automata-theoretic approach to constraint LTL. Inf. Comput.\u00a0205, 380\u2013415 (2007)","journal-title":"Inf. Comput."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Frank, A.U.: Qualitative spatial reasoning with cardinal directions. In: \u00d6GAI (1991)","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"5_CR5","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: On the computational complexity of spatio-temporal logics. In: FLAIRS (2003)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2008.03.075","volume":"206","author":"J. Gaintzarain","year":"2008","unstructured":"Gaintzarain, J., Hermo, M., Lucio, P., Navarro, M.: Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci.\u00a0206, 59\u201373 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR7","unstructured":"Guesgen, H.W.: Spatial Reasoning Based on Allen\u2019s Temporal Logic. Tech. rep., International Computer Science Institute (1989)"},{"key":"5_CR8","unstructured":"Huang, J.: Compactness and its implications for qualitative spatial and temporal reasoning. In: KR (2012)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems (2004)","DOI":"10.1017\/CBO9780511810275"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1006\/jvlc.1997.9999","volume":"9","author":"G. Ligozat","year":"1998","unstructured":"Ligozat, G.: Reasoning about cardinal directions. J. Vis. Lang. Comput.\u00a09(1), 23\u201344 (1998)","journal-title":"J. Vis. Lang. Comput."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10817-006-9049-7","volume":"38","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Milicic, M.: A Tableau Algorithm for DLs with Concrete Domains and GCIs. JAR\u00a038, 227\u2013259 (2007)","journal-title":"JAR"},{"key":"5_CR12","unstructured":"Munkres, J.: Topology. Prentice Hall, Incorporated (2000)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Preparata, F.P., Shamos, M.I.: Computational Geometry - An Introduction. Springer (1985)","DOI":"10.1007\/978-1-4612-1098-6"},{"key":"5_CR14","unstructured":"Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: KR (1992)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Renz, J.: Maximal tractable fragments of the region connection calculus: a complete analysis. In: IJCAI (1999)","DOI":"10.1016\/S0004-3702(99)00002-8"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/11564751_40","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"J. Renz","year":"2005","unstructured":"Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 534\u2013548. Springer, Heidelberg (2005)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-60392-1_27","volume-title":"Spatial Information Theory","author":"P.A. Story","year":"1995","unstructured":"Story, P.A., Worboys, M.F.: A design support environment for spatio-temporal database applications. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol.\u00a0988, pp. 413\u2013430. Springer, Heidelberg (1995)"},{"key":"5_CR18","first-page":"119","volume":"28","author":"P. Wolper","year":"1985","unstructured":"Wolper, P.: The tableau method for temporal logic: An overview. Logique et Analyse\u00a028, 119\u2013136 (1985)","journal-title":"Logique et Analyse"},{"key":"5_CR19","unstructured":"Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on RCC-8. In: KR (2000)"},{"key":"5_CR20","unstructured":"Wolter, F., Zakharyaschev, M.: Qualitative spatiotemporal representation and reasoning: a computational perspective. In: Exploring Artificial Intelligence in the New Millennium. Morgan Kaufmann Publishers Inc. (2003)"}],"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-319-24312-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T16:23:00Z","timestamp":1653150180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24312-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243115","9783319243122"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24312-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}