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

Des formules booléennes (quantifiées) à la programmation par ensembles réponses

Résumé :

Nous proposons dans cet article une traduction des formulesbooléennes quantifiées vers le paradigme de la programmation par ensembles réponses. Le calcul d’une solution à une formule booléenne quantifiée devient alors équivalent au calcul d’un modèle stable pour un programme logique normal. Le cas des formules propositionnelles est aussi considéré car étant équivalent au cas des formules booléennes quantifiées uniquement existentiellement.

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

https://hal.univ-angers.fr/hal-03350657
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 21 septembre 2021 - 14:45:22
Dernière modification le : mercredi 20 octobre 2021 - 03:19:08
Archivage à long terme le : : mercredi 22 décembre 2021 - 19:05:03

Fichier

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

Identifiants

  • HAL Id : hal-03350657, version 1
  • OKINA : ua4520

Collections

Citation

Benoit da Mota, Igor Stéphan, Pascal Nicolas. Des formules booléennes (quantifiées) à la programmation par ensembles réponses. Reconnaissance des Formes et Intelligence Artificielle, 2008, Amiens, France. 10 p. ⟨hal-03350657⟩

Partager

Métriques

Consultations de la notice

4

Téléchargements de fichiers

6