Logical omniscience as a computational complexity problem.

Sergei N. Artmov, Roman Kuznets

Browse the full TARK paper archive.