Jeffrey Kane, Pavel Naumov. Symmetries and Epistemic Reasoning. In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran, editors, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Volume 8143 of Lecture Notes in Computer Science, pages 190-205, Springer, 2013. [doi]
Abstract is missing.