@Book{		  reasoning:about:knowledge,
  author =	 {Ronald Fagin and Joseph Y. Halpern and Yoram Moses
                  and Moshe Y. Vardi },
  title =	 {Reasoning About Knowledge},
  googleid =	 {phcEQyGqBGwJ:scholar.google.com/},
  publisher =	 pub-mit,
  address =	 pub-mit:adr,
  year =	 1995,
  abstract =	 {Reasoning about knowledge--particularly the
                  knowledge of agents who reason about the world and
                  each other's knowledge--was once the exclusive
                  province of philosophers and puzzle solvers. More
                  recently, this type of reasoning has been shown to
                  play a key role in a surprising number of contexts,
                  from understanding conversations to the analysis of
                  distributed 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 of work by the authors
                  into a cohesive framework for understanding and
                  analyzing reasoning about knowledge that is
                  intuitive, mathematically well founded, useful in
                  practice, and widely applicable. The book is almost
                  completely self-contained and should be accessible
                  to readers in a variety of disciplines, including
                  computer science, artificial intelligence,
                  linguistics, philosophy, cognitive science, and game
                  theory. Each chapter includes exercises and
                  bibliographic notes},
  keywords =     {logic},
  isbn =	 {0262061627},
  cluster = 	 {7783533115838044070}
}