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 …
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
People use verbal descriptions to communicate spatial information, externalising relevant
parts of their mental spatial representations. In many situations, such as emergency …
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 …
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.
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 …
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
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 …
A machine learning based approach for generating point sketch maps from qualitative directional information
People often use qualitative relations to describe locations or directional information,
especially in written communication, such as 'the restaurant is located at the southeast …
especially in written communication, such as 'the restaurant is located at the southeast …
An efficient approach for tackling large real world qualitative spatial networks
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 …
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
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 …
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
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 …
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 …
spatial networks that appear in the Web of Data by exploiting the scale-free-like structure …