{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:40Z","timestamp":1761487900703,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540663652"},{"type":"electronic","value":"9783540483847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48384-5_8","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T11:02:20Z","timestamp":1186743740000},"page":"109-124","source":"Crossref","is-referenced-by-count":13,"title":["Formalizing Regions in the Spatial Semantic Hierarchy: an AH-Graphs implementation approach"],"prefix":"10.1007","author":[{"given":"Emilio","family":"Remolina","sequence":"first","affiliation":[]},{"given":"Juan A.","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Kuipers","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Gonzalez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,16]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0004-3702(94)90062-0","volume":"71","author":"F. Bacchus","year":"1994","unstructured":"F. Bacchus and Q. Yang., Downward refinement and the eficiency of hierarchical problem solving. Artificial Intelligence, 71:43\u2013100, 1994.","journal-title":"Artificial Intelligence"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"F.J. Brandenburg., Graph clustering I: cycles of cliques. In Fifth symposium on graph drawing, 1997.","DOI":"10.1007\/3-540-63938-1_59"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1137\/S0895480194267853","volume":"10","author":"A. Brandst\u00e4dt","year":"1997","unstructured":"A. Brandst\u00e4dt, V.D. Chepoi, and F.F. Dragan., Clique r-domination and clique r-packing problems on dually chordal graphs. SIAM journal on Discrete Mathematics, 10(1):109\u20131127, 1997.","journal-title":"SIAM journal on Discrete Mathematics"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0364-0213(95)90003-9","volume":"19","author":"E. Chown","year":"1995","unstructured":"E. Chown, S. Kaplan, and D. Kortenkamp., Prototypes, locations, and associative networks (PLAN): towards a unified theory of cognitive mapping. Cognitive Science, 19:1\u201351, 1995.","journal-title":"Cognitive Science"},{"key":"8_CR5","unstructured":"Kortenkamp D., Bonasso R.P., and Murphy R., Artificial Intelligence and Mobile Robots. AAAI press, 1998."},{"key":"8_CR6","unstructured":"E. Davis, The Mercator representation of spatial knowledge. In AAAI-93, 1993."},{"key":"8_CR7","unstructured":"S. Dutt, New faster kernighan-lin-type graph-partitioning algorithms. In Twenty-eighth annual ACM symposium on theory of computing, pages 603\u2013611, 1996."},{"key":"8_CR8","unstructured":"Sean P. Engelson and Drew V. McDermott, Maps considered as adaptive planning resources. In AAAI Fall Symposium on Applications of AI to Real-World Autonomous Mobile Robots, Working Notes, Cambridge, MA, October 1992."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"C. Fennema, A. Hanson, E. Riseman, J.R. Beveridge, and R. Kumar, Modeldirected mobile robot navigation. IEEE transactions on Systems, Mans and Cybernetics, 20(6), 1990.","DOI":"10.1109\/21.61206"},{"key":"8_CR10","unstructured":"J. Fernandez and J. Gonzalez, A general world representation for mobile robot operations. In Seventh conference of the Spanish association for artificial intelligence (CAEPIA-97), 1997."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J. Fernandez and J. Gonzalez, Hierarchical graph search for mobile robot path planning. In IEEE international conference on Robotics and Automation (ICRA\u201998), 1998.","DOI":"10.1109\/ROBOT.1998.677047"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"J. Fernandez and J. Gonzalez, NEXUS: A exible, eficient and robust framework for integrating the software components of a robotic system. In IEEE International conference on Robotics and Automation (ICRA\u201998), 1998.","DOI":"10.1109\/ROBOT.1998.677027"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"J. Fernandez and J. Gonzalez, The NEXUS open system for integrating robotic software. Robotics and Computer Integrated Manufacturing, 1999. In Press.","DOI":"10.1016\/S0736-5845(99)00037-X"},{"key":"8_CR14","volume-title":"Computers and Intractability: A guide to the theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson, Computers and Intractability: A guide to the theory of NP-Completeness. W.H. Freeman and Co., New York, 1979."},{"issue":"2-3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"57","author":"F. Giunchiglia","year":"1992","unstructured":"F. Giunchiglia and T. Walsh, A theory of abstraction. Artificial Intelligence, 57(2-3):323\u2013389, 1992.","journal-title":"Artificial Intelligence"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0272-4944(89)80012-X","volume":"9","author":"S. Gopal","year":"1989","unstructured":"S. Gopal, R. L. Klatzky, and T. R. Smith, Navigator: a psychologically based model of environmental learning through navigation. Journal of Environmental Psychology, 9:309\u2013331, 1989.","journal-title":"Journal of Environmental Psychology"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(95)00111-5","volume":"85","author":"R.C. Holte","year":"1996","unstructured":"R.C. Holte, T. Mkadmi, R.M. Zimmer, and A.J. MacDonald, Speeding up problem solving by abstraction: a graph oriented approach. Artificial Intelligence, (85):321\u2013361, 1996.","journal-title":"Artificial Intelligence"},{"key":"8_CR18","unstructured":"Borestein J., Everett H.R., and Feng L, Navigating mobile robots: systems and techniques. A. K. Peters, Wesllesley, Massachusetts, 1996."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"N. Jing, Y. W. Huang, and E.A. Rundensteiner, Hierarchical optimization of optimal path finding for transportation applications. In Fifth international conference on information and knowledge management (CIKM\u201996), pages 261\u2013268, 1996.","DOI":"10.1145\/238355.238550"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"N. Jing, Y.W. Huang, and E.A. Rundensteiner, Effective graph clustering for path queries in digital map databases. In Fifth international conference on information and knowledge management (CIKM\u201996), pages 215\u2013222, 1996.","DOI":"10.1145\/238355.238497"},{"key":"8_CR21","unstructured":"C.A. Knoblock, Automatically Generating Abstractions for Problem Solving. PhD thesis, Computer Sciences, Carnegie Mellon University, 1991. Technical Report CMU-CS-91-120."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0364-0213(78)80003-2","volume":"2","author":"B. Kuipers","year":"1978","unstructured":"B. Kuipers, Modeling spatial knowledge. Cognitive Science, 2:129\u2013153, 1978.","journal-title":"Cognitive Science"},{"key":"8_CR23","unstructured":"B. Kuipers, A hierarchy of qualitative representations for space. In Working papers of the Tenth International Workshop on Qualitative Reasoning about Physical Systems (QR-96). AAAI Press, 1996."},{"key":"8_CR24","unstructured":"B. Kuipers and Y. T. Byun, A robust qualitative method for spatial learning in unknown environments. In Morgan Kaufmann, editor, AAAI-88, 1988."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"B. Kuipers, R. Froom, W. Y. Lee, and D. Pierce, The semantic hierarchy in robot learning. In J. Connell and S. Mahadevan, editors, Robot Learning, pages 141\u2013170. Kulwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3184-5_6"},{"key":"8_CR26","unstructured":"B.C. Kuo, Automatic Control Systems. Prentice-Hall, Inc., fifth edition, 1987."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"M.T. Kuo and C.K. Cheng, A new network ow approach for hierarchical tree partitioning. In ACM\/IEEE design automation conference, pages 512\u2013517, 1997.","DOI":"10.1145\/266021.266269"},{"issue":"4","key":"8_CR28","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1177\/0013916589214004","volume":"21","author":"D. Leiser","year":"1989","unstructured":"David Leiser and Avishai Zilbershatz, THE TRAVELLER: a computational model of spatial network learning. Environment and Behavior, 21(4):435\u2013463, 1989.","journal-title":"Environment and Behavior"},{"key":"8_CR29","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/oso\/9780198537472.003.0006","volume":"3","author":"V. Lifschitz","year":"1994","unstructured":"V. Lifschitz, Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 297\u2013352. Oxford University Press, 1994.","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"8_CR30","unstructured":"C.L. McCreary, J.J. Thompson, D.H. Gill, T.J. Smith, and Y. Zhu. Partitioning and scheduling using graph decomposition. In Twenty-eighth annual ACM symposium on theory of computing, 1996."},{"key":"8_CR31","unstructured":"D. McDermott. Spatial reasoning. In Shapiro S., editor, Encyclopedia of artificial intelligence, volume 2, pages 863\u2013870. John Wiley, 1987."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"D. V. McDermott, A theory of metric spatial inference. In AAAI-80, pages 246\u2013248, 1980.","DOI":"10.1016\/0375-9601(80)90012-2"},{"key":"8_CR33","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0004-3702(84)90045-6","volume":"22","author":"D. McDermott","year":"1984","unstructured":"D. McDermott and E. Davis, Planning routes through uncertain territory. Artificial Intelligence, 22:107\u2013156, 1984.","journal-title":"Artificial Intelligence"},{"key":"8_CR34","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0272-4944(05)80104-5","volume":"11","author":"M. O\u2019Neill","year":"1991","unstructured":"Michael O\u2019Neill, A biologically based model of spatial cognition and way finding. Journal of Environmental Psychology, 11:299\u2013320, 1991.","journal-title":"Journal of Environmental Psychology"},{"key":"8_CR35","volume-title":"The child\u2019s conception of space","author":"J. Piaget","year":"1967","unstructured":"J. Piaget and B. Inhelder, The child\u2019s conception of space. New York, Norton, 1967."},{"key":"8_CR36","unstructured":"E. Remolina and B. Kuipers, Towards a formalization of the spatial semantic hierarchy. In Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, January 1998."},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E. D. Sacerdoti","year":"1974","unstructured":"E. D. Sacerdoti, Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115\u2013135, 1974.","journal-title":"Artificial Intelligence"},{"key":"8_CR38","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(88)90064-1","volume":"34","author":"W. K. Yeap","year":"1988","unstructured":"W. K. Yeap, Towards a computational theory of cognitive maps. Artificial Intelligence, 34:297\u2013360, 1988.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48384-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T07:31:18Z","timestamp":1737358278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48384-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540663652","9783540483847"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-48384-5_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}