Uni-Logo

Seminar: Qualitative spatio-temporal reasoning - Schedule

The seminar will take place on Monday, February 16, 2009 in room 00-016 (building 52).

Schedule:

Time Topic Presentation by Comment by
10:00-10:45 Temporal calculi Mou Wei Andreas Hertle
10:45-11:30 Efficiency and Tools Zinan Lin Florian Pommerening
11:30-12:15 Orientation calculi, star calculus, cardinal direction calculus Stefan Wölfl Mou Wei
12:15-13:00 Lunch break
13:00-13:45 Weak composition, algebraic closure and the INDU calculus Florian Pommerening Matthias Westphal
13:45-14:30 Relative orientation calculi, LR calculus, DRA calculus Till Mossakowski Stefan Wölfl
14:30-14:45 Break
14:45-15:30 The OPRA calculus and a sailing application Andreas Hertle Zinan Lin
15:30-16:15 Combinations of qualitative constraint calculi Matthias Westphal Till Mossakowski
16:15-17:00 Final discussion

For each presentation there is a time slot of 45 minutes 30 minutes talk, 5 minutes commentary and 10 minutes discussion and feedback.