On the complexity of epistemic reasoning | IEEE Conference Publication | IEEE Xplore