[图书][B] Qualitative spatial and temporal reasoning
G Ligozat - 2013 - books.google.com
Starting with an updated description of Allen's calculus, the book proceeds with a description
of the main qualitative calculi which have been developed over the last two decades. It …
of the main qualitative calculi which have been developed over the last two decades. It …
[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 …
temporal qualitative reasoning. We first introduce postulates to propose a formal framework …
Qualitative reasoning
JF Condotta, F Le Ber, G Ligozat… - A Guided Tour of Artificial …, 2020 - Springer
In this chapter, we discuss two research areas related to qualitative reasoning: firstly,
qualitative reasoning about dynamical systems, or qualitative physics, that aims at providing …
qualitative reasoning about dynamical systems, or qualitative physics, that aims at providing …
Revising qualitative constraint networks: Definition and implementation
J Hué, M Westphal - 2012 IEEE 24th International Conference …, 2012 - ieeexplore.ieee.org
Qualitative Spatial and Temporal Reasoning is a central topic in Artificial Intelligence. In
particular, it is aimed at application scenarios dealing with uncertain information and thus …
particular, it is aimed at application scenarios dealing with uncertain information and thus …
A framework for belief revision under restrictions
Traditional belief revision usually considers generic logic formulas, whilst in practical
applications some formulas might even be inappropriate for beliefs. For instance, the …
applications some formulas might even be inappropriate for beliefs. For instance, the …
Décision de la cohérence des réseaux de contraintes qualitatives combinés
Q Cohen-Solal, M Bouzid, A Niveau - … de l'Information-Série RIA: Revue …, 2017 - hal.science
Nous étudions le problème de la décision de la cohérence de réseaux de contraintes dans
le cadre de combinaisons de formalismes qualitatifs. Nous proposons un cadre formel qui …
le cadre de combinaisons de formalismes qualitatifs. Nous proposons un cadre formel qui …
Reasoning with qualitative spatial and temporal textual cases
V Dufour-Lussier - 2014 - inria.hal.science
This thesis proposes a practical model making it possible to implement a case-based
reasoning system that adapts processes represented as natural language text. The use of …
reasoning system that adapts processes represented as natural language text. The use of …
New Models for ICT-Based Medical Diagnosis
C Ciufudean, O Ciufudean, C Filote - Handbook of Research on …, 2013 - igi-global.com
This chapter is focused on evaluation of the links between physiology of human body and
human emotional states in order to help specialists to perform a correct diagnosis correlated …
human emotional states in order to help specialists to perform a correct diagnosis correlated …
Minimality of Combined Qualitative Constraint Networks
Q Cohen-Solal - ECAI 2020, 2020 - ebooks.iospress.nl
We are interested in the minimality problem in the context of combinations of qualitative
constraint networks (such as temporal sequences, multiscale networks, and loose …
constraint networks (such as temporal sequences, multiscale networks, and loose …
Quels formalismes temporels pour repr\'esenter des connaissances extraites de textes de recettes de cuisine?
V Dufour-Lussier, FL Ber, J Lieber - arXiv preprint arXiv:1110.5172, 2011 - arxiv.org
arXiv:1110.5172v1 [cs.AI] 24 Oct 2011 Page 1 Quels formalismes temporels pour représenter
des connaissances extraites de textes de recettes de cuisine ? Valmi Dufour-Lussier1,2 …
des connaissances extraites de textes de recettes de cuisine ? Valmi Dufour-Lussier1,2 …