[PDF][PDF] Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges.
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 …
Symbolic AI that deals with the representation and reasoning of spatiotemporal information …
[HTML][HTML] On redundant topological constraints
Redundancy checking is an important task in the research of knowledge representation and
reasoning. In this paper, we consider redundant qualitative constraints. For a set Γ of …
reasoning. In this paper, we consider redundant qualitative constraints. For a set Γ of …
On prime scenarios in qualitative spatial and temporal reasoning
The concept of prime implicant is a fundamental tool in Boolean algebra, which is used in
Boolean circuit design and, recently, in explainable AI. This study investigates an analogous …
Boolean circuit design and, recently, in explainable AI. This study investigates an analogous …
Hybrid AI for panoptic segmentation: An informed deep learning approach with integration of prior spatial relationships knowledge
Panoptic segmentation is a computer vision task that aims to identify and analyze all objects
present in an image. While semantic segmentation focuses on labeling each pixel in an …
present in an image. While semantic segmentation focuses on labeling each pixel in an …
Spatial representability of neuronal activity
A common approach to interpreting spiking activity is based on identifying the firing fields—
regions in physical or configuration spaces that elicit responses of neurons. Common …
regions in physical or configuration spaces that elicit responses of neurons. Common …
Efficient path consistency algorithm for large qualitative constraint networks
We propose a new algorithm called DPC+ to enforce partial path consistency (PPC) on
qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the …
qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the …
[PDF][PDF] Towards a synergy of qualitative spatio-temporal reasoning and smart environments for assisting the elderly at home
Applications of smart environments are ever-increasing due to their possibilities of
contributing towards an independent and active lifestyle for different user groups. An …
contributing towards an independent and active lifestyle for different user groups. An …
Efficiently reasoning about qualitative constraints through variable elimination
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 …
based spatial and temporal reasoning, that is based on the idea of variable elimination, a …
Leveraging variable elimination for efficiently reasoning about qualitative constraints
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 …
based spatial and temporal reasoning that is based on the idea of variable elimination, a …
Checking the consistency of combined qualitative constraint networks
Q Cohen-Solal, M Bouzid, A Niveau - Proceedings of the AAAI …, 2017 - ojs.aaai.org
We study the problem of consistency checking for constraint networks over combined
qualitative formalisms. We propose a framework which encompasses loose integrations and …
qualitative formalisms. We propose a framework which encompasses loose integrations and …