Reasoning About Knowledge
Reasoning About KnowledgeJoseph Y Halpern
Sign up to use
Provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.