Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

ASPeRiX: un solveur ASP du premier ordre

Résumé :

Nous présentons ASPeRiX, un solveur ASP dont la spécificité est detravailler directement avec des règles logiques avec variables et donc sans instanciation préalable du programme comme cela est pratiqué par les principaux solveurs actuels. Le système applique des règles en chaînage avant en les instanciant au fur et à mesure des besoins. ASPeRiX évite ainsi certaines difficultés auxquelles se heurtent les solveurs ASP traditionnels.

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

https://hal.univ-angers.fr/hal-03256212
Contributeur : Okina Université d'Angers <>
Soumis le : jeudi 10 juin 2021 - 10:28:19
Dernière modification le : vendredi 11 juin 2021 - 03:29:58

Identifiants

  • HAL Id : hal-03256212, version 1
  • OKINA : ua4545

Collections

Citation

Claire Lefèvre, Stéphane Ngoma, Pascal Nicolas. ASPeRiX: un solveur ASP du premier ordre. "titre manquant", 2010, Non spécifié, France. ⟨hal-03256212⟩

Partager

Métriques

Consultations de la notice

4