{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:12:35Z","timestamp":1778497955397,"version":"3.51.4"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"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":["Constraints"],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1023\/a:1026401931919","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T11:45:40Z","timestamp":1068119140000},"page":"241-280","source":"Crossref","is-referenced-by-count":22,"title":["Constraint Networks of Topological Relations and Convexity"],"prefix":"10.1007","volume":"4","author":[{"given":"Ernest","family":"Davis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas Mark","family":"Gotts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony G.","family":"Cohn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"235747_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen (1983). Maintaining knowledge about temporal intervals. Comm. ACM 26: 832\u2013843.","journal-title":"Comm. ACM"},{"key":"235747_CR2","doi-asserted-by":"crossref","unstructured":"S. Basu, R. Pollack, and M.-F. Roy (1994). On the combinatorial and algebraic complexity of quantifier elimination. In Proc. Foundations of Computer Science, pages 632\u2013641. IEEE Computer Society.","DOI":"10.1109\/SFCS.1994.365728"},{"key":"235747_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-1-4832-1452-8.50102-0","volume-title":"Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning","author":"B. Bennett","year":"1994","unstructured":"B. Bennett (1994). Spatial reasoning with propositional logics. In Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pages 51\u201362, Bonn, Germany. Morgan Kaufmann, San Mateo, California."},{"key":"235747_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/3-540-60392-1_20","volume-title":"Spatial Information Theory: A Theoretical Basis for GIS","author":"A. G. Cohn","year":"1995","unstructured":"A. G. Cohn (1995). A hierarchical representation of qualitative shape based on connection and convexity. In A. Frank, editor, Spatial Information Theory: A Theoretical Basis for GIS, Proceedings of COSIT'95, LNCS 988, pages 311\u2013326, Springer Verlag, New York."},{"key":"235747_CR5","doi-asserted-by":"crossref","unstructured":"A. G. Cohn, D. A. Randell and Z. Cui (1995). Taxonomies of logically defined qualitative spatial relations. In N. Guarino and R. Poli, editors, International Journal of Human-Computer Studies, special issue on Formal Ontology in Conceptual Analysis and Knowledge Representation, 43(5\u20136): 831\u2013846.","DOI":"10.1006\/ijhc.1995.1077"},{"key":"235747_CR6","volume-title":"Projective Geometry.","author":"H. S. M. Coxeter","year":"1987","unstructured":"H. S. M. Coxeter (1987). Projective Geometry. (2nd ed.) Springer-Verlag, New York.","edition":"2nd ed."},{"key":"235747_CR7","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-60392-1_2","volume-title":"Spatial Information Theory: A Theoretical Basis for GIS","author":"B. Faltings","year":"1995","unstructured":"B. Faltings (1995). Qualitative spatial reasoning using algebraic topology. In A. Frank, editor, Spatial Information Theory: A Theoretical Basis for GIS: Proceedings of COSIT'95, LNCS 988, pages 17\u201330, Springer Verlag, New York."},{"key":"235747_CR8","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 (1951). Undecidability of some topological theories. Fundamenta Mathematicae 38: 137\u2013152.","journal-title":"Fundamenta Mathematicae"},{"key":"235747_CR9","first-page":"537","volume-title":"CRC Handbook of Discrete and Computational Geometry","author":"B. Mishra","year":"1997","unstructured":"B. Mishra (1997). Computational real algebraic geometry. In J.E. Goodman and J. O'Rourke, editors, CRC Handbook of Discrete and Computational Geometry, CRC Series, Discrete and Combinatorial Mathematics, pages 537\u2013558, CRC Press, Boca Raton, Florida."},{"key":"235747_CR10","first-page":"357","volume-title":"Proc. of the First International Conference on Principles of Knowledge Representation and Reasoning","author":"D. A. Randell","year":"1989","unstructured":"D. A. Randell and A. G. Cohn (1989). Modelling topological and metrical properties in physical processes. In Proc. of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 357\u2013367, Toronto, Ontario. Morgan Kaufmann, San Mateo, California."},{"key":"235747_CR11","first-page":"177","volume-title":"Advances in Qualitative Physics","author":"D. A. Randell","year":"1992","unstructured":"D. A. Randell and A. G. Cohn (1992). Naive topology: modelling the force pump. In P. Struss and B. Faltings, editors, Advances in Qualitative Physics, pages 177\u2013192, MIT Press, Cambridge, Massachusetts."},{"key":"235747_CR12","first-page":"165","volume-title":"Third International Conference on Principles of Knowledge Representation and Reasoning","author":"D. A. Randell","year":"1992","unstructured":"D. A. Randell, Z. Cui, and A. G. Cohn (1992). A spatial logic based on regions and connection. Third International Conference on Principles of Knowledge Representation and Reasoning, pages 165\u2013176, Boston, MA. Morgan Kaufmann, San Mateo, California."},{"key":"235747_CR13","unstructured":"J. Renz and B. Nebel (1997). On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus, In Proc. of the 15th IJCAI, pages 522\u2013527, Nagoya, Japan."},{"key":"235747_CR14","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski (1951). A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California."},{"key":"235747_CR15","volume-title":"Logic, Semantics, Metamathematics","author":"A. Tarski","year":"1956","unstructured":"A. Tarski (1956). Sentential calculus and topology. in L. Brouwer, E. Beth, and A. Heyting, editors, Logic, Semantics, Metamathematics, Oxford Clarendon Press."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026401931919.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026401931919\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026401931919.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:59:45Z","timestamp":1752379185000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026401931919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["235747"],"URL":"https:\/\/doi.org\/10.1023\/a:1026401931919","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}