{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:33:05Z","timestamp":1725550385747},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289647"},{"type":"electronic","value":"9783540320203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11556114_13","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:51:34Z","timestamp":1127832694000},"page":"200-217","source":"Crossref","is-referenced-by-count":3,"title":["Casl Specifications of Qualitative Calculi"],"prefix":"10.1007","author":[{"given":"Stefan","family":"W\u00f6lfl","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"13_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"13_CR2","unstructured":"Bennett, B.: Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computer Studies, The University of Leeds (1997)"},{"key":"13_CR3","unstructured":"Bennett, B., Isli, A., Cohn, A.G.: When does a composition table provide a complete and tractable proof procedure for a relational constraint language? In: Proceedings of the IJCAI 1997 Workshop on Spatial and Temporal Reasoning, Nagoya, Japan (1997)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b11968","volume-title":"CASL User Manual","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.D.: CASL User Manual. LNCS. Springer, Heidelberg (2004)"},{"key":"13_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-45422-5_9","volume-title":"KI 2001: Advances in Artificial Intelligence","author":"M. Broxvall","year":"2001","unstructured":"Broxvall, M.: The point algebra for branching time revisited. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol.\u00a02174, pp. 106\u2013121. Springer, Heidelberg (2001)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-540-48085-3_10","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"M. Broxvall","year":"1999","unstructured":"Broxvall, M., Jonsson, P.: Towards a complete classification of tractability in point algebras for nonlinear time. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 129\u2013143. Springer, Heidelberg (1999)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.: RCC: A calculus for region based qualitative spatial reasoning. GeoInformatica\u00a01, 275\u2013316 (1997)","journal-title":"GeoInformatica"},{"issue":"3","key":"13_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.3233\/FI-1999-39301","volume":"39","author":"I. D\u00fcntsch","year":"1999","unstructured":"D\u00fcntsch, I., Wang, H., McCloskey, S.: Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae\u00a039(3), 229\u2013249 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","first-page":"143","volume-title":"Advances in Spatial Databases","author":"M.J. Egenhofer","year":"1991","unstructured":"Egenhofer, M.J.: Reasoning about binary topological relations. In: G\u00fcnther, O., Schek, H.-J. (eds.) SSD 1991. LNCS, vol.\u00a0525, pp. 143\u2013160. Springer, Heidelberg (1991)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M.J. Egenhofer","year":"1991","unstructured":"Egenhofer, M.J., Franzosa, R.D.: Point set topological relations. International Journal of Geographical Information Systems\u00a05, 161\u2013174 (1991)","journal-title":"International Journal of Geographical Information Systems"},{"key":"13_CR11","series-title":"Informatik-Fachberichte 287","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-46752-3_17","volume-title":"Proceedings of the Seventh Austrian Conference on Artificial Intelligence","author":"A.U. Frank","year":"1991","unstructured":"Frank, A.U.: Qualitative spatial reasoning with cardinal directions. In: Kaindl, H. (ed.) Proceedings of the Seventh Austrian Conference on Artificial Intelligence. Informatik-Fachberichte 287, pp. 157\u2013167. Springer, Heidelberg (1991)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-48384-5_7","volume-title":"Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science","author":"A.U. Frank","year":"1999","unstructured":"Frank, A.U.: One step up the abstraction ladder: Combining algebras - from functional pieces to a whole. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol.\u00a01661, pp. 95\u2013107. Springer, Heidelberg (1999)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","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":"Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol.\u00a0639, pp. 162\u2013178. Springer, Heidelberg (1992)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-49481-2_17","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"A. Gerevini","year":"1998","unstructured":"Gerevini, A., Renz, J.: Combining topological and qualitative size constraints for spatial reasoning. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, pp. 220\u2013234. Springer, Heidelberg (1998)"},{"key":"13_CR15","unstructured":"Hayes, P.J.: The naive physics manifesto. In: Michie, D. (ed.) Expert Systems in the Micro-Electronic Age, Edinburgh University Press (1978)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-57207-4_5","volume-title":"Spatial Information Theory","author":"G. Ligozat","year":"1993","unstructured":"Ligozat, G.: Qualitative triangulation for spatial reasoning. In: Campari, I., Frank, A.U. (eds.) COSIT 1993. LNCS, vol.\u00a0716, pp. 54\u201368. Springer, Heidelberg (1993)"},{"key":"13_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-28633-2_8","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"G. Ligozat","year":"2004","unstructured":"Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework. In: Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol.\u00a03157, pp. 53\u201364. Springer, Heidelberg (2004)"},{"key":"13_CR18","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen (2005)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"13_CR21","first-page":"165","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR 1992)","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Nebel, B., Swartout, W., Rich, C. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR 1992), pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45719-4_8","volume-title":"Algebraic Methodology and Software Technology","author":"L. Schr\u00f6der","year":"2002","unstructured":"Schr\u00f6der, L., Mossakowski, T.: HASCASL: Towards integrated specification and development of functional programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 99\u2013116. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J.G. Stell","year":"2000","unstructured":"Stell, J.G.: Boolean connection algebras: A new approach to the Region-Connection Calculus. Artificial Intelligence\u00a0122(1-2), 111\u2013136 (2000)","journal-title":"Artificial Intelligence"},{"key":"13_CR24","first-page":"197","volume-title":"Proceedings of the National Conference on Artificial Intelligence","author":"M.B. Vilain","year":"1982","unstructured":"Vilain, M.B.: A system for reasoning about time. In: Waltz, D.L. (ed.) Proceedings of the National Conference on Artificial Intelligence, Pittsburgh, PA, August 18-20, pp. 197\u2013201. AAAI Press, Menlo Park (1982)"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11556114_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:47:10Z","timestamp":1605642430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11556114_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289647","9783540320203"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11556114_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}