Alternating-time temporal belief and knowledge logic in multi-agent systems | IEEE Conference Publication | IEEE Xplore