{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:40:46Z","timestamp":1742395246605},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572077"},{"type":"electronic","value":"9783540479666"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57207-4_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:16:58Z","timestamp":1330258618000},"page":"36-53","source":"Crossref","is-referenced-by-count":12,"title":["Maintaining qualitative spatial knowledge"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Hern\u00e1ndez","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"11","key":"4_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832\u2013843.","journal-title":"Communications of the ACM"},{"key":"4_CR2","volume-title":"Proc. of the Eighth National Conference on Artificial Intelligence","author":"American Association for Artificial Intelligence, 8th-AAAI","year":"1990","unstructured":"American Association for Artificial Intelligence, 8th-AAAI (1990). Proc. of the Eighth National Conference on Artificial Intelligence, Menlo Park\/Cambridge. AAAI Press\/The MIT Press."},{"volume-title":"Qualitative Reasoning about Physical Systems","year":"1984","key":"4_CR3","unstructured":"Bobrow, D. (Ed.). (1984). Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, Amsterdam."},{"key":"4_CR4","unstructured":"Chang, S.-K. and Li, Y. (1988). Representation of multi-resolution symbolic and binary pictures using 2DH-strings. In Proceedings of the IEEE Workshop on Language for Automation, pp. 190\u2013195."},{"issue":"3","key":"4_CR5","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/TPAMI.1987.4767923","volume":"9","author":"S.-K. Chang","year":"1987","unstructured":"Chang, S.-K., Shi, Q.-Y., and Yan, C.-W. (1987). Iconic indexing by 2D-strings. IEEE Transactions on Pattern Analysis and Machine Intelligence, 9(3), 413\u2013427.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"4_CR6","volume-title":"Artificial Intelligence Programming","author":"E. Charniak","year":"1980","unstructured":"Charniak, E., Riesbeck, C. K., and McDermott, D. V. (1980). Artificial Intelligence Programming. Erlbaum, Hillsdale, N.J."},{"key":"4_CR7","unstructured":"Cohn, A. G., Cui, Z., and Randell, D. A. (1992). Logical and computational aspects of spatial reasoning. In Pribbenow, S. and Schlieder, C. (Eds.), Spatial Concepts: Connecting Cognitive Theories with Formal Representations. ECAI-92 Workshop."},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J. (1979). A truthmaintenance system. Artificial Intelligence, 12, 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"4_CR9","first-page":"457","volume-title":"Lecture Notes in Computer Science","author":"M. J. Egenhofer","year":"1989","unstructured":"Egenhofer, M. J. (1989). A formal definition of binary topological relationships. In Litwin, W. and Schek, H.-J. (Eds.), Third International Conference on Foundations of Data Organization and Algorithms, Vol. 367 of Lecture Notes in Computer Science, pp. 457\u2013472. Springer-Verlag, Berlin."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Egenhofer, M. J. (1991). Reasoning about binary topological relations. In Second Symposium on Large Spatial Databases, Vol. 525 of Lecture Notes in Computer Science. Springer-Verlag.","DOI":"10.1007\/3-540-54414-3_36"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Egenhofer, M. J. and Al-Taha, K. K. (1992). Reasoning about gradual changes of topological relationships. In Frank et al. (1992), pp. 196\u2013219.","DOI":"10.1007\/3-540-55966-3_12"},{"issue":"2","key":"4_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. J. Egenhofer","year":"1991","unstructured":"Egenhofer, M. J. and Franzosa, R. (1991). Point-set topological spatial relations. International Journal of Geographical Information Systems, 5(2), 161\u2013174.","journal-title":"International Journal of Geographical Information Systems"},{"key":"4_CR13","unstructured":"Egenhofer, M. J. and Sharma, J. (1993). Assessing the consistency of complete and incomplete topological information. Geographical Systems, 1(1). To appear."},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Theories and Methods of Spatio-Temporal Reasoning in Geographic Space","year":"1992","unstructured":"Frank, A. U., Campari, I., and Formentini, U. (Eds.). (1992). Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Intl. Conf. GIS\u2014From Space to Territory. Pisa, Sept. 1992, Vol. 639 of Lecture Notes in Computer Science, Berlin. Springer-Verlag."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Frank, A. U. (1991). Qualitative spatial reasoning with cardinal directions. In Kaindl, H. (Ed.), 7. \u00d6sterreichische Artificial Intelligence Tagung. Springer-Verlag.","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"Freksa, C. (1992a). Temporal reasoning based on semi-intervals. Artificial Intelligence, 54, 199\u2013227.","journal-title":"Artificial Intelligence"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Freksa, C. (1992b). Using orientation information for qualitative spatial reasoning. In Frank et al. (1992); pp. 162\u2013178.","DOI":"10.1007\/3-540-55966-3_10"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Freksa, C. and Zimmermann, K. (1992). On the utilization of spatial structures for cognitively plausible and efficient reasoning. In Procs. of the 1992 IEEE International Conference on Systems, Man, and Cybernetics Proceedings, Chicago.","DOI":"10.1109\/ICSMC.1992.271766"},{"key":"4_CR19","volume-title":"Technical Report TR-89-049","author":"H.-W. Guesgen","year":"1989","unstructured":"Guesgen, H.-W. (1989). Spatial reasoning based on Allen's temporal logic. Technical Report TR-89-049, ICSI, Berkeley, CA."},{"key":"4_CR20","unstructured":"Hern\u00e1ndez, D. (1984). Modulare Softwarebausteine zur Wissensrepr\u00e4sentation. IMMD (IV) and RRZE Universit\u00e4t Erlangen-N\u00fcrnberg."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez, D. (1991). Relative representation of spatial knowledge: The 2-D case. In Mark and Frank (1991), pp. 373\u2013385.","DOI":"10.1007\/978-94-011-2606-9_21"},{"key":"4_CR22","unstructured":"Hern\u00e1ndez, D. (1992). Qualitative Representation of Spatial Knowledge. Ph.D. thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen."},{"key":"4_CR23","unstructured":"Hern\u00e1ndez, D. and Zimmermann, K. (1992). Default reasoning and the qualitative representation of spatial knowledge. In preparation."},{"key":"4_CR24","volume-title":"Extended symbolic projection used in a knowledge structure for spatial reasoning","author":"E. Jungert","year":"1988","unstructured":"Jungert, E. (1988). Extended symbolic projection used in a knowledge structure for spatial reasoning. In Proceedings of the 4th BPRA Conf. on Pattern Recognition. Springer-Verlag, Berlin."},{"key":"4_CR25","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J. (1986). An assumption based truth maintenance system. Artificial Intelligence, 28, 127\u2013162.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"4_CR26","first-page":"25","volume":"9","author":"B. J. Kuipers","year":"1988","unstructured":"Kuipers, B. J. and Levitt, T. (1988). Navigation and mapping in large-scale space. AI Magazine, 9(2), 25\u201343.","journal-title":"AI Magazine"},{"issue":"1","key":"4_CR27","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"Kumar, V. (1992). Algorithms for constraint satisfaction problems: A survey. AI Magazine, 13(1), 32\u201344.","journal-title":"AI Magazine"},{"key":"4_CR28","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0004-3702(90)90027-W","volume":"44","author":"T. Levitt","year":"1990","unstructured":"Levitt, T. and Lawton, D. (1990). Qualitative navigation for mobile robots. Artificial Intelligence, 44, 305\u2013360.","journal-title":"Artificial Intelligence"},{"key":"4_CR29","unstructured":"Mackworth, A. K. (1987). Constraint satisfaction. In Shapiro (1987)."},{"volume-title":"Cognitive and Linguistic Aspects of Geographic Space","year":"1991","key":"4_CR30","unstructured":"Mark, D. M. and Frank, A. U. (Eds.). (1991). Cognitive and Linguistic Aspects of Geographic Space. NATO Advanced Studies Institute. Kluwer, Dordrecht."},{"key":"4_CR31","volume-title":"Memo 551","author":"D. McAllester","year":"1980","unstructured":"McAllester, D. (1980). An outlook on truth maintenance. Memo 551, MIT Artificial Intelligence Laboratory, Cambridge, MA."},{"issue":"3","key":"4_CR32","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/TPAMI.1983.4767388","volume":"5","author":"D. V. McDermott","year":"1983","unstructured":"McDermott, D. V. (1983). Contexts and data dependencies: A synthesis. IEEE Transactions on Pattern Analysis and Machine Intelligence, 5(3), 237\u2013246.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"4_CR33","unstructured":"McDermott, D. V. (1992). Reasoning, spatial. In Shapiro, E. (Ed.), Encyclopedia of Artificial Intelligence (Second edition)., pp. 1322\u20131334. Wiley."},{"issue":"1","key":"4_CR34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/AIC-1989-2101","volume":"2","author":"P. Meseguer","year":"1989","unstructured":"Meseguer, P. (1989). Constraint satisfaction problems: An overview. AI Communications, 2(1), 3\u201317.","journal-title":"AI Communications"},{"key":"4_CR35","unstructured":"Mukerjee, A. and Joe, G. (1990). A qualitative model for space. In 8th-AAAI (1990), pp. 721\u2013727."},{"key":"4_CR36","unstructured":"Shapiro, E. (Ed.). (1987). Encyclopedia of Artificial Intelligence. Wiley."},{"issue":"3","key":"4_CR37","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1080\/02693799208901904","volume":"6","author":"T. R. Smith","year":"1992","unstructured":"Smith, T. R. and Park, K. K. (1992). Algebraic approach to spatial reasoning. International Journal of Geographical Information Systems, 6(3), 177\u2013192.","journal-title":"International Journal of Geographical Information Systems"},{"issue":"2","key":"4_CR38","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R. Stallman","year":"1977","unstructured":"Stallman, R. and Sussman, G. J. (1977). Forward reasoning and dependencydirected backtracking. Artificial Intelligence, 9(2), 135\u2013196.","journal-title":"Artificial Intelligence"},{"key":"4_CR39","volume-title":"Technical Report","author":"T. Topaloglou","year":"1991","unstructured":"Topaloglou, T. (1991). Representation and management issues for large spatial knowledge bases. Technical Report, Dept. of Computer Science, University of Toronto, Toronto, Ontario."},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Vilain, M., Kautz, H., and van Beek, P. (1990). Constraint propagation algorithms for temporal reasoning: A revised report. In Weld and de Kleer (1990). Revised version of a paper that appeared in Proceedings of AAAI 1986, pp. 377\u2013382.","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"},{"volume-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990","key":"4_CR41","unstructured":"Weld, D. S. and de Kleer, J. (Eds.). (1990). Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA."}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:00:19Z","timestamp":1619571619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57207-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572077","9783540479666"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/3-540-57207-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}