Seminar: Qualitative spatio-temporal reasoning - Topics

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

J. F. Allen. 1983.
Maintaining knowledge about temporal intervals
Communications of the ACM 26(11):832-843.
P. van Beek and R. Cohen. 1990.
Exact and approximate reasoning about temporal relations
Computational Intelligence, 6:132-144.

Betreuung: Dr. Matthias Westphal

Bearbeitung: Wei Mou

Kommentar: Alex Oprea

B. Nebel. 1997.
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
Constraints 1(3): 175-190.
J. O. Wallgrün, L. Frommberger, D. Wolter, F. Dylla and C. Freksa. 2006.
Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox
Spatial Cognition, Lecture Notes in Computer Science, Vol. 4387, pp. 39-58, Springer.
Z. Gantner, M. Westphal and S. Wölfl. 2008.
GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi
Workshop Notes of the AAAI-08 Workshop on Spatial and Temporal Reasoning, Chicago, USA, AAAI.

Betreuung: Dr. Matthias Westphal

Bearbeitung: Zinan Lin

Kommentar: Florian Pommerening

Betreuung: Dr. Stefan Wölfl

Bearbeitung: Tilman Thiry

Kommentar: Zinan Lin

J. Renz, D. Mitra. 2004.
Qualitative Direction Calculi with Arbitrary Granularity
8th Pacific Rim International Conference on Artificial Intelligence (PRICAI'04), Auckland, New Zealand, p. 65-74.
G. Ligozat. 1998.
Reasoning about cardinal directions
J. of Vis. Lang. & Comp., 1(9):23-44.

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Kiran Telukunta

Kommentar: Tom Mayer

J. Renz and G. Ligozat. 2005.
Weak Composition for Qualitative Spatial and Temporal Reasoning
Proc. CP, Lecture Notes in Computer Science, Vol. 3709, pp. 534-548, Springer.
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. 2006.
On the consistency problem for the INDU calculus
Journal of Applied Logic Volume 4, Issue 2, pp. 119-140.
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. 2003.
On the consistency problem for the INDU calculus
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL’03).

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Florian Pommerening

Kommentar: Kiran Telukunta

G. Ligozat. 1993.
Qualitative Triangulation for Spatial Reasoning
Proc. European Conference on Spatial Information Theory (COSIT'93), Marciana Marina, Elba Island, Italy.
A. Scivos and B. Nebel. 2004.
The Finest of its Class: The Natural, Point-Based Ternary Calculus LR for Qualitative Spatial Reasoning
Spatial Cognition 2004, pp. 283-303.
R. Moratz, J. Renz and D. Wolter. 2000.
Qualitative Spatial Reasoning about Line Segments
Proc. 14th European Conference on Artificial Intelligence (ECAI'00), IOS Press, Amsterdam.

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Tom Mayer

Kommentar: Wei Mou

A. Gerevini and B. Nebel. 2002.
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity
Proc. 15th European Conference on Artificial Intelligence (ECAI'02), pp. 312-316, IOS Press, Amsterdam.
N. Van de Weghe, B. Kuijpers, P. Bogaert and P. De Maeye. 2005.
A Qualitative Trajectory Calculus and the Composition of Its Relations
Lecture Notes in Computer Science 3799, pp. 60-76, Springer Verlag.

Betreuung: Dr. Stefan Wölfl

Bearbeitung: Alex Oprea

Kommentar: Tilman Thiry

M. J. Egenhofer and R. D. Franzosa. 1991.
Point-Set Topological Spatial Relations
International Journal for Geographical Information Systems, 5(2):161-174.

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: noch offen

Kommentar: noch offen

Reinhard Moratz. 2006.
Representing relative direction as binary relation of oriented points.
Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006).

Betreuung: Prof. Dr. Till Mossakowski

Bearbeitung: Andreas Hertle

Kommentar: noch offen