Uni-Logo

Diese Seite ist nur auf Englisch verfügbar.

Seminar: Qualitative spatio-temporal reasoning - Topics

1. Temporal calculi (reasoning about time), point algebra, Allen's Interval Algebra

Betreuung: Dr. Matthias Westphal

Bearbeitung: Wei Mou

Kommentar: Alex Oprea

2. Efficiency and Tools

Betreuung: Dr. Matthias Westphal

Bearbeitung: Zinan Lin

Kommentar: Florian Pommerening

3. The region connection calculus

Betreuung: Dr. Stefan Wölfl

Bearbeitung: Tilman Thiry

Kommentar: Zinan Lin

4. Orientation calculi, Star calculus, cardinal direction calculus

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Kiran Telukunta

Kommentar: Tom Mayer

5. Weak composition, algebraic closure and the INDU calculus

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Florian Pommerening

Kommentar: Kiran Telukunta

6. Relative orientation calculi, LR calculus, DRA calculus

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Tom Mayer

Kommentar: Wei Mou

7. Spatio-temporal calculi (reasoning about moving objects)

Betreuung: Dr. Stefan Wölfl

Bearbeitung: Alex Oprea

Kommentar: Tilman Thiry

8. Point-Set Topological Spatial Relations

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: noch offen

Kommentar: noch offen

9. The OPRA calculus and a sailing application

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Andreas Hertle

Kommentar: noch offen