ESmodels: An Inference Engine of Epistemic Specifications. - Zhizheng Zhang 002; Kaikai Zhao; Rongcun Cui (ICTAI, 2013)