17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 18)
Department or Program
Computer Science Department
The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes the notion of a second-order know-how strategy for the case when one coalition knows what the strategy of another coalition is. The main technical result is a sound and complete logical system describing the interplay between the distributed knowledge modality and the second-order coalition know-how modality.
Naumov, Pavel and Tao, Jia, "Second-Order Know-How Strategies" (2018). Faculty Research and Reports. 102.