Reasoning about Knowledge

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