A logic-based framework for qualitative spatial reasoning in mobile GIS environment

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3066, Issue , 2004, Pages 418-426

  Malek, Mohammad Reza ^a,b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF TEHRAN   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

BANDWIDTH; CONSTRAINT THEORY; FORMAL LOGIC; GEOGRAPHIC INFORMATION SYSTEMS; INFORMATION RETRIEVAL SYSTEMS; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; MOBILE TELECOMMUNICATION SYSTEMS; NAVIGATION SYSTEMS; TOPOLOGY; CALCULATIONS; COMPUTATION THEORY; INTELLIGENT SYSTEMS; MOBILE COMPUTING; RECONFIGURABLE HARDWARE; ROUGH SET THEORY;

INTELLIGENT TRANSPORT SYSTEMS (ITS); LOGICAL CALCULUS; MOBILE AUTONOMOUS NAVIGATION SYSTEMS; SPATIAL REASONING; CONNECTION RELATION; INTELLIGENT TRANSPORTATION SYSTEMS; LOGIC-BASED FRAMEWORKS; MOBILE COMPUTING TECHNOLOGY; MOBILE INFORMATION SYSTEMS; QUALITATIVE SPATIAL REASONING; TOPOLOGICAL RELATIONS; TRADITIONAL COMPUTING;

MOBILE COMPUTING; COMPUTER CIRCUITS;

EID: 9444230569     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25929-9_50     Document Type: Conference Paper

References (35)

1. Allen, J.F., Maintaining Knowledge about Temporal Intervals. Communications of the ACM, (1983). 26(11): p. 832-843.
2. Asher, N. and L. Vieu. Towards a geometry of common sense: a semantics and a complete axiomatisation of mereotopology. in IJCAI95,.(1995).
3. Born, M., Natural Philosophy of Cause and Chance, New York, Dover Publications, (1949).
4. Breunig, M., On the Way to Component-Based 3D/4D Geoinformation Systems. Lecture Notes in Earth Sciences. Vol. 94, Berlin Heidelberg: Springer-Verlag, (2001).
5. Chon, H., D. Agrawal, and A.E. Abbadi. Using Space-Time Grid for Efficient Management of Moving Objects, in MobiDE, (2001).
6. Chon, H., D. Agrawal, and A.E. Abbadi. Storage and Retrieval of Moving Objects, in International Conference on Mobile Data Management,.(2001).
7. Conn, A.G., et al., RCC: a calculus for Region based Qualitative Spatial Reasoning. Geoinformatica, (1997), 1: p. 275-316.
8. Davey, B.A. and H.A. priestley, Introduction to lattices and Order, Cambridge, UK: Cambridge University press, (1990).
9. Donnely, M. and B. Smith. Layers: A New Approach to Locating Objects in Space, in COSIT 2003, Kartause Ittingen, Swiss: Springer, (2003).
10. Egenhofer, M.J. and R.D. Franzosa, Point-set topological spatial relations. International Journal of Geographical Information Systems, (1991), 5(2): p. 161-174.
11. Egenhofer, M.J. and J.R. Herring, Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases, Department of Surveying Engineering, University of Maine, Orono, (1991).
12. Erwig, M. and M. Schneider. The Honeycomb Model of Spatio-temporal partitions, in Spatio-Temporal database management, Edinburgh, Scotland: Springer,(1999).
13. Forman, G.H. and J. Zahorjan, The Challenges of Mobile Computing. IEEE Computer, (1994), 27(4): p. 38-47.
14. Freeman, J., The modelling of spatial relations. Computer Graphics and Image Processing, (1975), 4: p. 156-171.
15. Garg, V.K. and N. Mittal. Computation Slicing: Techniques and Theory, in DISC 2001. Lisbon, Portugal, (2001).
16. GIS-LOUNGE, Mobile and Field GIS. 2003, http://gislounge.com/11/ mobilegis.shtml: Accessed: November 2003.
17. Gittings, B., Innovation in GIS. Vol. 6., Taylor & Francis, (1999).
18. Golledge, R.G. and M. Egenhofer, GIS and disaggregate behavioral travel modeling. Geographical Systems, (1998), (5): p. 1-7.
19. Goodchild, M., GIS and Transportation: Status and Challenges. GeoInformatica, (2000), 4(2): p. 127-139.
20. Gotts, N.M., J.M. Gooday, and A.G. Cohn, A connection based approach to commonsense topological description and reasoning. The Monist, (1995), 79(1).
21. Hendricks, M.D., M. Egenhofer, and K. Hornsby. Structuring a wayfinder's Dynamic space-Time environment, in COSIT 2003, Kartause Ittingen, Switzerland: Springer, (2003).
22. Hornsby, K. and M.J. Egenhofer. Modeling Moving Objects over Multiple Granularities. in Annals of Mathematics and Artificial Intelligence, (2000).
23. Laurini, R. and D. Thompson, Fundamentals of Spatial Information Systems. APIC Series, San Diego: Academic Press, (1992).
24. Li, L., C. Li, and Z. Lin. Investigation On the Concept Model Of Mobile GIS. in Symposium on Geospatial theory, Processing and Applications, Ottawa, (2002).
25. Malek, M.R. Motion Modeling in GIS. in GEOMATIC 82, Tehran, Iran: National Cartographic Center, (2003).
26. Malek, M.R. Motion Modeling in GIS: A case study on collision-free path in space-time. in EURESCO (Modeling for wayfinding services), Bad Herrenalb, Germany: (Oral presentation), (2003).
27. Malek, M.R. and Delavar M.R., A Mobile Computing Approach to Find An Optimal Collision-free Path. (Under review).
28. McClosky, M., Naive theories of motion, in Mental models, D. Gentner and S. Stevens, Editors, Lawrence Erlbaum: Hillsdale, (1983).
29. Mittal, N., Techniques for Analysing Distributed Copmputations, in Department of Computer Science, The university of Texas: Austin, USA, (2002).
30. Muller, p. A Qualitative Theory of Motion Based on Spatio-Temporal Primitives, in Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy: Morgan Kaufmann, (1998).
31. Raper, J., Multidimensional Geographic Information Science. 2000: Taylor & Francis.
32. Sang, J., Theory and Development of GPS Integrity Monitoring System, in Space Centre for Satellite Navigation. 1996, Queesland University of Technology: Queesland.
33. Smith, B., Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineering, 1996, (1996): p. 287-303.
34. Wolfson, O., et al. Databases for Tracking Mobile Units in Real Time, in Database Theory- ICDT'99, 7th International Conference, LNCS 1540, (1998).
35. Zhao, Y., Vehicle Location and Navigation Systems. The Artech House ITS Series, Boston: Artech House, (1997).