Checking the Consistency of Combined Qualitative Constraint Networks

Quentin Cohen-Solal 1 Maroua Bouzid 1 Alexandre Niveau 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique 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 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.
Type de document :
Communication dans un congrès
Thirty-First AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, California, United States. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. 〈https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14734〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01579026
Contributeur : Quentin Cohen-Solal <>
Soumis le : mercredi 21 mars 2018 - 20:18:52
Dernière modification le : jeudi 7 février 2019 - 17:47:25

Fichier

aaai2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01579026, version 2

Citation

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. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. 〈https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14734〉. 〈hal-01579026v2〉

Partager

Métriques

Consultations de la notice

59

Téléchargements de fichiers

20