Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les regles
Résumé
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.
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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
