Acquiring Constraint Networks using a SAT-based Version Space Algorithm

Christian Bessière 1 Frédéric Koriche 1 Remi Coletta 2 Barry O'Sullivan 3
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 ZENITH - Scientific Data Management
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : none
Type de document :
Communication dans un congrès
AAAI: American Association of Artificial Intelligence, Jul 2006, Boston, Massachusetts, United States. 21st National Conference on Artificial Intelligence (AAAI'06: American Association of Artificial Intelligence), pp.1565-1568, 2006
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00135484
Contributeur : Christian Bessiere <>
Soumis le : jeudi 8 mars 2007 - 11:48:22
Dernière modification le : jeudi 11 janvier 2018 - 16:19:56
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:09:10

Fichier

Identifiants

  • HAL Id : lirmm-00135484, version 1

Citation

Christian Bessière, Frédéric Koriche, Remi Coletta, Barry O'Sullivan. Acquiring Constraint Networks using a SAT-based Version Space Algorithm. AAAI: American Association of Artificial Intelligence, Jul 2006, Boston, Massachusetts, United States. 21st National Conference on Artificial Intelligence (AAAI'06: American Association of Artificial Intelligence), pp.1565-1568, 2006. 〈lirmm-00135484〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

148