Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang. Alternating-time temporal belief and knowledge logic in multi-agent systems. In 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008, Xiamen, China, November 17-19, 2008. pages 1357-1362, IEEE, 2008. [doi]
Abstract is missing.