Abstract Qualitative Spatial & Temporal Reasoning (QSTR) is a major field of study in
Symbolic AI that deals with the representation and reasoning of spatiotemporal information …

We present a stream reasoning system for monitoring vessel activity in large geographical
areas. The system ingests a compressed vessel position stream, and performs online spatio …

In this paper, we deal with inconsistency resolution in qualitative constraint networks (QCN).
This type of networks allows one to represent and reason about spatial or temporal …

Changes in topological spatial relations of objects are often strong indicators for state
transitions in the underlying processes they are involved in. While various aspects of …

Qualitative spatio-temporal reasoning is an active research area in Artificial Intelligence. In
many situations there is a need to reason about intertemporal qualitative spatial relations, ie …

We introduce and evaluate dynamic branching strategies for solving Qualitative Constraint
Networks (QCNs), which are networks that are mostly used to represent and reason about …

We introduce, study, and evaluate a novel algorithm in the context of qualitative constraint-
based spatial and temporal reasoning that is based on the idea of variable elimination, a …

The RCC 8 language is a widely-studied formalism for describing topological arrangements
of spatial regions. Two fundamental reasoning problems that are associated with RCC 8 are …

Partial singleton weak path-consistency, or partial Image 1-consistency for short, is essential
for tackling challenging fundamental reasoning problems associated with qualitative …

We discuss recent attempts to extend the ontology-based data access (aka virtual
knowledge graph) paradigm to the temporal setting. Our main aim is to understand when …