{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:31:46Z","timestamp":1775097106789,"version":"3.50.1"},"reference-count":96,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/s10462-004-5899-8","type":"journal-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T16:45:16Z","timestamp":1112373916000},"page":"315-357","source":"Crossref","is-referenced-by-count":44,"title":["Relation Algebras and their Application in Temporal and Spatial Reasoning"],"prefix":"10.1007","volume":"23","author":[{"given":"Ivo","family":"D\ufffdntsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","journal-title":"Communications of the ACM"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1002\/malq.19950410207","volume":"41","author":"D Andr\u00e9ka","year":"1995","journal-title":"Mathematical Logic Quarterly"},{"key":"CR3","volume-title":"Decision Problems for Equational Theories of Relation Algebras , number 604 in Memoirs of the American Mathematical Society","author":"H. Andr\u00e9ka","year":"1997"},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1305\/ndjfl\/1040408612","volume":"35","author":"H Andr\u00e9ka","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR5","unstructured":"Andr\u00e9ka, H., Monk, J.D. & N\u00e9meti, I. (eds.) (1991). Algebraic Logic, Vol. 54 of Colloquia Mathematica Societatis J\u00e1nos Bolyai. North Holland: Amsterdam."},{"key":"CR6","unstructured":"Anellis, I. & Houser, N. (1991). Nineteenth Century Roots of Algebraic Logic and Universal Algebra, In Andr\u00e9ka, H., Monk, J. D. N\u00e9meti, I. (eds.), Algebraic Logic, Vol. 54 of Colloquia Mathematica Societatis J\u00e9nos Bolyai. North Holland: Amsterdam, 1--36."},{"key":"CR7","unstructured":"Asher, N. & Vieu, L. (1995). Toward a Geometry of Common Sense: A Semantics and A Complete Axiomatization of Mereotopology. In Mellish, C. (ed.), IJCAI 95, Proceedings of the 14th International Joint Conference on Artificial Intelligence"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Behnke, R., Berghammer, R., Meyer, E. & Schneider, P. (1998). RELVIEW?A System for Calculating with Relations and Relational Programming. Lecture Notes in Computer Science 1382 :318?321.","DOI":"10.1007\/BFb0053599"},{"key":"CR9","unstructured":"Bennett, B. (1994a). Some Observations and Puzzles About Composing Spatial and Temporal Relations. 11th European Conference on Artificial Intelligence, Workshop on Spatial Reasoning."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Bennett, B. (1994b). Spatial Reasoning with Propositional Logics. In Jon Doyle, P. T. & Erik Sandewall (ed.), Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Bonn, FRG, 51--62.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"key":"CR11","unstructured":"Bennett, B., Isli, A. & Cohn, A. (1997). When Does a Composition Table Provide A Complete and Tractable Proof Procedure For A Relational Constraint Language?. IJCAI 97, Proceedings of the Workshop of Spatial Reasoning ."},{"key":"CR12","volume-title":"Lattice Theory , Vol.25 of American Mathematical Society Colloquium Publications","author":"G. Birkhoff","year":"1948","edition":"2"},{"key":"CR13","first-page":"341","volume":"1","author":"L. Chin","year":"1951","journal-title":"University of California Publications in Mathematics"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR15","first-page":"85","volume":"38","author":"S. Comer","year":"1983","journal-title":"Congressus Numerantium"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. deLaguna","year":"1922","journal-title":"The Journal of Philosophy"},{"key":"CR17","first-page":"331","volume":"10","author":"A Morgan de","year":"1864","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF02280664","volume":"23","author":"I. D\u00fcntsch","year":"1991","journal-title":"Period. Math. Hungar."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/S0304-3975(01)00016-0","volume":"269","author":"I. D\u00fcntsch","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., Or?owska, E. & Radzikowska, A. (2003). Lattice?Based Relation Algebras and Their Representability. Technical Report CS-03-03 , Department of Computer Science, Brock University.","DOI":"10.1007\/978-3-540-24615-2_11"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1013892110192","volume":"69","author":"I. D\u00fcntsch","year":"2001a","journal-title":"Studia Logica"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0304-3975(99)00156-5","volume":"255","author":"I. D\u00fcntsch","year":"2001b","journal-title":"Theoretical Computer Science"},{"key":"CR23","unstructured":"D\u00fcntsch, I. & Winter, M. (2003). A Representation Theorem for Boolean Contact Algebras. Research Report CS-03-08 , Department of Computer Science, Brock University."},{"key":"CR24","unstructured":"D\u00fcntsch, I. & Winter, M. (2004). Construction of Boolean contact algebras, AI Communications . To appear."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Egenhofer, M. (1991). Reasoning About Binary Topological Relations. In Gunther, O. & Schek, H. J. (eds.), Proceedings of the Second Symposium on Large Spatial Databases, SSD?91 (Zurich, Switzerland), 143?160, Vol. 525 of Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-54414-3_36"},{"key":"CR26","first-page":"261","volume":"47","author":"M. Egenhofer","year":"1993","journal-title":"Geomatica"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1006\/jvlc.1994.1007","volume":"5","author":"M. Egenhofer","year":"1994a","journal-title":"Journal of Visual Languages and Computing"},{"issue":"2","key":"CR28","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. Egenhofer","year":"1991","journal-title":"International Journal of Geographic Information Systems"},{"key":"CR29","unstructured":"Egenhofer, M. & Herring, J. (1991). Categorizing Binary Topological Relationships Between Regions, Lines and Points in Geographic Databases. Technical Report , Department of Surveying Engineering, University of Maine."},{"issue":"1","key":"CR30","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1006\/jvlc.1994.1007","volume":"5","author":"M.J. Egenhofer","year":"1994b","journal-title":"Journal of Visual Languages and Computing"},{"issue":"2","key":"CR31","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/02693799408901990","volume":"8","author":"M.J. Egenhofer","year":"1994","journal-title":"International Journal of Geographical Information Systems"},{"issue":"2","key":"CR32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/02693799508902030","volume":"9","author":"M.J. Egenhofer","year":"1995","journal-title":"International Journal of Geographical Information Systems"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1010028527587","volume":"1","author":"M. Egenhofer","year":"1999","journal-title":"Journal of Spatial Cognition and Computation"},{"key":"CR34","unstructured":"Egenhofer, M. & Sharma, J. (1992). Topological Consistency. Fifth International Symposium on Spatial Data Handling . Charleston, SC."},{"key":"CR35","first-page":"47","volume":"1","author":"M. Egenhofer","year":"1993","journal-title":"Geographical Systems"},{"issue":"3","key":"CR36","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1080\/02693799608902079","volume":"10","author":"A.U. Frank","year":"1996","journal-title":"International Journal of Geographical Information Science"},{"key":"CR37","unstructured":"Gerla 1995 gerla :pointless Gerla, G. (1995). Pointless Geometries. In Buekenhout, F. (ed.) Handbook of Incidence Geometry , chapter18, pp.1015?1031. Elsevier Science B.V."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/BF00485101","volume":"12","author":"A. Grzegorczyk","year":"1960","journal-title":"Synthese"},{"key":"CR39","volume-title":"Cylindric Algebras","author":"L. Henkin","year":"1985"},{"issue":"2","key":"CR40","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0004-3702(95)00042-9","volume":"83","author":"R. Hirsch","year":"1996","journal-title":"Artificial Intelligence"},{"issue":"3","key":"CR41","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/logcom\/7.3.309","volume":"7","author":"R. Hirsch","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"CR42","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1093\/jigpal\/7.4.547","volume":"7","author":"R. Hirsch","year":"1999","journal-title":"Journal of the IGPL"},{"issue":"1?2","key":"CR43","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0004-3702(99)00089-2","volume":"116","author":"R. Hirsch","year":"2000","journal-title":"Artificial Intelligence"},{"key":"CR44","unstructured":"Hirsch, R. & Hodkinson, I. (2002). Relation Algebras by Games, Vol. 147 of Studies in Logic and the Foundations of Mathematics. Elsevier: Amsterdam."},{"key":"CR45","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/1993545","volume":"92","author":"B. J\u00f3nsson","year":"1959","journal-title":"Transaction of the American Mathematical Society: Providence, RI."},{"key":"CR46","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\u00f3nsson","year":"1982","journal-title":"Algebra Universalis"},{"key":"CR47","unstructured":"J\u00f3nsson, B. (1984). The Theory of Binary Relations. Lecture notes, University of Montreal."},{"key":"CR48","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1613\/jair.379","volume":"6","author":"P. Jonsson","year":"1997","journal-title":"Journal of Artificial Intelligence Research"},{"key":"CR49","unstructured":"Kahl, W. & Schmidt, G. (2000). Exploring (finite) Relation Algebras using Tools written in Haskell. Technical Report 2000--02, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen. Avalaible from http:\/\/ist.unibw-muenchen.de\/Publications\/TR\/2000-02\/ (December 31, 2001)."},{"key":"CR50","unstructured":"K\u00f6hler, C. (2002). The Occlusion Calculus. Proceedings of the ??Cognitive Vision?? Workshop , Z\u00fcrich."},{"key":"CR51","unstructured":"Koppelberg, S. (1989). General Theory of Boolean Algebras, Vol. 1 of Handbook on Boolean Algebras. North Holland: Amsterdam."},{"key":"CR52","unstructured":"Kurucz, \u00c1. (1997). Decision Problems in Algebraic Logic. PhD Thesis, Hungarian Academy of Sciences, Budapest."},{"key":"CR53","unstructured":"Ladkin, P.B. & Maddux, R. (1988). The Algebra of Binary Constraint Networks. Technical Report KES.U.88.9, Kestrel Institute. http:\/\/www.math.iastate.edu\/maddux\/papers\/tabcn.ps."},{"issue":"3","key":"CR54","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/176584.176585","volume":"41","author":"P.B. Ladkin","year":"1994","journal-title":"Journal of the ACM"},{"key":"CR55","unstructured":"Ladkin, P.B. & Maddux, R.D. (1989). On Binary Constraint Networks. Technical report , Kestrel Institute, Palo Alto, CA, USA."},{"issue":"1","key":"CR56","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(92)90106-8","volume":"57","author":"P.B. Ladkin","year":"1992","journal-title":"Artificial Intelligence"},{"key":"CR57","doi-asserted-by":"crossref","unstructured":"Ladkin, P.B. & Reinefeld, A. (1997). Fast Algebraic Methods for Interval Constraint Problems. Annals of Mathematics and Artificial Intelligence 19(3--4): 383--411. URL: citeseer.nj.nec.com\/article\/ladkin97fast.html","DOI":"10.1023\/A:1018968024833"},{"key":"CR58","unstructured":"Le?niewski, S. (1927?1931). O Podstawach Matematyki. Przeglad Filozoficzny 30?34 ."},{"key":"CR59","first-page":"7","volume":"2","author":"S. Le?niewski","year":"1983","journal-title":"Topoi"},{"key":"CR60","first-page":"363","volume":"55","author":"S. Li","year":"2003a","journal-title":"Fundamenta Informaticae"},{"key":"CR61","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0004-3702(02)00372-7","volume":"145","author":"S. Li","year":"2003b","journal-title":"Artificial Intelligence"},{"key":"CR62","unstructured":"Li, Y., Li, S. & Ying, M. (2003). Relational Reasoning in The Region Connection Calculus. (Preprint)."},{"key":"CR63","unstructured":"Lobachevskij, N.I. (1835). New Principles of Geometry With A Complete Theory of Parallels. Polnoe Sobranie Socinenij 2 . (In Russian)."},{"key":"CR64","unstructured":"Luschei, E.C. (1962). The Logical Systems of Le?niewski . North Holland, Amsterdam."},{"issue":"2","key":"CR65","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"R.C. Lyndon","year":"1950","journal-title":"Annals of Mathematics"},{"key":"CR66","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1307\/mmj\/1028998510","volume":"8","author":"R.C. Lyndon","year":"1961","journal-title":"Michigan Mathematical Journal"},{"issue":"1","key":"CR67","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"CR68","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R. Maddux","year":"1982","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR69","unstructured":"Maddux, R. (1990). Some Algebras and Algorithms for Reasoning About Time and Space. ftp:\/\/ftp.math.iastate.edu\/pub\/maddux\/cmps4.ps."},{"key":"CR70","unstructured":"Maddux, R. (1991a). Introductory Course on Relation Algebras, Finite-Dimensional Cylindric Algebras, and Their Interconnections. In Andr\u00e9ka, H., Monk, J.D. & N\u00e9meti, I. (eds.). Algebraic Logic, vol. 54 of Colloquia Mathematica Societatis J\u00e1nos Bolyai. North Holland: Amsterdam, pp. 361--392."},{"key":"CR71","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/BF00370681","volume":"50","author":"R. Maddux","year":"1991b","journal-title":"Studia Logica"},{"key":"CR72","first-page":"27","volume-title":"Algebraic Methodology and Software Technology (AMAST ?93) Workshops in Computing","author":"R Maddux","year":"1993"},{"key":"CR73","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1307\/mmj\/1029000477","volume":"17","author":"R. McKenzie","year":"1970","journal-title":"Michigan Mathematical Journal"},{"key":"CR74","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","volume":"11","author":"D. Monk","year":"1964","journal-title":"Michigan Mathematical Journal"},{"key":"CR75","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","journal-title":"Information Sciences"},{"key":"CR76","unstructured":"Mormann, T. (2001). Holes in The Region Connection Calculus. Preprint, Presented at RelMiCS 6, Oisterwijk, October 2001."},{"key":"CR77","unstructured":"Nebel, B. (1995). Computational Properties of Qualitative Spatial Reasoning: First Results, In Wachsmuth, I. Rollinger, C.-R. and Brauer, W. (eds.) KI-95: Advances in Artificial Intelligence, 233--244, Vol. 981 of Lecture Notes in Computer Science, Springer, Heidelberg."},{"issue":"1","key":"CR78","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B. Nebel","year":"1995","journal-title":"Journal of the ACM"},{"key":"CR79","doi-asserted-by":"crossref","first-page":"340","DOI":"10.2307\/2045968","volume":"100","author":"I. N\u00e9meti","year":"1987","journal-title":"Proceedings of the American Mathematical Society"},{"key":"CR80","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/25058006","volume":"9","author":"C. S. Peirce","year":"1870","journal-title":"Memoirs of the American Academy of Sciences"},{"issue":"6","key":"CR81","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1023\/A:1004361501703","volume":"27","author":"I. Pratt","year":"1998","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"CR82","doi-asserted-by":"crossref","first-page":"822","DOI":"10.2307\/2586573","volume":"65","author":"I. Pratt","year":"2000","journal-title":"Journal of Symbolic Logic"},{"key":"CR83","first-page":"248","volume-title":"Origins of The Calculus of Binary Relations, 7th Annual Symposium on Logic in Computer Science","author":"V. Pratt","year":"1992"},{"key":"CR84","first-page":"786","volume-title":"Proceedings of the 11th International Conference on Automated Deduction ( CADE -11) , Vol","author":"D.A. Randell","year":"1992"},{"key":"CR85","volume-title":"Proceedings of the seventeenth International Conference on Artificial Intelligence ( IJCAI -01) , 57?66","author":"D. Randell","year":"2001"},{"key":"CR86","volume-title":"Proceedings of the 16th International Joint Conference on Artificial Intelligence ( IJCAI -99- Vol1) , 448?455","author":"J. Renz","year":"1999"},{"key":"CR87","unstructured":"Renz, J. & Nebel, B. (1997). On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of The Region Connection Calculus. IJCAI 97, Proceedings of the 15th International Joint Conference on Artificial Intelligence."},{"issue":"1?2","key":"CR88","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","journal-title":"Artificial Intelligence"},{"key":"CR89","unstructured":"Schr\u00f6der, E. (1890?1905). Vorlesungen\u00fcber die Algebra der Logik , Volumes 1 to 3 , Teubner, Leipzig. Reprinted by Chelsea, New York, 1966."},{"key":"CR90","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1080\/02693799208901904","volume":"6","author":"T.P. Smith","year":"1992","journal-title":"International Journal of Geographical Information Systems"},{"key":"CR91","unstructured":"Surma, S.J., Srzednicki, J.T., Barnett, D.I. and Ricky, V.F. (eds.) (1992). Stanis law Le?niewski: Collected works"},{"key":"CR92","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","journal-title":"Journal Symbolic Logic"},{"key":"CR93","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/S1385-7258(55)50009-6","volume":"17","author":"A. Tarski","year":"1955","journal-title":"III . Indag. Math"},{"key":"CR94","volume-title":"A Formalization of Set Theory Without Variables Vol.41 of Colloquium Publications","author":"A. Tarski","year":"1987"},{"key":"CR95","unstructured":"Vilain, M., Kautz, H. & van Beek, P. (1986). Constraint Propagation Algorithms For Temporal Reasoning: A Revised Report. Proceedings of the Fifth National Conference on Artificial Intelligence, 377--382. American Association for Artificial Intelligence. AAAI Press: Menlo Park."},{"key":"CR96","volume-title":"Process and Reality","author":"A.N. Whitehead","year":"1929"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-004-5899-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-004-5899-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-004-5899-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:45:04Z","timestamp":1559151904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-004-5899-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":96,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["5899"],"URL":"https:\/\/doi.org\/10.1007\/s10462-004-5899-8","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}