Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, … - The MIT Press
Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge … computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning … about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years …