 |
Université d'Orléans |  |
|
Université d'Orléans | |
| HAL : hal-00085555, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, États-Unis (2003) |
|
|
|
|
| Correctness of Constraint Retraction Algorithms |
|
|
| Romuald Debruyne 1Gérard Ferrand 2 |
|
|
| (2003) |
|
|
|
| In this paper, we present a general scheme for incremental constraint retraction algorithms that encompasses all existing algorithms. Moreover, we introduce some necessary conditions to ensure the correctness of any incremental constraint retraction algorithms. This rather theoretical work is based on the notion of explanation for constraint programming and is exemplified within the PALM system: a constraint solver allowing dynamic constraint retractions. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | École nationale supérieure des Mines de Nantes |
|
|
|
École Nationale Supérieure des Mines - Nantes – Groupe des Écoles des Mines (GEM) |
|
|
| 2 : | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Intelligence artificielle |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00085555, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00085555 | |
| oai:hal.archives-ouvertes.fr:hal-00085555 | |
| Contributeur : Willy Lesaint | |
| Soumis le : Jeudi 2 Septembre 2010, 15:59:00 | |
| Dernière modification le : Jeudi 2 Septembre 2010, 17:30:55 | |
