Checking the Consistency of Combined Qualitative Constraint Networks - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Checking the Consistency of Combined Qualitative Constraint Networks

Résumé

We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations 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 tractable subclasses.
Fichier principal
Vignette du fichier
aaai2017.pdf (521.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01579026 , version 1 (30-08-2017)
hal-01579026 , version 2 (21-03-2018)

Identifiants

  • HAL Id : hal-01579026 , version 2

Citer

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Checking the Consistency of Combined Qualitative Constraint Networks. Thirty-First AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, California, United States. ⟨hal-01579026v2⟩
203 Consultations
83 Téléchargements

Partager

More