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:
Summer Semester 2012 (03-ME-711.99c)
ECTS 6; One 2hrs lecture per week. (additional weekly reading assignments and final assignment);
Students have the choice to pick ECTS 4 or ECTS 6.
June 1 - July 31 2012
Lecture timing: Every Thursday, starting June 7 2012 at 16.00hrs - Cartesium. 0.01
First Student Meeting / Course Introduction
Venue: Cartesium. 0.01 (Ground floor)
Time (three possibilities):
1. Wed 16 May - 10.00hrs
2. Wed 16 May - 16.00hrs
3. Thu 17 May - 16.00hrs
Outside of these times, meet me in person - email: bhatt@informatik.uni-bremen.de
Lecturers.
Dr. Mehul Bhatt, Cognitive Systems Group (CoSy; AG Freksa), University of Bremen
Prof. Paulo E. Santos, IAAA Group, Centro Universitário da FEI, Brazil