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]
@inproceedings{NingLHW08-0,
title = {Alternating-time temporal belief and knowledge logic in multi-agent systems},
author = {Zhengyuan Ning and Xianwei Lai and Shanli Hu and Xiuli Wang},
year = {2008},
doi = {10.1109/ISKE.2008.4731143},
url = {https://doi.org/10.1109/ISKE.2008.4731143},
researchr = {https://researchr.org/publication/NingLHW08-0},
cites = {0},
citedby = {0},
pages = {1357-1362},
booktitle = {3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008, Xiamen, China, November 17-19, 2008},
publisher = {IEEE},
isbn = {978-1-4244-2197-8},
}