Stream reasoning studies the application of inference techniques to data characterised by
being highly dynamic. It can find application in several settings, from Smart Cities to Industry …

The increasing availability of streaming data has accelerated advances in information
processing tools that no longer store data for static querying but push information to …

This paper is a survey of recent stream processing languages, which are programming
languages for writing applications that analyze data streams. Data streams, or continuous …

We introduce UNDERWORLDS, a novel lightweight framework for cascading spatio-
temporal situation assessment in robotics. UNDERWORLDS allows programmers to …

Abstract Qualitative Constraint Networks (QCN s) comprise a Symbolic AI framework for
representing and reasoning about spatial and temporal information via the use of natural …

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 …

Recently, a massive amount of position-annotated data is being generated in a stream
fashion. Also, massive amounts of static data including spatial features are collected and …

We introduce and evaluate dynamic branching strategies for solving Qualitative Constraint
Networks (QCN s), which are networks for representing and reasoning about spatial and …

Qualitative Spatial and Temporal Reasoning is a major field of study in Artificial Intelligence
and, particularly, in Knowledge Representation, which deals with the fundamental cognitive …