TY  - JOUR
A1  - Möller, Bernhard
T1  - Geographic wayfinders and space-time algebra
T2  - Journal of Logical and Algebraic Methods in Programming
N2  - Time Geography is a framework for describing reachable points in a (static) spatio-temporal environment. While originally devised to facilitate reasoning about an individual's or a population's living conditions, it was later adapted to many other applications. A wayfinder is an entity that moves through a space-time continuum with possible obstacles. We show how to model the pertinent notions in relational algebra (and, more abstractly, in modal semirings) with box and diamond operators. Admissible or undesired regions can be described as Boolean combinations of primitive regions such as the set of all points reachable by forward or backward movement from a given region or starting point. To derive results about the region blocked by the union of two regions we introduce an abstract algebraic view of coordinates that is largely independent of dimensional and metric aspects and thus very general. Moreover, the approach lends itself quite easily to machine-supported proofs.
KW  - Political Science and International Relations
KW  - Cultural Studies
KW  - Sociology and Political Science
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/51943
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-519433
SN  - 2352-2208
VL  - 104
SP  - 274
EP  - 302
PB  - Elsevier BV
ER  -