Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of phil
Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994
Interest in the area of Theoretical Aspects of Reasoning About Knowledge has increased significantly since the first conference was held in 1986 in the Asilomar
Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994