A model for knowledge and its properties; completeness and complexity - results and techniques; knowledge in distributed systems; actions and protocols; common knowledge, co-ordination and agreement; evolving knowledge; dealing with logical omniscience; knowledge and computation; common knowledge revisited.
Ronald Fagin is Manager of the Foundations of Computer Science
Group, Computer Science Department, IBM Almaden Research
Center.
Joseph Y. Halpern is Professor of Computer Science at Cornell
University. He is the author of Actual Causality and the coauthor
of Reasoning about Knowledge, both published by the MIT Press.
Yoram Moses is Associate Professor in the Electrical Engineering
Department at Technion-Israel Institute of Technology.
It is easy to foresee that this book will become a classic.
*Fabrizio Sebastiani, The Computer Journal*
Ask a Question About this Product More... |