Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

By Wiebe van der Hoek, Michael J. Wooldridge. Studia Logica: An International Journal for Symbolic Logic, 2003

337 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/bc813abbf1a668d1f1e51c416d8babab66ce78f4