Qualitative spatio-temporal reasoning
Our work in spatio-temporal reasoning focuses on relative orientation calculi. Reasoning problems (e.g. consistency of constraint networks) of these caluli are existsR-hard. Therefore, we develop and compare different approximation algorithms for these caculi.
Moreover, an important problem is that there has been a profileration of many calculi, varying in topic (mereotopology, absolute orientation, relative orientation) and granularity. An research question is how to heterogeneously combine these calculi, such that problems can be modeled using different calculi in an integrated and coherent way.
Completed projects (funded by DFG within SFB/TR 8)
- R4-[LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
- I1-[OntoSpace] Ontologies for Spatial Communication
- I4-[SPIN] Specification for the Integration of Spatial Concepts
Tools
Publications of our group
Till Mossakowski, Reinhard Moratz. Relations Between Spatial Calculi About Directions and Orientations. In Journal of Artificial Intelligence Research, to appear. |
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter (2013). Algebraic Properties of Qualitative Spatio-Temporal Calculi. In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood (Eds.), Proceedings of Conference On Spatial Information Theory 2013, Vol. 8116, pp. 516–536, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. |
André van Delden, Till Mossakowski (2013). Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward. In 36th Annual Conference on Artificial Intelligence (KI 2013), Vol. 8077, pp. 248–259, Lecture Notes in Artificial Intelligence. Springer. |
Till Mossakowski, Reinhard Moratz (2012). Qualitative Reasoning about Relative Direction of Oriented Points. In Artificial Intelligence Journal, Vol. 180–181, (p. 34–45). |
Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen, Cunyuan Cai (2012). Intuitive and Natural Interfaces for Geospatial Data Classification. In Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012. |
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. In C. Claramunt, S. Levashkin,, M. Bertolotto (Eds.), Fourth International Conference on GeoSpatial Semantics, Vol. 6631, (p. 88–107). , Lecture Notes in Computer Science. Springer. |
Dominik Lücke, Till Mossakowski, Reinhard Moratz (2011). Streets to the OPRA - Finding your destination with imprecise knowledge. In Jochen Renz, Anthony G. Cohn, Stefan Wölfl (Eds.), IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pp. 25–32. |
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2011). A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments. In Artificial Intelligence Journal, Vol. 175, pp. 2099–2127. |
Dominik Lücke, Till Mossakowski (2010). A much better polynomial time approximation of consistency in the LR calculus. In A. Gomez-Perez, T. Agotnes (Eds.), Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), Vol. 222, pp. 175–185, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam. |
Dominik Lücke, Till Mossakowski, Diedrich Wolter (2008). Qualitative reasoning about convex relations. In Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Eds.), Spatial Cognition VI 2008, Vol. 5248, pp. 426–440, Lecture Notes in Computer Science. Springer. |
Stefan Wölfl, Till Mossakowski (Eds.) (2006). Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings. |
Stefan Wölfl, Till Mossakowski (2005). CASL Specifications of Qualitative Calculi. In A. G. Cohn, D. M. Mark (Eds.), Conference on Spatial Information Theory, Vol. 3693, pp. 200–217, Lecture Notes in Computer Science. Springer, Berlin. |
K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Eds.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109–119. |