Yoram Moses
Yoram Moses
Vahvistettu sähköpostiosoite verkkotunnuksessa ee.technion.ac.il
Nimike
Viittaukset
Viittaukset
Vuosi
Reasoning about knowledge
R Fagin, Y Moses, JY Halpern, MY Vardi
MIT press, 2003
53012003
Knowledge and common knowledge in a distributed environment
JY Halpern, Y Moses
Journal of the ACM (JACM) 37 (3), 549-587, 1990
15221990
A guide to completeness and complexity for modal logics of knowledge and belief
JY Halpern, Y Moses
Artificial intelligence 54 (3), 319-379, 1992
11131992
A guide to the modal logics of knowledge and belief: Preliminary draft
JY Halpern, Y Moses
contract 39 (82-C), 0250, 1985
4671985
Knowledge and common knowledge in a Byzantine environment: crash failures
C Dwork, Y Moses
Information and Computation 88 (2), 156-186, 1990
3031990
Towards a theory of knowledge and ignorance: Preliminary report
JY Halpern, Y Moses
Logics and models of concurrent systems, 459-476, 1985
2821985
Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds
JA Garay, Y Moses
SIAM Journal on Computing 27 (1), 247-290, 1998
215*1998
Programming simultaneous actions using common knowledge
Y Moses, MR Tuttle
Algorithmica 3 (1-4), 121-169, 1988
2051988
Artificial social systems
Y Moses, M Tennenholtz
Computers and Artificial Intelligence 14, 533-562, 1995
1971995
Knowledge-based programs
R Fagin, JY Halpern, Y Moses, MY Vardi
Distributed Computing 10 (4), 199-225, 1997
1601997
A layered analysis of consensus
Y Moses, S Rajsbaum
SIAM Journal on Computing 31 (4), 989-1021, 2002
1042002
Cheating husbands and other stories: a case study of knowledge, action, and communication
Y Moses, D Dolev, JY Halpern
Distributed computing 1 (3), 167-176, 1986
1011986
Coordinated consensus in dynamic networks
F Kuhn, Y Moses, R Oshman
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011
982011
Algorithmic knowledge
JY Halpern, Y Moses, MY Vardi
Theoretical Aspects of Reasoning about Knowledge, 255-266, 1994
891994
Resource-bounded knowledge
Y Moses
Proceedings of the 2nd conference on theoretical aspects of reasoning about …, 1988
851988
TimeFlip: Scheduling network updates with timestamp-based TCAM ranges
T Mizrahi, O Rottenstreich, Y Moses
2015 IEEE Conference on Computer Communications (INFOCOM), 2551-2559, 2015
802015
Belief as defeasible knowledge
Y Moses, Y Shoham
Artificial intelligence 64 (2), 299-321, 1993
781993
Knowledge and the logic of local propositions
K Engelhardt, R Van Der Meyden, Y Moses
Proceedings of the 7th conference on Theoretical aspects of rationality and …, 1998
741998
A characterization of eventual Byzantine agreement
JY Halpern, Y Moses, O Waarts
Proceedings of the ninth annual ACM symposium on Principles of distributed …, 1990
70*1990
Common knowledge revisited
R Fagin, JY Halpern, Y Moses, MY Vardi
Annals of Pure and Applied Logic 96 (1-3), 89-105, 1999
661999
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20