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

TitreBackjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les regles
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2012
LangueFrançais
Date du colloque2012
Titre du colloque6èmes Journées de l'Intelligence Artificielle Fondamentale, IAF 2012
Titre des actes ou de la revueActes IAF 2012
Pagination189 - 198
AuteurN’Goma, Stéphane, Garcia, Laurent , Lefevre, Claire , Stéphan, Igor
PaysFrance
VilleToulouse
Résumé en anglais

The present article is about the use of backjumping for computing answer sets with ASP solvers guided
by the rules. We give the theoretical aspects of this proposal and some points about the implementation
which is in progress in the solver ASPeRiX.

Résumé en français

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.

Notes

Date du colloque : 05/2012

URL de la noticehttp://okina.univ-angers.fr/publications/ua4530
Lien vers le document en ligne

http://gdri3iaf.info.univ-angers.fr/IMG/pdf/paper_15.pdf