Checking the Consistency of Combined Qualitative Constraint Networks - Archive ouverte HAL Accéder directement au contenu
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
AAAI17_CBN.pdf (521.33 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 1

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-01579026v1⟩
178 Consultations
56 Téléchargements

Partager

Gmail Facebook X LinkedIn More