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.