SS 2012

Diedrich Wolter, 4 SWS, 6 ECTS, 03-ME-711.10
 

About the Course.

This course will introduce students with formal logic-based methods for integrated representation and reasoning about space, actions, and change. It will prepare the students to apply these methods for solving spatio-temporal reasoning tasks for systems such as cognitive robotics, GIS, spatial puzzles, games, smart environments. Topics that will be convered include:

The project will develop the basis for a 'Spatial Interaction Laboratory'. It is intended to use the touch screen computers installed in the Cartesium building to provide functionality for general usage like door plates. Furthermore, the possibility to easily introduce systems to research interaction in spatially separated environments has to be created. This requires availability of and access to a spatial representation of the included parts of the building.