no code implementations • 1 Jun 2016 • Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André Van Delden, Jasper Van De Ven, Diedrich Wolter
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains.
no code implementations • 31 May 2013 • Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi.
no code implementations • 17 Apr 2013 • Manfred Eppe, Mehul Bhatt, Frank Dylla
We propose an approximation of the Possible Worlds Semantics (PWS) for action planning.