{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:30Z","timestamp":1725563130209},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152795"},{"type":"electronic","value":"9783642152801"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15280-1_43","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T05:55:30Z","timestamp":1282542930000},"page":"470-481","source":"Crossref","is-referenced-by-count":4,"title":["Efficient Reasoning with RCC-3D"],"prefix":"10.1007","author":[{"given":"Julia","family":"Albath","sequence":"first","affiliation":[]},{"given":"Jennifer L.","family":"Leopold","sequence":"additional","affiliation":[]},{"given":"Chaman L.","family":"Sabharwal","sequence":"additional","affiliation":[]},{"given":"Kenneth","family":"Perry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","volume-title":"Qualitative spatial Reasoning: Theory and Practice: Application to Robot Navigation","author":"M.T. Escrig","year":"1998","unstructured":"Escrig, M.T., Toledo, F.: Qualitative spatial Reasoning: Theory and Practice: Application to Robot Navigation. IOS Press, Amsterdam (1998)"},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S1574-6526(07)03013-1","volume-title":"Handbook of Knowledge Representation","author":"A.G. Cohn","year":"2008","unstructured":"Cohn, A.G., Renz, J.: Qualitative Spatial Representation and Reasoning. In: Handbook of Knowledge Representation, pp. 551\u2013596. Elsevier, Amsterdam (2008)"},{"key":"43_CR3","unstructured":"Albath, J., Leopold, J.L., Sabharwal, C.L., Maglia, A.M.: RCC-3D: Qualitative Spatial Reasoning in 3D. Submitted to Journal of Biomedical Semantics (2009)"},{"key":"43_CR4","first-page":"165","volume-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR 1992","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A., Nebel, B., Rich, C., Swartout, W.: A spatial logic based on regions and connection. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR 1992, pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"43_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-75666-8_3","volume-title":"Spatial Cognition V Reasoning, Action, Interaction","author":"J. Wallgr\u00fcn","year":"2007","unstructured":"Wallgr\u00fcn, J., Frommberger, L., Wolter, D., Dylla, F., Freksa, C.: Qualitative spatial representation and reasoning in the sparq-toolbox. In: Barkowsky, T., Knauff, M., Ligozat, G., Montello, D.R. (eds.) Spatial Cognition 2007. LNCS (LNAI), vol.\u00a04387, pp. 39\u201358. Springer, Heidelberg (2007)"},{"key":"43_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11889205_5","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"K.R. Apt","year":"2006","unstructured":"Apt, K.R., Brand, S.: Infinite Qualitative Simulations by Means of Constraint Programming. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 29\u201343. Springer, Heidelberg (2006)"},{"issue":"6","key":"43_CR7","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1016\/j.ins.2005.01.021","volume":"176","author":"M. Duckham","year":"2006","unstructured":"Duckham, M., Lingham, J., Mason, K., Worboys, M.: Qualitative Reasoning about Consistency in Geographic Information. Information Sciences\u00a0176(6), 601\u2013627 (2006)","journal-title":"Information Sciences"},{"key":"43_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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)"},{"issue":"1-2","key":"43_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.05.012","volume":"160","author":"S. Li","year":"2004","unstructured":"Li, S., Ying, M.: Generalized Region Connection Calculus. Artificial Intelligence\u00a0160(1-2), 1\u201334 (2004)","journal-title":"Artificial Intelligence"},{"key":"43_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-73580-9_16","volume-title":"Abstraction, Reformulation, and Approximation","author":"I. Gent","year":"2007","unstructured":"Gent, I., Miguel, I., Rendl, A.: Tailoring Solver-Independent Constraint Models: A Case Study with Essence\u2019 and Minion. In: Miguel, I., Ruml, W. (eds.) SARA 2007. LNCS (LNAI), vol.\u00a04612, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Egenhofer, M.J., Herring, J.: Categorizing binary topological relations between regions, lines, and points in geographic databases. NCGIA Technical Reports, 91-7 (1991)","DOI":"10.1007\/3-540-54414-3_36"},{"key":"43_CR12","unstructured":"Mouhoub, M.: Dynamic path consistency for interval-based temporal reasoning. In: Proceedings of the IASTED 21st International Conference on Artificial Intelligence and Applications. ACTA Press (2003)"},{"key":"43_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-69342-4_17","volume-title":"Spatial Cognition","author":"J. Renz","year":"1998","unstructured":"Renz, J., Nebel, B.: Spatial Reasoning with Topological Information. In: Freksa, C., Habel, C., Wender, K.F. (eds.) Spatial Cognition 1998. LNCS (LNAI), vol.\u00a01404, pp. 351\u2013372. Springer, Heidelberg (1998)"},{"key":"43_CR14","unstructured":"Zygote\u00a0Media Group: http:\/\/www.zygote.com"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15280-1_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:04:21Z","timestamp":1606169061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15280-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152795","9783642152801"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15280-1_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}