Titre | Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les regles |
Type de publication | Communication |
Type | Communication avec actes dans un congrès |
Année | 2012 |
Langue | Français |
Date du colloque | 2012 |
Titre du colloque | 6èmes Journées de l'Intelligence Artificielle Fondamentale, IAF 2012 |
Titre des actes ou de la revue | Actes IAF 2012 |
Pagination | 189 - 198 |
Auteur | N’Goma, Stéphane, Garcia, Laurent , Lefevre, Claire , Stéphan, Igor |
Pays | France |
Ville | Toulouse |
Résumé en anglais | The present article is about the use of backjumping for computing answer sets with ASP solvers guided |
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 notice | http://okina.univ-angers.fr/publications/ua4530 |
Lien vers le document en ligne |