Toward formal reasoning with epistemic policies about information quality in the twittersphere | IEEE Conference Publication | IEEE Xplore