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
3 4C UCC - Cork Constraint Computation Centre
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 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:09:10

Fichier

aaai06.pdf

Identifiants

  • HAL Id : lirmm-00135484, version 1

Collections

INRIA | ZENITH | COCONUT | LIRMM | MIPS | UNIV-MONTPELLIER

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

406

Téléchargements de fichiers

275

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD