Zining Cao. Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. In Katsumi Inoue, Ken Satoh, Francesca Toni, editors, Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Volume 4371 of Lecture Notes in Computer Science, pages 134-150, Springer, 2006. [doi]
Abstract is missing.