Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.

Francesco Belardinelli, Wiebe van der Hoek

Browse the full IJCAI paper archive.