Methods and Goals

Characterizing and formalizing pictorial and propositional representation formats
Formalizing aspects of spatial knowledge implicitly or explicitly represented in cartographic media
Developing and implementing an architecture for processing complex knowledge structures like cartographic maps
Investigating and modeling task-dependent spatial knowledge representations