Distributed Computing
The knower's paradox and representational theories of attitudes
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Knowledge and common knowledge in a Byzantine environment I: crash failures
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Knowledge and the problem of logical omniscience
Proceedings of the Second International Symposium on Methodologies for intelligent systems
The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
On the complexity of epistemic reasoning
Proceedings of the Fourth Annual Symposium on Logic in computer science
Knowledge, Representation, and Rational Self-Government
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Doxastic Paradoxes without Self-Reference
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
A Knowledge Theoretic Account of Recovery in Distributed Systems: The Case of Negotiated Commitment
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Three Views of Common Knowledge
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Authentication: A Practical Study in Belief and Action
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Logics of Knowledge, Games and Dynamic Logic
Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Some complexity questions related to distributive computing(Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGE
PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGE
Hi-index | 0.00 |
It is by now common knowledge that the recent period of intense activity in reasoning about knowledge begins with two books, both by philosophers: Knowledge and Belief by Hintikka [Hi], and Convention by David Lewis [Lew]. Since then there has been much talk about muddy children and non-coperating generals, but the field has actually grown to be quite wide and interesting and we will try and give an overview of some of the work that has been done and some of the issues that are still of concern.