[L2] ================================================ AMAST Links 02 08 Reasoning About Knowledge by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi 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 ten 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 excercises and bibliographic notes. **Advance praise for Reasoning About Knowledge** "The result of the authors' research bears the twin hallmarks of good science: beauty and utility." -- Vassos Hadzilacos, Computer Science Department, University of Toronto "[Reasoning About Knowledge] is an impressive systematic technical effort, which will no doubt become a standard reference." -- Johan van Benthem, Institute for Logic, Language, and Computation, University of Amsterdam, and Philosophy Department, Stanford University "It is a must for any student or scholar who really wants to understand the logic of knowledge and interactive knowledge, and an ideal text for an advanced course." -- Ariel Rubinstein, Department of Economics, Tel Aviv University and Princeton University "This is without a doubt the definitive book on the topic ... [It] is also a joy to read ... Anyone conducting formal work in multi-agent systems without access to this book will do so at their peril." -- Yoav Shoham, Computer Science Department, Stanford University For more information on this title, and other MIT Press books, please consult our _WWW site_ at URL: http://www-mitpress.mit.edu/