Allen's interval algebra makes the difference

T Janhunen, M Sioutis - … on Applications of Declarative Programming and …, 2019 - Springer
Abstract Allen's Interval Algebra constitutes a framework for reasoning about temporal
information in a qualitative manner. In particular, it uses intervals, ie, pairs of endpoints, on …

[PDF][PDF] Seeking prevention of cognitive decline in elders via activity suggestion by a virtual caregiver

A Vuono, M Luperto, J Banfi, N Basilico… - Proceedings of the 17th …, 2018 - ifaamas.org
Addressing the lack of social, cognitive, and physical stimuli among elders is a key factor to
contrast Mild Cognitive Impairment (MCI) that can arise during the third age. Against such …

Leveraging variable elimination for efficiently reasoning about qualitative constraints

M Sioutis, Z Long, S Li - International Journal on Artificial …, 2018 - World Scientific
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 …

An incremental sat-based approach to reason efficiently on qualitative constraint networks

G Glorian, JM Lagniez, V Montmirail… - … Conference on Principles …, 2018 - Springer
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 …

[HTML][HTML] Collective singleton-based consistency for qualitative constraint networks: Theory and practice

M Sioutis, A Paparrizou, JF Condotta - Theoretical Computer Science, 2019 - Elsevier
Partial singleton weak path-consistency, or partial Image 1-consistency for short, is essential
for tackling challenging fundamental reasoning problems associated with qualitative …

Robot task programming in complex task scenarios based on spatio-temporal constraint calculus

J Li, M Cong, D Liu, Y Du - Robotic Intelligence and Automation, 2023 - emerald.com
Purpose Robots face fundamental challenges in achieving reliable and stable operations for
complex home service scenarios. This is one of the crucial topics of robotics methods to …

Real-time ontology-based context-aware situation reasoning framework in pervasive computing

A Lakehal, A Alti, P Roose - Multimedia Tools and Applications, 2022 - Springer
Currently, the use of mobile applications for smart environments have multiplied, and they
play a fundamental role in people's daily lives. While there are many applications based on …

Ontology Model for Spatio-Temporal Contexts in Smart Home Environments

L Shrinidhi, N Kadiresan, L Parameswaran - International Conference on …, 2021 - Springer
Smart home environment supports in simplifying the daily routines of the residents by
learning the repetitive tasks and automating the activities. Sensors provide an unobtrusive …

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning

M Sioutis, A Paparrizou, T Janhunen - Information and Computation, 2021 - Elsevier
Given a qualitative constraint network (QCN), a singleton-style consistency focuses on each
base relation (atom) of a constraint separately, rather than the entire constraint altogether …

[Књига][B] Cyber-physical systems for social applications

M Dimitrova, H Wagatsuma - 2019 - books.google.com
Present day sophisticated, adaptive, and autonomous (to a certain degree) robotic
technology is a radically new stimulus for the cognitive system of the human learner from the …