A knowledge-based analysis of zero knowledge
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The knowledge complexity of interactive proof systems
SIAM Journal on Computing
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
Reasoning about Knowledge and Probability
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Modelling Knowledge and Action in Distributed Systems
Concurrency '88 Proceedings of the International Conference on Concurrency
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Infinite games: randomization, computability, and applications to online problems
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Agreeing to disagree after all
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
On ambiguities in the interpretation of game trees
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Hi-index | 0.00 |