Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2017, February 1
Author: Mossakowski, Till
Title: Temporal RCC8+QTC

Abstract:

RCC8 is a qualitative spatial calculus expressing relations between regions. QTC is one expressing relations between moving objects. Temporal RCC8+QTC will cover the change of relations between moving regions over time. One envisaged application is the theory of image schemas.


Slides


Back to the Oberseminar web page
Webmaster