Checking the Consistency of Combined Qualitative Constraint Networks - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Checking the Consistency of Combined Qualitative Constraint Networks

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.
Fichier principal
Vignette du fichier
aaai2017.pdf (521.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01579026 , version 2

Cite

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⟩
178 View
56 Download

Share

Gmail Facebook X LinkedIn More