Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu

Browse the full AI paper archive.