{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:25:34Z","timestamp":1778300734511,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540572077","type":"print"},{"value":"9783540479666","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57207-4_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:17:18Z","timestamp":1330258638000},"page":"25-35","source":"Crossref","is-referenced-by-count":8,"title":["A logical framework for reasoning about space"],"prefix":"10.1007","author":[{"given":"Laure","family":"Vieu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"11","key":"3_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"3_CR2","volume-title":"The Semantics of Prepositions \u2014 From Mental Processing to Natural Language Processing","author":"M. Aurnague","year":"1993","unstructured":"M. Aurnague, L. Vieu: A three-level approach to the semantics of space. In: C. Zelinsky-Wibbelt (ed.): The Semantics of Prepositions \u2014 From Mental Processing to Natural Language Processing. Berlin: Mouton de Gruyter, to appear in 1993"},{"key":"3_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The logic of time","author":"J. Benthem van","year":"1983","unstructured":"J. van Benthem: The logic of time. Dordrecht: Reidel 1983"},{"key":"3_CR4","unstructured":"L. Buisson, R. Martin-Clouaire, L. Vieu, J.-L. Wybo: Repr\u00e9sentation de l'espace, dynamique qualitative et raisonnement spatial. Project of the \u201cProgramme Interdisciplinaire de Recherche \u2014 Environnement\u201d, CNRS 1992"},{"issue":"3","key":"3_CR5","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B. Clarke","year":"1981","unstructured":"B. Clarke: A calculus of individuals based on \u201cconnection\u201d. Notre Dame Journal of Formal Logic 22(3), 204\u2013218 (1981)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"3_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B. Clarke","year":"1985","unstructured":"B. Clarke: Individuals and points. Notre Dame Journal of Formal Logic 26(1), 61\u201375 (1985)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"3_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0954-1810(88)90029-5","volume":"3","author":"E. Davis","year":"1988","unstructured":"E. Davis: A logical framework for commonsense predictions of solid object behavior. Artificial Intelligence in Engineering 3(3), 125\u2013140 (1988)","journal-title":"Artificial Intelligence in Engineering"},{"key":"3_CR8","volume-title":"Image et cognition","author":"M. Denis","year":"1989","unstructured":"M. Denis: Image et cognition. Paris: Presses Universitaires de France 1989"},{"key":"3_CR9","first-page":"53","volume-title":"Mental models","author":"K. Forbus","year":"1983","unstructured":"K. Forbus: Qualitative reasoning about space and motion. In: D. Gentner, A. L. Stevens (eds.): Mental models. Hillsdale (NJ): Erlbaum 1983, pp. 53\u201373"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/1045-926X(92)90007-9","volume":"3","author":"A. Frank","year":"1992","unstructured":"A. Frank: Qualitative Spatial Reasoning about Distances and Directions in Geographic Space. Journal of Visual Languages and Computing 3, 343\u2013371 (1992)","journal-title":"Journal of Visual Languages and Computing"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-55966-3_10","volume-title":"Theories and Methods of Spatio-Temporal Reasoning in Geographic Space","author":"C. Freksa","year":"1992","unstructured":"C. Freksa: Using Orientation Information for Qualitative Spatial Reasoning. In: A. Frank, I. Campari, U. Formentini (eds.): Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Proceedings of the International Conference GIS \u2014 From Space to Territory. Berlin: Springer 1992, pp. 162\u2013178"},{"key":"3_CR12","volume-title":"Internal Report 01\/93","year":"1993","unstructured":"N. Guarino, R. Poli (eds.): Proceedings of the International Workshop on Formal Ontology. Padova: LADSEB-CNR (Internal Report 01\/93) 1993"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/978-3-642-67458-7_24","volume-title":"Semantics from different points of view","author":"H. Kamp","year":"1979","unstructured":"H. Kamp: Events, instants and temporal reference. In: R. B\u00e4uerle, U. Egli, A. von Stechow (eds.): Semantics from different points of view. Berlin: Springer 1979, pp. 376\u2013417"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H. Leonard","year":"1940","unstructured":"H. Leonard, N. Goodman: The calculus of individuals and its uses. The Journal of Symbolic Logic 5, 45\u201355 (1940)","journal-title":"The Journal of Symbolic Logic"},{"key":"3_CR15","unstructured":"S. Lesniewski: O podstawach matematyki (On the foundations of mathematics). Przeglad filozoficzny (Philosophical Review) vols. 30\u201334, (1927\u20131931)."},{"key":"3_CR16","volume-title":"Parts of Classes","author":"D. Lewis","year":"1991","unstructured":"D. Lewis: Parts of Classes. Oxford (MA): Blackwell 1991"},{"key":"3_CR17","volume-title":"Ph.D. dissertation","author":"B. Ludwig","year":"1992","unstructured":"B. Ludwig: L'\u00e9rosion par ruissellement concentr\u00e9 des terres cultiv\u00e9es du Nord du Bassin Parisien, Ph.D. dissertation. Strasbourg: Universit\u00e9 Louis Pasteur 1992"},{"key":"3_CR18","first-page":"721","volume-title":"AAAI 90","author":"A. Mukerjee","year":"1990","unstructured":"A. Mukerjee, G. Joe: A Qualitative Model for Space. In: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI 90. Cambridge (MA): MIT Press 1990, pp. 721\u2013727"},{"key":"3_CR19","first-page":"357","volume-title":"Modeling topological and metrical properties in physical processes","author":"D. Randell","year":"1989","unstructured":"D. Randell, A. Cohn: Modeling topological and metrical properties in physical processes. In: R. Brachman, H. Levesque, R. Reiter (eds.): Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning. San Mateo (CA): Morgan Kaufmann 1989, pp. 357\u2013368"},{"key":"3_CR20","volume-title":"Parts \u2014 A study in ontology","author":"P. Simons","year":"1987","unstructured":"P. Simons: Parts \u2014 A study in ontology. Oxford: Clarendon Press 1987"},{"key":"3_CR21","volume-title":"Logique, S\u00e9mantique, M\u00e9tamath\u00e9matique","author":"A. Tarski","year":"1972","unstructured":"A. Tarski: Les fondements de la g\u00e9om\u00e9trie des corps. In: A. Tarski: Logique, S\u00e9mantique, M\u00e9tamath\u00e9matique. Paris: Armand Colin 1972"},{"key":"3_CR22","volume-title":"Ph.D. dissertation","author":"L. Vieu","year":"1991","unstructured":"L. Vieu: S\u00e9mantique des relations spatiales et inf\u00e9rences spatio-temporelles, Ph.D. dissertation. Toulouse: Universit\u00e9 Paul Sabatier 1991"},{"key":"3_CR23","unstructured":"L. Vieu, R. Martin-Clouaire: Spatial and Qualitative Reasoning for Modelling Physical Processes. Submitted (20p)"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory A Theoretical Basis for GIS"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57207-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:00:18Z","timestamp":1619571618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57207-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572077","9783540479666"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-57207-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}