From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Using Counterfactuals in Knowledge-Based Programming., и . TARK, стр. 97-110. Morgan Kaufmann, (1998)The hierarchical approach to modeling knowledge and common knowledge., , , и . Int. J. Game Theory, 28 (3): 331-365 (1999)On the Complexity of Conditional Logics, и . In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), стр. 202--213. Morgan Kaufmann, (1994)A New Look at Fault Tolerant Network Routing, , , и . STOC, стр. 526-535. ACM, (1984)Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version)., , и . PODC, стр. 215-223. ACM, (1985)A Characterization of Eventual Byzantine Agreement., , и . PODC, стр. 333-346. ACM, (1990)Knowledge-Based Programs., , , и . PODC, стр. 153-163. ACM, (1995)Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)The Semantics of Local Storage, or What Makes the Free-List Free?, , и . POPL, стр. 245-257. ACM Press, (1984)A Good Hoare Axiom System for an Algol-like Language.. POPL, стр. 262-271. ACM Press, (1984)