Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les regles

Résumé :

Nous nous intéressons dans cet article au calcul des ensembles réponses dans les solveurs ASP quidés par les règles pour lesquels nous étudions l'utilisation du backjumping. Nous en donnons l'étude théorique ainsi que quelques pistes de l'implémentation en cours de réalisation dans le solveur ASPeRIX.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350667
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 22 septembre 2021 - 01:55:54
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09
Archivage à long terme le : : jeudi 23 décembre 2021 - 18:17:51

Fichier

NGoma2012.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-03350667, version 1
  • OKINA : ua4530

Collections

Citation

Stéphane N’goma, Laurent Garcia, Claire Lefevre, Igor Stéphan. Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les regles. 6es Journées de l'Intelligence Artificielle Fondamentale, IAF 2012, 2012, Toulouse, France. pp.189-198. ⟨hal-03350667⟩

Partager

Métriques

Consultations de la notice

8

Téléchargements de fichiers

9