Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge
representation, typically over infinite domains. The motivations for employing QSTR …

Networked dynamical systems are increasingly used as models for a variety of processes
ranging from robotic teams to collections of genetically engineered living cells. As the …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

Cyber-Physical Systems (CPS) consist of collaborative, networked and tightly intertwined
computational (logical) and physical components, each operating at different spatial and …

We consider an extension of linear-time temporal logic (LTL) with constraints interpreted
over a concrete domain. We use a new automata-theoretic technique to show PSPACE …

To act intelligently in dynamic environments, a system must understand the current situation
it is involved in at any given time. This requires dealing with temporal context, handling …

With the development of the Internet of Things, millions of sensors are being deployed in
cities to collect real-time data. This leads to a need for checking city states against city …

There exist a number of qualitative constraint calculi that are used to represent and reason
about temporal or spatial configurations. However, there are only very few approaches …

Chapter 9 SPATIAL LOGIC + TEMPORAL LOGIC = ? Page 1 Chapter 9 SPATIAL LOGIC +
TEMPORAL LOGIC = ? Roman Kontchakov Birkbeck College, London Agi Kurucz King’s …

In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that
result from various combinations of propositional spatial and temporal logics such as the …