@inproceedings(nguyen05clima, author = {Linh Anh Nguyen}, title = {Reasoning about Epistemic States of Agents by Modal Logic Programming}, booktitle = {Proceedings of CLIMA VI, LNAI 3900}, editor = {F. Toni and P. Torroni}, publisher = {Springer-Verlag}, pages = {37-56}, year = 2006)