Representing Policies for Quantified Boolean Formulae

Sylvie Coste-Marquis, Helene Fargier, Jerome Lang, Daniel Le Berre, Pierre Marquis

The practical use of Quantified Boolean Formulae (QBFs) often calls for more than solving the validity problem QBF. For this reason we investigate the corresponding function problems whose expected outputs are policies. QBFs which do not evaluate to true do not have any solution policy, but can be of interest nevertheless; for handling them, we introduce a notion of partial policy.

Subjects: 11. Knowledge Representation; 3. Automated Reasoning

Submitted: Mar 6, 2006


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.