Du er ikke logget ind
Beskrivelse
Reasoning about knowledge-particularly the knowledge of agents who reason about the world and each other's knowledge-was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a ke