Substituting for real time and common knowledge in asynchronous distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A modal characterization of Nash equilibrium
Fundamenta Informaticae
Recent issues in reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Topological reasoning and the logic of knowledge: preliminary report
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Knowledge and implicit knowledge in a distributed environment: preliminary report
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Logics of communication and change
Information and Computation
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
| Hi-index | 0.00 |