Miller, T.; Felli, P.; Muise, C.; Pearce, A.; Sonenberg, L. ’Knowing Whether’ in Proper Epistemic Knowledge Bases. AAAI 2016, 30.