{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:34:20Z","timestamp":1759336460552},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603924"},{"type":"electronic","value":"9783540455196"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60392-1_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:26:05Z","timestamp":1330280765000},"page":"501-518","source":"Crossref","is-referenced-by-count":6,"title":["A formalism for model-based spatial planning"],"prefix":"10.1007","author":[{"given":"Janice","family":"Glasgow","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"33_CR1","unstructured":"J. Barwise and J. Etchemendy. Hyperproof: Logical reasoning with diagrams. In Working Notes of the AAAI Spring Symposium on Reasoning with Diagrammatic Representations, 1992."},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"J. Barwise and J. Ethemendy. Heterogeneous logic. In Working notes of the 1993 IJCAI Workshop on Principles of Hybrid Representation and Reasoning, 1993.","DOI":"10.1007\/3-540-56979-0_3"},{"key":"33_CR3","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/3-540-53487-3_59","volume-title":"Foundations of Software Technology and Theoretical Science","author":"B. Chandrasekaran","year":"1990","unstructured":"B. Chandrasekaran and N.H. Narayanan. Towards a theory of commonsense visual reasoning. In K.F. Nori and C.E. Veni Madhavan, editors, Foundations of Software Technology and Theoretical Science, pages 388\u2013409. Springer-Verlag: Berlin, 1990."},{"key":"33_CR4","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333\u2013377, 1987.","journal-title":"Artificial Intelligence"},{"key":"33_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-1-4684-6407-8_4","volume-title":"Imagery and Cognition","author":"M. Denis","year":"1991","unstructured":"M. Denis. Imagery and thinking. In C. Cornoldi and M.A. McDaniel, editors, Imagery and Cognition, pages 103\u2013131. Springer-Verlag: New York, 1991."},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1037\/0033-2909.88.2.259","volume":"88","author":"G.W. Evans","year":"1980","unstructured":"G.W. Evans. Environmental cognition. In Psychological Bulletin, volume 88, pages 259\u2013287, 1980.","journal-title":"Psychological Bulletin"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N.J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"33_CR8","unstructured":"C. Freksa and K. Zimmermann. On the unilization of spatial structures for cognitively plausible and efficient reasoning. In Proceedings of the IJCAI '93 Workshop on Spatial and Temporal Reasoning, pages 61\u201366, 1993."},{"key":"33_CR9","unstructured":"M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence AAAI '87, 1987."},{"issue":"4","key":"33_CR10","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1111\/j.1467-8640.1993.tb00248.x","volume":"9","author":"J.I. Glasgow","year":"1993","unstructured":"J.I. Glasgow. Imagery and AI \u2014 where do we go from here? Computational Intelligence, 9(4):424\u2013435, 1993. Response to taking issue forum.","journal-title":"Computational Intelligence"},{"issue":"4","key":"33_CR11","first-page":"309","volume":"9","author":"J.I. Glasgow","year":"1993","unstructured":"J.I. Glasgow. The imagery debate revisited: A computational perspective. Computational Intelligence, 9(4):309\u2013333, 1993. Taking issue paper.","journal-title":"Computational Intelligence"},{"key":"33_CR12","unstructured":"J.I. Glasgow. Representation of spatial models for geographic information systems. In N. Pissinou, editor, Proceedings of the ACM Workshop on Advances in Geographic Information Systems, pages 112\u2013117, Arlington, VA, 1993."},{"key":"33_CR13","unstructured":"J.I. Glasgow. Array representations for model-based spatial reasoning. In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Atlanta, 1994."},{"key":"33_CR14","unstructured":"J.I. Glasgow. Spatial models for indeterminate worlds. In Proceedings of AAAI '94, Seattle, 1994."},{"issue":"3","key":"33_CR15","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1207\/s15516709cog1603_2","volume":"16","author":"J.I. Glasgow","year":"1992","unstructured":"J.I. Glasgow and D. Papadias. Computational imagery. Cognitive Science, 16(3):355\u2013394, 1992.","journal-title":"Cognitive Science"},{"key":"33_CR16","unstructured":"C. Habel, S. Pribbenow, and G. Simmons. Propositional and depictorial partonomies: A hybrid approach. In Proceedings of IJCAI '93 Workshop on Principles of Hybrid Representation and Reasoning, pages 62\u201371, 1993."},{"key":"33_CR17","unstructured":"P. Hayes. Some problems and non-problems in representation theory. In Proceedings of AISB Summer Conference, pages 63\u201379, University of Sussex, 1974."},{"key":"33_CR18","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1207\/s15516709cog0304_1","volume":"3","author":"B. Hayes-Roth","year":"1979","unstructured":"B. Hayes-Roth and F. Hayes-Roth. A cognitive model of planning. Cognitive Science, 3:275\u2013310, 1979.","journal-title":"Cognitive Science"},{"issue":"1","key":"33_CR19","first-page":"35","volume":"14","author":"M.A. Jenkins","year":"1989","unstructured":"M.A. Jenkins and J.I. Glasgow. A logical basis for nested array data structures. Programming Languages Journal, 14(1):35\u201349, 1989.","journal-title":"Programming Languages Journal"},{"key":"33_CR20","volume-title":"The Q'Nial Reference Manual","author":"M.A. Jenkins","year":"1985","unstructured":"M.A. Jenkins and W.H. Jenkins. The Q'Nial Reference Manual. Nial Systems Ltd., Kingston, Ontario, 1985."},{"key":"33_CR21","volume-title":"Mental Models","author":"P.N. Johnson-Laird","year":"1983","unstructured":"P.N. Johnson-Laird. Mental Models. Harvard University Press: Cambridge, Mass., 1983."},{"key":"33_CR22","unstructured":"S.M. Kosslyn. Image and Mind. Harvard University Press, 1980."},{"key":"33_CR23","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1207\/s15516709cog0202_3","volume":"2","author":"B. Kuipers","year":"1978","unstructured":"B. Kuipers. Modeling spatial knowledge. Cognitive Science, 2:129\u2013154, 1978.","journal-title":"Cognitive Science"},{"key":"33_CR24","unstructured":"B.J. Kuipers. Modeling spatial knowledge. In S. Chen, editor, Advances in spatial reasoning, pages 171\u2013198. Ablex Publishing Corp., 1990."},{"key":"33_CR25","unstructured":"B.J. Kuipers and T.S. Levitt. Navigation and mapping in large-scale space. In Advances in spatial reasoning, volume 2, pages 207\u2013252. Ablex Publishing Corp., 1990."},{"key":"33_CR26","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0004-3702(90)90027-W","volume":"44","author":"T.S. Levitt","year":"1990","unstructured":"T.S. Levitt and D.T. Lawton. Qualitative navigation for mobile robots. Artificial Intelligence, 44:305\u2013360, 1990.","journal-title":"Artificial Intelligence"},{"key":"33_CR27","doi-asserted-by":"crossref","unstructured":"D.V. McDermott and E. Davis. Planning routes through uncertain territory. Artificial Intelligence, 22, 1984.","DOI":"10.1016\/0004-3702(84)90045-6"},{"key":"33_CR28","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0010-0285(86)90016-2","volume":"18","author":"T.P. McNamara","year":"1986","unstructured":"T.P. McNamara. Mental representation of spatial relations. Cognitive Psychology, 18:87\u2013121, 1986.","journal-title":"Cognitive Psychology"},{"key":"33_CR29","doi-asserted-by":"crossref","unstructured":"T. More. The nested rectangular array as a model of data. In APL Quote Quad, 9, 1979. From the proceedings of APL79.","DOI":"10.1145\/800136.804440"},{"key":"33_CR30","volume-title":"Reasoning with analogical representations","author":"K. Myers","year":"1992","unstructured":"K. Myers and K Konolige. Reasoning with analogical representations. In Proceedings of the Conference on Principles of Knowledge Representations and Reasoning, Los Altos, CA, 1992. Morgan Kaufmann."},{"key":"33_CR31","volume-title":"La Representation de l'espace urbain","author":"J. Pailhous","year":"1970","unstructured":"J. Pailhous. La Representation de l'espace urbain. Paris: Presses Universitaires de France, 1970."},{"key":"33_CR32","first-page":"48","volume-title":"Proceedings of the Thirteenth Annual Meeting of the Cognitive Science Society","author":"D. Papadias","year":"1991","unstructured":"D. Papadias and J.I. Glasgow. A knowledge representation scheme for computational imagery. In Proceedings of the Thirteenth Annual Meeting of the Cognitive Science Society, pages 48\u201354, Chicago, 1991. Lawrence Erlbaum Associates: Hillsdale, NJ."},{"key":"33_CR33","doi-asserted-by":"crossref","unstructured":"D. Papadias and T. Sellis. The semantics of relations in 2d space using representative points: Spatial indices. In A.U. Frank and I. Campari, editors, Spatial Information Theory: A theretical basis for GIS. Proceedings of the European Conference on Spatial Information Theory (COSIT '93), volume 716, pages 234\u2013247. Springer-Verlag Lecture Notes on Computer Science, 1993.","DOI":"10.1007\/3-540-57207-4_16"},{"key":"33_CR34","unstructured":"M.E. Pollack and M. Ringuette. Introducing the tileworld: experimentally evaluating agent architectures. In Proceedings of the Eighth National Conference on Artificial Intelligence, pages 183\u2013189, 1990."},{"key":"33_CR35","doi-asserted-by":"crossref","unstructured":"H. Samet. The Design and Analysis of Spatial Data Structures. Addison-Wesley, 1989.","DOI":"10.1007\/3-540-52208-5_28"},{"key":"33_CR36","doi-asserted-by":"crossref","unstructured":"A. Sloman. Afterthoughts on analogical representation. In Proceedings of Theoretical Issues in Natural Language Processing, pages 164\u2013168, Cambridge, MA, 1975.","DOI":"10.3115\/980190.980235"},{"issue":"4","key":"33_CR37","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1111\/j.1467-8640.1993.tb00247.x","volume":"9","author":"A. Sloman","year":"1993","unstructured":"A. Sloman. Varieties of fomalisms for knowledge representation. Computational Intelligence, 9(4):413\u2013423, 1993.","journal-title":"Computational Intelligence"},{"key":"33_CR38","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/0010-0285(78)90006-3","volume":"10","author":"A. Stevens","year":"1978","unstructured":"A. Stevens and P. Coupe. Distortions in judged spatial relations. Cognitive Psychology, 10:422\u2013437, 1978.","journal-title":"Cognitive Psychology"},{"key":"33_CR39","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0749-596X(92)90014-O","volume":"31","author":"H.A. Taylor","year":"1992","unstructured":"H.A. Taylor and B. Tversky. Spatial mental models derived from survey and route descriptions. Journal of Memory and Language, 31:261\u2013292, 1992.","journal-title":"Journal of Memory and Language"},{"key":"33_CR40","doi-asserted-by":"crossref","unstructured":"B. Tversky. Cognitve maps, cognitive collages, and spatial mental models. In A.U. Frank and I. Campari, editors, Spatial Information Theory, A Theoretical Basis for GIS, Proceedings of the European Conference, (COSIT '93), volume 716, pages 14\u201324. Springer Verlag Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-57207-4_2"}],"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-60392-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:01Z","timestamp":1605646741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60392-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603924","9783540455196"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-60392-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}