Michael Wooldridge. Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. In Matthias Jarke, Jana Koehler, Gerhard Lakemeyer, editors, KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Volume 2479 of Lecture Notes in Computer Science, pages 318, Springer, 2002. [doi]
Abstract is missing.