HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Décision de la cohérence des réseaux de contraintes qualitatives combinés

Quentin Cohen-Solal 1 Maroua Bouzid 1 Alexandre Niveau 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen
Abstract : We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multi-scale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find trac-table subclasses.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

Contributor : Quentin Cohen-Solal Connect in order to contact the contributor
Submitted on : Monday, March 26, 2018 - 7:00:15 PM
Last modification on : Wednesday, November 3, 2021 - 5:06:57 AM
Long-term archiving on: : Thursday, September 13, 2018 - 9:37:40 AM


ria Cohen-Solal Bouzid Niveau....
Files produced by the author(s)



Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Décision de la cohérence des réseaux de contraintes qualitatives combinés. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31, pp.41 - 70. ⟨10.3166/ria.31.41-70⟩. ⟨hal-01579052v2⟩



Record views


Files downloads