{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:40:44Z","timestamp":1725518444757},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876007"},{"type":"electronic","value":"9783540876014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87601-4_30","type":"book-chapter","created":{"date-parts":[[2008,9,18]],"date-time":"2008-09-18T09:25:28Z","timestamp":1221729928000},"page":"426-440","source":"Crossref","is-referenced-by-count":2,"title":["Qualitative Reasoning about Convex Relations"],"prefix":"10.1007","author":[{"given":"Dominik","family":"L\u00fccke","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM, 832\u2013843 (1983)","DOI":"10.1145\/182.358434"},{"key":"30_CR2","first-page":"165","volume-title":"KR 1992. Principles of Knowledge Representation and Reasoning","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Principles of Knowledge Representation and Reasoning, pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/TIME.2006.2","volume-title":"TIME 2006: Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning","author":"J.F. Condotta","year":"2006","unstructured":"Condotta, J.F., Saade, M., Ligozat, G.: A generic toolkit for n-ary qualitative temporal and spatial calculi. In: TIME 2006: Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning, pp. 78\u201386. IEEE Computer Society, Los Alamitos (2006)"},{"key":"30_CR4","volume-title":"Handbook of Spatial Logics","author":"J. Renz","year":"2007","unstructured":"Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I.E., Johan, F., Johan, F.v.B. (eds.) Handbook of Spatial Logics. Springer, Heidelberg (2007)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/3-540-45424-1_29","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"A. Scivos","year":"2001","unstructured":"Scivos, A., Nebel, B.: Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. In: Montello, D.R. (ed.) COSIT 2001. LNCS, vol.\u00a02205, pp. 431\u2013446. Springer, Heidelberg (2001)"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(92)90043-W","volume":"55","author":"R. Dechter","year":"1992","unstructured":"Dechter, R.: From local to global consistency. Artificial Intelligence\u00a055, 87\u2013108 (1992)","journal-title":"Artificial Intelligence"},{"key":"30_CR7","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":"30_CR8","unstructured":"Dylla, F., Moratz, R.: Empirical complexity issues of practical qualitative spatial reasoning about relative position. In: Proceedings of the Workshop on Spatial and Temporal Reasoning at ECAI 2004 (2004)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Scivos, A., Nebel, B.: The finest of its class: The natural, point-based ternary calculus LR for qualitative spatial reasoning. In: Spatial Cognition, pp. 283\u2013303 (2004)","DOI":"10.1007\/978-3-540-32255-9_17"},{"key":"30_CR10","unstructured":"Scivos, A.: Einf\u00fchrung in eine Theorie der tern\u00e4ren RST-Kalk\u00fcle f\u00fcr qualitatives r\u00e4umliches Schlie\u00dfen. Master\u2019s thesis, Universit\u00e4t Freiburg (in German) (April 2000)"},{"key":"30_CR11","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"M.B. Vilain","year":"1989","unstructured":"Vilain, M.B., Kautz, H.A., van Beek, P.G.: Constraint propagation algorithms for temporal reasoning: A revised report. In: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Francisco (1989)"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-70736-0","volume-title":"Qualitative Spatial Reasoning with Topological Information","author":"J. Renz","year":"2002","unstructured":"Renz, J.: Qualitative Spatial Reasoning with Topological Information. LNCS, vol.\u00a02293. Springer, Berlin (2002)"},{"issue":"1-2","key":"30_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0004-3702(00)00044-8","volume":"122","author":"A. Isli","year":"2000","unstructured":"Isli, A., Cohn, A.: A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence\u00a0122(1-2), 137\u2013187 (2000)","journal-title":"Artificial Intelligence"},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF00143879","volume":"1","author":"D. Sam-Haroud","year":"1996","unstructured":"Sam-Haroud, D., Faltings, B.: Consistency techniques for continuous constraints. constraints\u00a01, 85\u2013118 (1996)","journal-title":"constraints"},{"key":"30_CR15","first-page":"175","volume":"32","author":"E. Helly","year":"1923","unstructured":"Helly, E.: \u00dcber Mengen konvexer K\u00f6rper mit gemeinschaftlichen Punkten. Jber. Deutsch. Math. Verein\u00a032, 175\u2013176 (1923)","journal-title":"Jber. Deutsch. Math. Verein"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Ligozat, G.: Qualitative triangulation for spatial reasoning. In: Proc. International Conference on Spatial Information Theory. A Theoretical Basis for GIS, pp. 54\u201368 (1993)","DOI":"10.1007\/3-540-57207-4_5"},{"key":"30_CR17","volume-title":"ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence","author":"R. Moratz","year":"2000","unstructured":"Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. In: Horn, W. (ed.) ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, Amsterdam (2000)"},{"key":"30_CR18","unstructured":"Moratz, R., Dylla, F., Frommberger, L.: A relative orientation algebra with adjustable granularity. In: Proceedings of the Workshop on Agents in Real-Time, and Dynamic Environments (IJCAI 2005) (2005)"},{"key":"30_CR19","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-55966-3_10","volume-title":"Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space","author":"C. Freksa","year":"1992","unstructured":"Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, London, UK, pp. 162\u2013178. Springer, Heidelberg (1992)"},{"issue":"3","key":"30_CR20","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/S0747-7171(10)80004-5","volume":"13","author":"J. Renegar","year":"1992","unstructured":"Renegar, J.: On the computational complexity and geometry of the first order theory of the reals. Part I\u2013III. Journal of Symbolic Computation\u00a013(3), 301\u2013328 (1992); 255300, 301328, 329352","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Spatial Cognition VI. Learning, Reasoning, and Talking about Space"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87601-4_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:05Z","timestamp":1606183505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87601-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876007","9783540876014"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87601-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}