ESmodels: An Inference Engine of Epistemic Specifications | IEEE Conference Publication | IEEE Xplore