A knowledge-based analysis of zero knowledge
Joseph Halpern , Yjoram Moses , Mark Tuttle
symposium on the theory of computing 132 -147
44
1988
Distributed computing : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings
Yoram Ofer Moses
Springer
2015
Knowledge in a distributed environment
Yoram Ofer Moses
Stanford University 0116 -0116
29
1986
On formal aspects of artificial social systems
Yoram Ofer Moses , Moshe Tennenholtz
Weizmann Institute of Science, Department of Computer Science
19
1991
Reasoning about knowledge MIT Press
Ronald Fagin , JY Halpern , Y Moses , MY Vardi
Cambridge, MA, London, England
6,259
1995
Reasoning about knowledge
Ronald Fagin , J Halpern , Y Moses , M Vardi
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge: March 7-9, 1988, Pacific Grove, California 277 -277
6
1988
Manco, G., Pizzuti, C. and Talia, D. Eureka!: an interactive and
S Kimani , S Lodi , T Catarci , G Santucci
hogramme Committee. J. Barwise (Stanford University)
P van Emde Boas , H Kamp , K Konolige , Y Moses
Theoretical Computer Science 51 249 -250
1987
A guide to the modal logics of knowledge and belief: Preliminary draft
Joseph Y Halpern , Y Moses
contract 39 ( 82-C) 0250 -0250
251
1985
Reasoning about Knowledge, 1995
R Fagin , JY Halpern , Y Moses , M Vardi
To appear
10
Proceedings of the ninth international joint conference on artificial intelligence, Los Angeles
J Halpern , Y Moses
9
1985
Cooperation in uncertain territory using a multi-entity model
Y Moses , M Tennenholtz
Artificial Intelligence and Computer Vision. Elsevier Science
5
1991
RFC 7758: Time Capability in NETCONF
T Mizrahi , Y Moses
RFC Editor
2016
Moshe Y. Vardi IBM Research Almaden Research Center K53-802 650 Harry Rd. San Jose, CA 95120-6099
J Barwise , P van Emde Boas , H Kamp , K Konolige
Computational Linguistics 13 ( 3-4) 365 -365
1987
Toueg, S. Tsigas, P. Welch, J. Zaks, S.
Y Afek , H Attiya , A Bar Noy , L Bouge
Distributed Algorithms: 6th International Workshop, WDAG'92, Haifa, Israel, November 2-4, 1992. Proceedings 647 379 -379
1992
Practical Manual for the culture of the African Catfish (Clarias gariepinus).
BA Shinkafi , BD Ilesanmi , AJ Abayomi , MA Adewolu
Asian Journal of Animal Sciences 8 ( 2) 383 -388
2010
Undergraduate education in the mathematical and physical sciences: Interim report of the Joint Subcommittee of the NSF Education and Human Resources and Mathematical and Physical Sciences Advisory Committees
J Pemberton , R Devaney , R Hilborn , Y Moses
Washington DC: National Science Foundation. Retrieved June 26 2010 -2010
5
2004
An Introduction to Wavelets.
Eimad Eldin Abdu Abusham , Housam Khalifa Bashier , Fatimah Khalid , Shohel Sayeed
Trends in Applied Sciences Research 7 ( 8) 721 -732
1997
Arbib, AM Book Review of The Cognitive Structure of Emotions (A. Ortony, GL Clore and A. Collins) Cadoli, M., T. Eiter and G. Gottlob An efficient method for eliminating varying predicates from
C Freksa , JY Halpern , R Fagin , Y Moses
Artificial Intelligence 54 ( 417) 417 -417
1992
Towards a theory of knowledge and ignorance
JY Halpem , YO Moses
Proc. Workshop on Non-Monotonic Reasoning, AAAI 125 -143
7
1984