About these proceedings
This book constitutes the refereed proceedings of the 1997 International Conference on Spatial Information Theory, COSIT'97, held in Laurel Highlands, Pennsylvania, USA, in October 1997. The 31 revised full papers presented were carefully selected from a total of 66 submissions. Also included are seven posters. The volume is divided into sections on representations of change, structuring of space, boundaries and gradations, topological models of space, formal models of space, cognitive aspects of spatial acquisition, novel use of spatial information, wayfinding and map interpretation, representations of spatial concepts, new approaches to spatial information.
GIS Geoinformationssysteme classification data structures formal logic fuzzy geographic data information system information theory logic navigation ontology proving visualization