“Successful poker bots explicitly reason about common knowledge beliefs, such as what an opponent thinks the bot has and what the bot thinks the opponent has.”