Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

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


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.


Back to the Oberseminar web page