Sémantique fonctionnelle pour les QBF non-prénexes

TitreSémantique fonctionnelle pour les QBF non-prénexes
Type de publicationCommunication
TypeCommunication sans actes dans un congrès
Année2013
LangueFrançais
Date du colloque12-14/06/2013
Titre du colloqueActes des Journées Nationales de l'IA Fondamentale (IAF'13)
AuteurStéphan, Igor
PaysFrance
VilleAix en Provence
Résumé en anglais

We propose in this article a functional semantics for non-prenex Quantified Boolean Formulae.
The proposed formalism is symetrical for validity and non-validity and allows to give different interpretations to the quantifiers.
This formalism is also sufficiently flexible to allow the definition of a certificate for the search-based algorithms for non-prenex QBF.

Résumé en français

Nous proposons dans cet article une sémantique fonctionnelle pour les formules booléennes quantifiées non prénexes.
Le formalisme proposé est symétrique vis-à-vis de la validité ou de la non-validté et permet d'associer différentes interprétations aux quantificateurs.
Il est aussi suffisemment souple pour permettre de définir la notion de certificat pour les procédures de recherche pour les QBF non prénexes.

URL de la noticehttp://okina.univ-angers.fr/publications/ua8047