A central aspect of the research pursued at the research group for Geoinformation is the use of formal methods in GIS. The formalism and the automatic checking of syntax combined with the possibility to observe the functioning of the described mechanism helps to assure that one has a correct description of the situation of interest. Much effort is spent on honing our tools to describe objects and operations (Frank, Kuhn et al. 1997).
Formal methods are applied to a variety of topics. They are used for the formalization of laws related to land administration (Navratil 1998), for the formalization of children’s mental models (Twaroch and Frank 2004), and for the development of agent-based models for passenger transportation (Pontikakis 2004, Pontikakis 2005). Other topics of interest are navigation: wayfinding (Grum 2005), decision making and spatial reasoning (Achatschitz 2005), as well as spatial optimization modeling and spatio-temporal analysis (Shirabe 2004, Shirabe 2005).
Achatschitz, C., 2005, Identifying the necessary Information for a Spatial Decision: Camping for Beginners, in conference Proceedings CORP 2005 (Schrenk, M., ed.), February 2005, Vienna University of Technology, Published by Manfred Schrenk.
Frank, A. U., W. Kuhn, et al., Eds. (1997). Gofer as used at GeoInfo (TU Vienna). GeoInfo Series. Vienna, Austria, Dept. of Geoinformation, TU Vienna.
Grum, E., 2005, Danger of getting Lost: Optminize a Path to minimize Risk, in conference Proceedings CORP 2005 (Schrenk, M., ed.), February 2005, Vienna University of Technology, Published by Manfred Schrenk.
Navratil, G. (1998). An object-oriented approach to a model of a cadaster. Department of Geoinformation. Vienna, Technical University of Vienna.
Pontikakis, E., 2005, Contribution of local artifacts
in assessing spatial experiences - What you keep, what you throw, in conference Proceedings CORP 2005 (Schrenk, M., ed.), February 2005, Vienna University of Technology, Published by Manfred Schrenk.
Pontikakis, E. 2004. 'Formal Encoding of Multi-Modal Trip with the Use of Public Transport - A Passengers Perspective'. In Proceedings of AGILE 2004 7th Conference on Geographic Information Science, (Toppen, F., & Prastacos, P., eds.), 29th April - 1st May 2004, in Heraklion, Crete, Greece, Published by Crete University Press, pp: 487-492.
Shirabe, T. (2005) A model of contiguity for spatial unit allocation. Geographical Analysis 37(1), pp. 2-16.
Shirabe, T. (2004) Towards temporal extension of spatial allocation modeling. In: M. J. Egenhofer, C. Frejsa, and H. J. Miller (Eds.) Proceedings of the Second International Conference on Geographic Information Science, GIScience 2004, Lecture Notes in Computer Science 3234, (Berlin:Springer-Verlag), pp. 285-298.
Shirabe, T. (2004) Modeling topological properties of a raster region for spatial optimization. In: P. Fisher (Ed.) Developments in Spatial Data Handling: Proceedings of the 11th International Symposium on Spatial Data Handling, (Berlin:Springer-Verlag), pp. 407-420.
Twaroch, F.A., & Frank, A.U. 2004. 'Sandbox Geography - To learn from children the form of spatial concepts'. In Proceedings of Spatial Data Handling '04, (Fisher, P.F., ed.), in Leicester, UK, pp: 421-433.