Logical formalizations of commonsense reasoning: a survey

E Davis - Journal of Artificial Intelligence Research, 2017 - jair.org
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a
very difficult one. One approach that has been pursued since the earliest days of the field …

From descriptions to depictions: A dynamic sketch map drawing strategy

J Kim, M Vasardani, S Winter - Spatial Cognition & Computation, 2016 - Taylor & Francis
People use verbal descriptions to communicate spatial information, externalising relevant
parts of their mental spatial representations. In many situations, such as emergency …

[PDF][PDF] A SAT approach for maximizing satisfiability in qualitative spatial and temporal constraint networks

JF Condotta, I Nouaouri, M Sioutis - Fifteenth International Conference …, 2016 - cdn.aaai.org
In this paper, we focus on a recently introduced problem in the context of spatial and
temporal qualitative reasoning, called the MAX-QCN problem. This problem involves …

[PDF][PDF] Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.

N Amaneddine, JF Condotta, M Sioutis - IJCAI, 2013 - academia.edu
Abstract The Interval Algebra (IA) and a subset of the Region Connection Calculus (RCC),
namely RCC-8, are the dominant Artificial Intelligence approaches for representing and …

[PDF][PDF] Towards a synergy of qualitative spatio-temporal reasoning and smart environments for assisting the elderly at home

M Sioutis, M Alirezaie, J Renoux… - IJCAI Workshop on …, 2017 - researchgate.net
Applications of smart environments are ever-increasing due to their possibilities of
contributing towards an independent and active lifestyle for different user groups. An …

A machine learning based approach for generating point sketch maps from qualitative directional information

Z Long, Q Li, H Meng, M Sioutis - International Journal of …, 2024 - Taylor & Francis
People often use qualitative relations to describe locations or directional information,
especially in written communication, such as 'the restaurant is located at the southeast …

An efficient approach for tackling large real world qualitative spatial networks

M Sioutis, JF Condotta, M Koubarakis - International Journal on …, 2016 - World Scientific
We improve the state-of-the-art method for checking the consistency of large qualitative
spatial networks that appear in the Web of Data by exploiting the scale-free-like structure …

[PDF][PDF] Quantifying conflicts for spatial and temporal information

JF Condotta, B Raddaoui, Y Salhi - Fifteenth International Conference …, 2016 - cdn.aaai.org
This paper tackles the problem of evaluating the degree of inconsistency in spatial and
temporal qualitative reasoning. We first introduce postulates to propose a formal framework …

Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning

M Sioutis, Y Salhi, JF Condotta - The Knowledge Engineering …, 2017 - cambridge.org
We survey the use and effect of decomposition-based techniques in qualitative spatial and
temporal constraint-based reasoning, and clarify the notions of a tree decomposition, a …

Tackling large qualitative spatial networks of scale-free-like structure

M Sioutis, JF Condotta - Hellenic Conference on Artificial Intelligence, 2014 - Springer
We improve the state-of-the-art method for checking the consistency of large qualitative
spatial networks that appear in the Web of Data by exploiting the scale-free-like structure …