Proceedings:
Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006)
Volume
Issue:
Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006)
Track:
Contents
Downloads:
Abstract:
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.
KR
Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006)