ESmodels: An Inference Engine of Epistemic Specifications.

Zhizheng Zhang, Kaikai Zhao, Rongcun Cui

Browse the full ICTAI paper archive.