{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:22Z","timestamp":1725565402396},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221173"},{"type":"electronic","value":"9783540259299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25929-9_50","type":"book-chapter","created":{"date-parts":[[2010,9,11]],"date-time":"2010-09-11T01:25:47Z","timestamp":1284168347000},"page":"418-426","source":"Crossref","is-referenced-by-count":4,"title":["A Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment"],"prefix":"10.1007","author":[{"given":"Mohammad Reza","family":"Malek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"50_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":"50_CR2","unstructured":"Asher, N., Vieu, L.: Towards a geometry of common sense: a semantics and a complete axiomatisation of mereotopology. In: IJCAI 1995 (1995)"},{"key":"50_CR3","volume-title":"Natural Philosophy of Cause and Chance","author":"M. Born","year":"1949","unstructured":"Born, M.: Natural Philosophy of Cause and Chance. Dover Publications, New York (1949)"},{"key":"50_CR4","series-title":"Lecture Notes in Earth Sciences","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44950-7","volume-title":"On the Way to Component-Based 3D\/4D Geoinformation Systems","author":"M. Breunig","year":"2001","unstructured":"Breunig, M.: On the Way to Component-Based 3D\/4D Geoinformation Systems. Lecture Notes in Earth Sciences, vol.\u00a094. Springer, Heidelberg (2001)"},{"key":"50_CR5","doi-asserted-by":"crossref","unstructured":"Chon, H., Agrawal, D., Abbadi, A.E.: Using Space-Time Grid for Efficient Management of Moving Objects. In: MobiDE (2001)","DOI":"10.1145\/376868.376899"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Chon, H., Agrawal, D., Abbadi, A.E.: Storage and Retrieval of Moving Objects. In: International Conference on Mobile Data Management (2001)","DOI":"10.1007\/3-540-44498-X_14"},{"key":"50_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., et al.: RCC: a calculus for Region based Qualitative Spatial Reasoning. Geoinformatica\u00a01, 275\u2013316 (1997)","journal-title":"Geoinformatica"},{"key":"50_CR8","volume-title":"Introduction to lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and Order. Cambridge University press, Cambridge (1990)"},{"key":"50_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-39923-0_4","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"M. Donnely","year":"2003","unstructured":"Donnely, M., Smith, B.: Layers: A New Approach to Locating Objects in Space. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol.\u00a02825, pp. 46\u201360. Springer, Heidelberg (2003)"},{"issue":"2","key":"50_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 spatial relations. International Journal of Geographical Information Systems\u00a05(2), 161\u2013174 (1991)","journal-title":"International Journal of Geographical Information Systems"},{"key":"50_CR11","volume-title":"Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases, Department of Surveying Engineering","author":"M.J. Egenhofer","year":"1991","unstructured":"Egenhofer, M.J., Herring, J.R.: Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases, Department of Surveying Engineering. University of Maine, Orono (1991)"},{"key":"50_CR12","volume-title":"Spatio-Temporal database management","author":"M. Erwig","year":"1999","unstructured":"Erwig, M., Schneider, M.: The Honeycomb Model of Spatio-temporal partitions. In: Spatio-Temporal database management, Springer, Edinburgh (1999)"},{"issue":"4","key":"50_CR13","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.274999","volume":"27","author":"G.H. Forman","year":"1994","unstructured":"Forman, G.H., Zahorjan, J.: The Challenges of Mobile Computing. IEEE Computer\u00a027(4), 38\u201347 (1994)","journal-title":"IEEE Computer"},{"key":"50_CR14","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/S0146-664X(75)80007-4","volume":"4","author":"J. Freeman","year":"1975","unstructured":"Freeman, J.: The modelling of spatial relations. Computer Graphics and Image Processing\u00a04, 156\u2013171 (1975)","journal-title":"Computer Graphics and Image Processing"},{"key":"50_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-45414-4_6","volume-title":"Distributed Computing","author":"V.K. Garg","year":"2001","unstructured":"Garg, V.K., Mittal, N.: Computation Slicing: Techniques and Theory. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol.\u00a02180, p. 78. Springer, Heidelberg (2001)"},{"key":"50_CR16","unstructured":"GIS-LOUNGE, Mobile and Field GIS (2003), http:\/\/gislounge.com\/ll\/mobilegis.shtml (accessed: November 2003)"},{"key":"50_CR17","doi-asserted-by":"crossref","DOI":"10.1201\/9781482268195","volume-title":"Innovation in GIS","author":"B. Gittings","year":"1999","unstructured":"Gittings, B.: Innovation in GIS, vol.\u00a06. Taylor & Francis, Abington (1999)"},{"key":"50_CR18","unstructured":"Golledge, R.G., Egenhofer, M.: GIS and disaggregate behavioral travel modeling. Geographical Systems\u00a0(5), 1\u20137 (1998)"},{"issue":"2","key":"50_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1009867905167","volume":"4","author":"M. Goodchild","year":"2000","unstructured":"Goodchild, M.: GIS and Transportation: Status and Challenges. GeoInformatica\u00a04(2), 127\u2013139 (2000)","journal-title":"GeoInformatica"},{"key":"50_CR20","doi-asserted-by":"crossref","unstructured":"Gotts, N.M., Gooday, J.M., Cohn, A.G.: A connection based approach to commonsense topological description and reasoning. The Monist\u00a079(1) (1995)","DOI":"10.5840\/monist19967913"},{"key":"50_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-39923-0_6","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"M.D. Hendricks","year":"2003","unstructured":"Hendricks, M.D., Egenhofer, M., Hornsby, K.: Structuring a wayfinder\u2019s Dynamic space-Time environment. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol.\u00a02825, pp. 75\u201392. Springer, Heidelberg (2003)"},{"key":"50_CR22","unstructured":"Hornsby, K., Egenhofer, M.J.: Modeling Moving Objects over Multiple Granularities. In: Annals of Mathematics and Artificial Intelligence (2000)"},{"key":"50_CR23","series-title":"APIC Series","volume-title":"Fundamentals of Spatial Information Systems","author":"R. Laurini","year":"1992","unstructured":"Laurini, R., Thompson, D.: Fundamentals of Spatial Information Systems. APIC Series. Academic Press, San Diego (1992)"},{"key":"50_CR24","unstructured":"Li, L., Li, C., Lin, Z.: Investigation On the Concept Model Of Mobile GIS. In: Symposium on Geospatial theory, Processing and Applications, Ottawa (2002)"},{"key":"50_CR25","volume-title":"GEOMATIC 1982","author":"M.R. Malek","year":"2003","unstructured":"Malek, M.R.: Motion Modeling in GIS. In: GEOMATIC 1982, National Cartographic Center, Tehran (2003)"},{"key":"50_CR26","volume-title":"EURESCO (Modeling for wayfinding services)","author":"M.R. Malek","year":"2003","unstructured":"Malek, M.R.: Motion Modeling in GIS: A case study on collision-free path in space-time. In: EURESCO (Modeling for wayfinding services), Oral presentation, Bad Herrenalb (2003)"},{"key":"50_CR27","unstructured":"Malek, M.R., Delavar, M.R.: A Mobile Computing Approach to Find An Optimal Collision-free Path (under review)"},{"key":"50_CR28","volume-title":"Mental models","author":"M. McClosky","year":"1983","unstructured":"McClosky, M.: Naive theories of motion. In: Gentner, D., Stevens, S. (eds.) Mental models, Lawrence Erlbaum, Hillsdale (1983)"},{"key":"50_CR29","volume-title":"Techniques for Analysing Distributed Copmputations, in Department of Computer Science","author":"N. Mittal","year":"2002","unstructured":"Mittal, N.: Techniques for Analysing Distributed Copmputations, in Department of Computer Science. The university of Texas, Austin (2002)"},{"key":"50_CR30","volume-title":"Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998)","author":"P. Muller","year":"1998","unstructured":"Muller, P.: A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. In: Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Morgan Kaufmann, Trento (1998)"},{"key":"50_CR31","doi-asserted-by":"publisher","DOI":"10.4324\/9780203301227","volume-title":"Multidimensional Geographic Information Science","author":"J. Raper","year":"2000","unstructured":"Raper, J.: Multidimensional Geographic Information Science. Taylor & Francis, Abington (2000)"},{"key":"50_CR32","volume-title":"Space Centre for Satellite Navigation","author":"J. Sang","year":"1996","unstructured":"Sang, J.: Theory and Development of GPS Integrity Monitoring System. In: Space Centre for Satellite Navigation, Queesland University of Technology, Queesland (1996)"},{"key":"50_CR33","doi-asserted-by":"crossref","unstructured":"Smith, B.: Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineering, pp. 287\u2013303 (1996)","DOI":"10.1016\/S0169-023X(96)00015-8"},{"key":"50_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-49257-7_12","volume-title":"Database Theory - ICDT\u201999","author":"O. Wolfson","year":"1998","unstructured":"Wolfson, O., et al.: Databases for Tracking Mobile Units in Real Time. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol.\u00a01540, pp. 169\u2013186. Springer, Heidelberg (1998)"},{"key":"50_CR35","series-title":"The Artech House ITS Series","volume-title":"Vehicle Location and Navigation Systems","author":"Y. Zhao","year":"1997","unstructured":"Zhao, Y.: Vehicle Location and Navigation Systems. The Artech House ITS Series. Artech House, Boston (1997)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25929-9_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:16:47Z","timestamp":1620011807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25929-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221173","9783540259299"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25929-9_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}