Reasoning About Knowledge provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Reasoning About Knowledge provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.