Geographical Information Systems

We see Geographical Information Systems as an important application area for logical reasoning about spatial relationships. The following image is a screen dump of the first version of a prototype program demonstrating the use of qualitative topological information in a GIS.