{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T19:57:18Z","timestamp":1780516638068,"version":"3.54.1"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Intelligence"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1020083231504","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T13:24:27Z","timestamp":1047734667000},"page":"239-251","source":"Crossref","is-referenced-by-count":109,"title":["Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning"],"prefix":"10.1007","volume":"17","author":[{"given":"Brandon","family":"Bennett","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anthony G.","family":"Cohn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5095808_CR1","volume-title":"Expert Systems in the Micro-Electronic Age","author":"P.J. Hayes","year":"1979","unstructured":"P.J. Hayes, \u201cThe na\u00efve physics manifesto,\u201d in Expert Systems in the Micro-Electronic Age, edited by D. Mitchie, Edinburgh University Press, 1979."},{"key":"5095808_CR2","unstructured":"J.R. Hobbs and R.C. Moore (eds.), Formal Theories of the Commonsense World, Ablex, 1985."},{"key":"5095808_CR3","volume-title":"Representations of Commonsense Knowledge","author":"E. Davis","year":"1990","unstructured":"E. Davis, Representations of Commonsense Knowledge, Morgan Kaufmann: San Mateo, 1990."},{"key":"5095808_CR4","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/356827.356833","volume":"12","author":"A. Requicha","year":"1980","unstructured":"A. Requicha, \u201cRepresentations for rigid solids: Theory, methods and systems,\u201d ACM Comput. Surv., vol. 12, pp. 437\u2013464, 1980.","journal-title":"ACM Comput. Surv."},{"key":"5095808_CR5","unstructured":"J.F. Allen, \u201cAn interval-based representation of temporal knowledge,\u201d in Proceedings 7th IJCAI, 1981, pp. 221\u2013226."},{"key":"5095808_CR6","doi-asserted-by":"crossref","unstructured":"R.H. G\u00fcting, M.H. B\u00f6hlen, M. Erwig, C.C. Jenssen, N.A. Lorentzos, M. Schneider, and M. Vazirgiannis, \u201cA foundation for representing and querying moving objects,\u201d ACM Transactions on Database Systems, vol. 25, 2000.","DOI":"10.1145\/352958.352963"},{"key":"5095808_CR7","first-page":"463","volume-title":"Machine Intelligenge","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes, \u201cSome philosophical problems from the standpoint of artificial intelligence,\u201d in Machine Intelligenge, edited by B. Meltzer and D. Mitchie, vol. 4, Edinburgh University Press, pp. 463\u2013502, 1969."},{"issue":"3","key":"5095808_CR8","first-page":"204","volume":"23","author":"B. Clarke","year":"1981","unstructured":"B. Clarke, \u201cA calculus of individuals based on \u2018connection\u2019,\u201d Notre Dame Journal of Formal Logic, vol. 23, no. 3, pp. 204\u2013218, 1981.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"5095808_CR9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen, \u201cTowards a general theory of action and time,\u201d Arti-ficial Intelligence, vol. 23, no. 2, pp. 123\u2013154, 1984.","journal-title":"Arti-ficial Intelligence"},{"key":"5095808_CR10","unstructured":"P.J. Hayes, \u201cThe second naive physics manifesto,\u201d in Formal Theories of the Commonsense World, edited by J.R. Hobbs and B. Moore, Ablex, pp. 1\u201336, 1985."},{"key":"5095808_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot, \u201cA logic-based calculus of events,\u201d New Generation Computing, vol. 4, pp. 67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"5095808_CR12","unstructured":"D.A. Randell, A.G. Cohn, and Z. Cui, \u201cNaive topology: Modelling the force pump,\u201d in Advances in Qualitative Physics, edited by P. Struss and B. Faltings, MIT Press, pp. 177\u2013192, 1992."},{"key":"5095808_CR13","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. Sistla","year":"1985","unstructured":"A. Sistla and E. Clarke, \u201cThe complexity of propositional linear temporal logics,\u201d Journal of the Association for Computing Machinery, vol. 32, pp. 733\u2013749, 1985.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"5095808_CR14","unstructured":"J. Kamp, \u201cTense logic and the theory of linear order,\u201d Ph.D. Thesis, Michigan State University, 1968."},{"key":"5095808_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag: Berlin, 1992."},{"key":"5095808_CR16","unstructured":"C. Stirling, \u201cModal and temporal logics,\u201d in Handbook of Logic in Computer Science, vol. 2, edited by S. Abramsky, D. Gabbay, and T. Maibaum, Clarendon Press, pp. 478\u2013551, 1992."},{"key":"5095808_CR17","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"M. Stone, \u201cTopological representations of distributive lattices and Brouwerian logics,\u201d Casopis pro p\u00e9stovani matematiky a fysiky, vol. 67, pp. 1\u201325, 1937\/1938.","journal-title":"Casopis pro p\u00e9stovani matematiky a fysiky"},{"key":"5095808_CR18","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","volume":"31","author":"A. Tarski","year":"1938","unstructured":"A. Tarski, \u201cDer Aussagenkalk\u00fcl und die Topologie [Sentential Calculus and Topology],\u201d Fundamenta Mathematicae, vol. 31, pp. 103\u2013134, 1938. English translation in A. Tarski, Logic, Semantics, Metamathematics, Oxford Clarendon Press, 1956.","journal-title":"Fundamenta Mathematicae"},{"key":"5095808_CR19","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1090\/S0002-9904-1938-06860-7","volume":"44","author":"T.-C. Tang","year":"1938","unstructured":"T.-C. Tang, \u201cAlgebraic postulates and a geometric interpretation for the Lewis calculus of strict implication,\u201d Bulletin of the American Mathematical Society, vol. 44, pp. 737\u2013744, 1938.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"5095808_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J. McKinsey","year":"1948","unstructured":"J. McKinsey and A. Tarski, \u201cSome theorems about the sentential calculi of Lewis and Heyting,\u201d Journal of Symbolic Logic, vol. 13, pp. 1\u201315, 1948.","journal-title":"Journal of Symbolic Logic"},{"key":"5095808_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"A. Chagrov and M. Zakharyaschev, Modal Logic, Clarendon Press: Oxford, 1997."},{"issue":"1","key":"5095808_CR22","first-page":"23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"B. Bennett, \u201cModal logics for qualitative spatial reasoning,\u201d Bulletin of the Interest Group in Pure and Applied Logic (IGPL), vol. 4, no. 1, pp. 23\u201345, 1996.WWWaddress ftp:\/\/ftp.mpisb. mpg.de\/pub\/igpl\/Journal\/V4-1\/index.html.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logic (IGPL)"},{"issue":"2\/3","key":"5095808_CR23","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1023\/A:1009729828056","volume":"3","author":"B. Bennett","year":"1998","unstructured":"B. Bennett, \u201cDetermining consistency of topological relations,\u201d Constraints, vol. 3, no. 2\/3, pp. 213\u2013225, 1998.","journal-title":"Constraints"},{"key":"5095808_CR24","unstructured":"S. Demri, \u201cEfficient strategies for automated reasoning in modal logics,\u201d in Logics in Artificial Intelligence, edited by C. MacNish, D. Pearce, and L. Pereira, vol. 833 of Lecture Notes in Artificial Intelligence, Proceedings of the Workshop JELIA'94, 1994."},{"key":"5095808_CR25","doi-asserted-by":"crossref","unstructured":"F. Giunchiglia and R. Sebastiani, \u201cBuilding decision procedures for modal logics from propositional decision procedures-the case study of modal K,\u201d in Proceedings of the 13th International Conference on Automated Deduction, CADE-13, edited by M. McRobbie and J. Slaney, vol. 1104 of LNCS. Berlin, pp. 583\u2013597, 1996.","DOI":"10.1007\/3-540-61511-3_115"},{"key":"5095808_CR26","unstructured":"I.R. Horrocks, \u201cUsing an expressive description logic: FaCT or fiction?,\u201d in Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98), edited by A.G. Cohn, L. Schubert, and S. Shapiro, pp. 636\u2013647, 1998."},{"key":"5095808_CR27","doi-asserted-by":"crossref","unstructured":"C. Dixon, M. Fisher, and M. Wooldridge, \u201cResolution for temporal logics of knowledge,\u201d Journal of Logic and Computation, vol. 8, no. 3, 1998.","DOI":"10.1093\/logcom\/8.3.345"},{"key":"5095808_CR28","doi-asserted-by":"crossref","unstructured":"A. Voronkov, \u201cKK: A theorem prover for K,\u201d in Proceedings of CADE, 1999, pp. 383\u2013387.","DOI":"10.1007\/3-540-48660-7_35"},{"key":"5095808_CR29","unstructured":"H. De Nivelle, R.A. Schmidt, and U. Hustadt, \u201cResolution-based methods for modal logics,\u201d Logic Journal of the IGPL, to appear."},{"key":"5095808_CR30","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"M. Kracht and F. Wolter, \u201cProperties of independently axiomatizable bimodal logics,\u201d Journal of Symbolic Logic, vol. 56, pp. 1469\u20131485, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"5095808_CR31","unstructured":"E. Spaan, \u201cComplexity of modal logics,\u201d Ph.D. Thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1993."},{"key":"5095808_CR32","doi-asserted-by":"crossref","unstructured":"M. Marx and Y. Venema, Multi-Dimensional Modal Logic, Applied Logic, Kluwer, 1997.","DOI":"10.1007\/978-94-011-5694-3"},{"key":"5095808_CR33","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503811.001.0001","volume-title":"Fibring Logics","author":"D.M. Gabbay","year":"1998","unstructured":"D.M. Gabbay, Fibring Logics, Oxford University Press: Oxford, 1998."},{"key":"5095808_CR34","unstructured":"F. Wolter, The Decision Problem for Combined Modal Logics, Habilitationsschrift, Leipzig University, 2000."},{"key":"5095808_CR35","unstructured":"D. Gabbay, A.Kurucz, F.Wolter, and M. Zakharyaschev, \u201cMany dimensional modal logics: Theory and applications,\u201d Available from http:\/\/www.dcs.kcl.ac.uk\/staff\/mz, 2000."},{"key":"5095808_CR36","first-page":"169","volume-title":"Logic and Reality: Essays on the Legacy of Arthur Prior","author":"K. Fine","year":"1996","unstructured":"K. Fine and G. Schurz, \u201cTransfer theorems for multimodal logics,\u201d in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by J. Copeland, Oxford University Press: Oxford, pp. 169\u2013213, 1996."},{"key":"5095808_CR37","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K. Segerberg","year":"1973","unstructured":"K. Segerberg, \u201cTwo-dimensional modal logic,\u201d Journal of Philosophical Logic, vol. 2, pp. 77\u201396, 1973.","journal-title":"Journal of Philosophical Logic"},{"key":"5095808_CR38","first-page":"417","volume":"23","author":"V. Shehtman","year":"1978","unstructured":"V. Shehtman, \u201cTwo-dimensional modal logics,\u201d Mathematical Notices of the USSR Academy of Sciences, vol. 23, pp. 417\u2013424, 1978.","journal-title":"Mathematical Notices of the USSR Academy of Sciences"},{"key":"5095808_CR39","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D. Gabbay","year":"1998","unstructured":"D. Gabbay and V. Shehtman, \u201cProducts of modal logics, part 1,\u201d Journal of the IGPL, vol. 6, pp. 73\u2013146, 1998.","journal-title":"Journal of the IGPL"},{"key":"5095808_CR40","first-page":"221","volume":"9","author":"M. Marx","year":"1999","unstructured":"M. Marx, \u201cComplexity of products of modal logics,\u201d Journal of Logic and Computation, vol. 9, pp. 221\u2013238, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"5095808_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge, MIT Press: Cambridge, MA, 1995."},{"key":"5095808_CR42","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1305\/ndjfl\/1039700748","volume":"38","author":"M. Reynolds","year":"1997","unstructured":"M. Reynolds, \u201cA decidable temporal logic of parallelism,\u201d Notre Dame Journal of Formal Logic, vol. 38, pp. 419\u2013436, 1997.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5095808_CR43","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1080\/11663081.1995.10510854","volume":"5","author":"F. Baader","year":"1995","unstructured":"F. Baader and H. Ohlbach, \u201cA multi-dimensional terminological knowledge representation language,\u201d Journal of Applied Non-Classical Logic, vol. 5, pp. 153\u2013197, 1995.","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"5095808_CR44","unstructured":"F. Wolter and M. Zakharyaschev, \u201cSatisfiability problem in description logics with modal operators,\u201d in Proceedings of the sixth Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, pp. 512\u2013523, 1998."},{"key":"5095808_CR45","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1999-39405","volume":"39","author":"F. Wolter","year":"1999","unstructured":"F. Wolter and M. Zakharyaschev, \u201cModal description logics: Modalizing roles,\u201d Fundamenta Informaticae, vol. 39, pp. 411\u2013438, 1999.","journal-title":"Fundamenta Informaticae"},{"key":"5095808_CR46","first-page":"377","volume-title":"Frontiers of Combining Systems 2","author":"F. Wolter","year":"2000","unstructured":"F. Wolter and M. Zakharyaschev, \u201cTemporalizing description logics,\u201d in Frontiers of Combining Systems 2, edited by M. de Rijke and D. Gabbay, Research Studies Press: Baldock, Hertfordshire, England, pp. 377\u2013401, 2000."},{"key":"5095808_CR47","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Y. Venema, \u201cExpressiveness and completeness of an interval tense logic,\u201d Notre Dame Journal of Formal Logic, vol. 31, pp. 529\u2013547, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5095808_CR48","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00713542","volume":"39","author":"H. Ono","year":"1980","unstructured":"H. Ono and A. Nakamura, \u201cOn the size of refutation Kripke models for some linear modal and tense logics,\u201d Studia Logica, vol. 39, pp. 325\u2013333, 1980.","journal-title":"Studia Logica"},{"issue":"6","key":"5095808_CR49","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1093\/logcom\/9.6.897","volume":"9","author":"M. Marx","year":"1999","unstructured":"M. Marx and M. Reynolds, \u201cUndecidability of compass logic,\u201d Journal of Logic and Computation, vol. 9, no. 6, pp. 897\u2013941, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"5095808_CR50","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1093\/logcom\/11.6.909","volume":"11","author":"M. Reynolds","year":"2001","unstructured":"M. Reynolds and M. Zakharyaschev, \u201cOn the products of linear modal logics,\u201d Journal of Logic and Computation, vol. 11, pp. 909\u2013931, 2001.","journal-title":"Journal of Logic and Computation"},{"key":"5095808_CR51","unstructured":"J. Halpern and Y. Shoham, \u201cA propositional modal logic of time intervals,\u201d in Proceedings, Symposium on Logic in Computer Science, Boston, 1986."},{"key":"5095808_CR52","doi-asserted-by":"crossref","first-page":"311","DOI":"10.2307\/2273191","volume":"45","author":"R. Maddux","year":"1980","unstructured":"R. Maddux, \u201cThe equational theory of CA\n3 is undecidable,\u201d Journal of Symbolic Logic, vol. 45, pp. 311\u2013316, 1980.","journal-title":"Journal of Symbolic Logic"},{"key":"5095808_CR53","unstructured":"R. Hirsch, I. Hodkinson, and A. Kurucz, \u201cEvery logic between K\n3 and S53 is undecidable and non-finitely axiomatizable,\u201d Manuscript; available at http:\/\/www.doc.ic. ac.uk\/~kuag\/k3undec.ps, 2000."},{"key":"5095808_CR54","unstructured":"D. Randell, Z. Cui, and A.G. Cohn, \u201cA spatial logic based on regions and connection,\u201d in Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, San Mateo, 1992, pp. 165\u2013176."},{"issue":"2","key":"5095808_CR55","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. Egenhofer","year":"1991","unstructured":"M. Egenhofer and R. Franzosa, \u201cPoint-set topological spatial relations,\u201d International Journal of Geographical Information Systems, vol. 5, no. 2, pp. 161\u2013174, 1991.","journal-title":"International Journal of Geographical Information Systems"},{"key":"5095808_CR56","unstructured":"N.M. Gotts, \u201cAn axiomatic approach to topology for spatial information systems,\u201d Technical report, Report 96.25, School of Computer Studies, University of Leeds, 1996."},{"key":"5095808_CR57","unstructured":"B. Bennett, \u201cLogical representations for automated reasoning about spatial relationships,\u201d Ph.D. Thesis, School of Computer Studies, The University of Leeds, 1997. Abstract and postscript at http:\/\/www.scs.leeds.ac.uk\/brandon\/thesis.html."},{"key":"5095808_CR58","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4064\/fm-38-1-137-152","volume":"38","author":"A. Grzegorczyk","year":"1951","unstructured":"A. Grzegorczyk, \u201cUndecidability of some topological theories,\u201d Fundamenta Mathematicae, vol. 38, pp. 137\u2013152, 1951.","journal-title":"Fundamenta Mathematicae"},{"key":"5095808_CR59","unstructured":"N.M. Gotts, \u201cUsing the RCC formalism to describe the topology of spherical regions,\u201d Technical Report, Report 96.24, School of Computer Studies, University of Leeds, 1996."},{"key":"5095808_CR60","unstructured":"C. Dornheim, \u201cUndecidability of plane polygonal mereotopology,\u201d in Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98), edited by A.G. Cohn, L. Schubert, and S. Shapiro, 1998, pp. 342\u2013353."},{"key":"5095808_CR61","doi-asserted-by":"crossref","unstructured":"M. Knauff, R. Rauh, and J. Renz, \u201cA cognitive assessment of topological spatial relations: Results from an empirical investigation,,\u201d in Proceedings of the 3rd International Conference on Spatial Information Theory (COSIT'97), 1997.","DOI":"10.1007\/3-540-63623-4_51"},{"key":"5095808_CR62","doi-asserted-by":"crossref","unstructured":"B. Bennett, \u201cSpatial reasoning with propositional logics,\u201d in Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), edited by J. Doyle, E. Sandewall, and P. Torasso, San Francisco, CA, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"key":"5095808_CR63","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"V. Goranko and S. Passy, \u201cUsing the universal modality: Gains and questions,\u201d Journal of Logic and Computation, vol. 2, pp. 5\u201330, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"5095808_CR64","unstructured":"J. Renz, \u201cA canonical model of the region connection calculus,\u201d in Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98), edited by A.G. Cohn, L. Schubert, and S. Shapiro, pp. 330\u2013341, 1998."},{"key":"5095808_CR65","unstructured":"F. Wolter and M. Zakharyaschev, \u201cSpatial reasoning in RCC-8 with Boolean region terms,\u201d in Proceedings of ECAI 2000, Berlin, 2000, pp. 244\u2013248."},{"key":"5095808_CR66","unstructured":"J. Renz and B. Nebel, \u201cOn the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus,\u201d in Proceedings of IJCAI-97, 1997."},{"issue":"1\/2","key":"5095808_CR67","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"J. Renz and B. Nebel, \u201cOn the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus,\u201d Artificial Intelligence, vol. 108, no. 1\/2, pp. 69\u2013123, 1999.","journal-title":"Artificial Intelligence"},{"key":"5095808_CR68","unstructured":"P. Muller, \u201cA qualitative theory of motion based on spatiotemporal primitives,\u201d in Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98), edited by A.G. Cohn, L. Schubert, and S. Shapiro, pp. 131\u2013141, 1998."},{"key":"5095808_CR69","unstructured":"F. Wolter and M. Zakharyaschev, \u201cSpatio-temporal representation and reasoning based on RCC-8,\u201d in Proceedings of the Seventh Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, USA, 2000, pp. 3\u201314."},{"key":"5095808_CR70","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D. Gabbay","year":"1994","unstructured":"D. Gabbay, I. Hodkinson, and M. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects, vol. I, Oxford University Press: Oxford, 1994."},{"key":"5095808_CR71","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I. Hodkinson","year":"2000","unstructured":"I. Hodkinson, F. Woter, and M. Zakaryaschev, \u201cDecidable fragments of first-order temporal logics,\u201d Annals of Pure and Applied Logic, vol. 106, pp. 85\u2013134, 2000.","journal-title":"Annals of Pure and Applied Logic"},{"key":"5095808_CR72","unstructured":"P. Blackburn, \u201cFine grained theories of time,\u201d in Semantics of Time, Space and Movement: Working papers of the 4th International Workshop TSM-92, Ch\u00e2teau de Bonas, edited by M. Aurnague, A. Borillo, M. Borillo, and M. Bras, pp. 327\u2013348, 1992."},{"key":"5095808_CR73","doi-asserted-by":"crossref","unstructured":"M. Vilain, H. Kautz, and P. van Beek, \u201cConstraint propagation algorithms for temporal reasoning: A revised report,\u201d in Proceedings AAAI-86, 1986. Philadelphia. Revised version in Weld and De Kleer (1990).","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"},{"key":"5095808_CR74","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/A:1010037123582","volume":"1","author":"I. Pratt","year":"1999","unstructured":"I. Pratt, \u201cFirst-order qualitative spatial representation languages with convexity,\u201d Spatial Cognition and Computation, vol. 1, pp. 181\u2013204, 1999.","journal-title":"Spatial Cognition and Computation"},{"issue":"3","key":"5095808_CR75","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1026401931919","volume":"4","author":"E. Davis","year":"1999","unstructured":"E. Davis, N. Gotts, and A.G. Cohn, \u201cConstraint networks of topological relations and convexity,\u201d Constraints, vol. 4, no. 3, pp. 241\u2013280, 1999.","journal-title":"Constraints"},{"issue":"1","key":"5095808_CR76","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1093\/logcom\/7.1.59","volume":"7","author":"P. Balbiani","year":"1997","unstructured":"P. Balbiani, L. Fari\u00f1as del Cerro, T. Tinchev, and D. Vakarelov, \u201cModal logics for incidence geometries,\u201d Journal of Logic and Computations, vol. 7, no. 1, pp. 59\u201378, 1997.","journal-title":"Journal of Logic and Computations"},{"key":"5095808_CR77","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0095-8956(91)90091-W","volume":"52","author":"J. Kratochv\u00edl","year":"1991","unstructured":"J. Kratochv\u00edl, \u201cString graphs II: Recognizing string graphs is NP-Hard,\u201d Journal of Combinatorial Theory, Series B, vol. 52, pp. 67\u201378, 1991.","journal-title":"Journal of Combinatorial Theory, Series B"},{"key":"5095808_CR78","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0095-8956(91)90050-T","volume":"53","author":"J. Kratochv\u00edl","year":"1991","unstructured":"J. Kratochv\u00edl and J. Matou\u0161ek, \u201cString graphs requiring exponential representations,\u201d Journal of Combinatorial Theory, Series B, vol. 53, pp. 1\u20134, 1991.","journal-title":"Journal of Combinatorial Theory, Series B"},{"key":"5095808_CR79","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli, \u201cA really abstract concurrent model and its fully abstract semantics,\u201d in Proceedings of the 13th ACMSymposium on Principles of Programming Languages (POPL), 1986, pp. 173\u2013183.","DOI":"10.1145\/512644.512660"},{"key":"5095808_CR80","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/978-0-585-28322-7_10","volume-title":"Spatial and Temporal Reasoning","author":"A.P. Galton","year":"1997","unstructured":"A.P. Galton, \u201cSpace, time and movement,\u201d in Spatial and Temporal Reasoning, edited by O. Stock, Kluwer: Dordrecht, Ch. 10, pp. 321\u2013352, 1997."},{"key":"5095808_CR81","doi-asserted-by":"crossref","unstructured":"A. Galton, \u201cTransitions in continuous time, with an application to qualitative changes in spatial relations,\u201d in Advances in Temporal Logic (Proceedings of the Second International Conference on Temporal Logic, ICTL'97), edited by H.B. et al., 2000, pp. 279\u2013297.","DOI":"10.1007\/978-94-015-9586-5_14"},{"issue":"1","key":"5095808_CR82","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. Emerson","year":"1986","unstructured":"E. Emerson and J. Halpern, \u201cSometimes\u2019 and \u2018not never\u2019 revisited: On branching time versus linear time temporal logics,\u201d Journal of the ACM, vol. 33, no. 1, pp. 151\u2013178, 1986.","journal-title":"Journal of the ACM"},{"key":"5095808_CR83","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/10720084_6","volume":"1794","author":"U. Hustadt","year":"2000","unstructured":"U. Hustadt, C. Dixon, R.A. Schmidt, and M. Fisher, \u201cNormal forms and proofs in combined modal and temporal logics,\u201d in Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS'2000), vol. 1794 of LNAI, 2000, pp. 73\u201387.","journal-title":"Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS'2000)"},{"issue":"6","key":"5095808_CR84","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1093\/jigpal\/7.6.755","volume":"7","author":"M. Marx","year":"1999","unstructured":"M. Marx, S. Mikulas, and S. Schlobach, \u201cTableau calculus for local cubic modal logics and its implementation,\u201d Journal of the IGPL, vol. 7, no. 6, pp. 755\u2013778, 1999.","journal-title":"Journal of the IGPL"},{"key":"5095808_CR85","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A.G. Cohn","year":"1997","unstructured":"A.G. Cohn, B. Bennett, J. Gooday, and N. Gotts, \u201cRCC: A calculus for region based qualitative spatial reasoning,\u201d GeoInformatica, vol. 1, pp. 275\u2013316, 1997.","journal-title":"GeoInformatica"},{"key":"5095808_CR86","series-title":"Monografie Matematyczne","volume-title":"Topologie","author":"K. Kuratowski","year":"1933","unstructured":"K. Kuratowski, Topologie, vol. I of Monografie Matematyczne, PWN Polish Scientific Publishers: Warsaw, 1933."},{"key":"5095808_CR87","volume-title":"Readings in Qualitative Reasoning About Physical Systems","year":"1990","unstructured":"D.S. Weld and J. De Kleer (eds.), Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufman: San Mateo, CA, 1990."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020083231504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020083231504\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020083231504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:03Z","timestamp":1747579503000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020083231504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":87,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5095808"],"URL":"https:\/\/doi.org\/10.1023\/a:1020083231504","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}