1. J. Y. Halpern, Y. Moses, and O. Waarts. A characterization of eventual Byzantine agreement. SIAM JOURNAL ON COMPUTING, 31(3):838--865, 2002.
   Keywords: multiagent coordination, honours reading, modal logic. [bibtex-entry]



2. Juan A. Garay and Yoram Moses:. Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds.. SIAM J. Comput, 27(1):247--290, 1998.
   Keywords: algorithms, computational complexity, honours reading. [bibtex-entry]



3. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199--225, 1997.
   Note: Publisher: Springer-Verlag, Germany.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [abstract] [bibtex-entry]



4. Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319--379, 1992.
   Keywords: computational complexity, model theory, modal logic, honours reading. [abstract] [bibtex-entry]



5. J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM), 37(3):549--587, 1990.
   Keywords: epistemic logic, agent programming languages, model theory, honours reading. [bibtex-entry]

1. Tal Mizrahi and Yoram Moses. Coninuous consensus via common knowledge. In Tenth conference on Theoretical Aspects of Rationality and Knowledge (TARK X), National University of Singapore, 2005. ACM Digital Library.
   Keywords: epistemic logic, agent programming languages, honours reading, modal logic. [abstract] [bibtex-entry]



2. J. Y. Halpern, Y. Moses, and M. Y. Vardi. Algorithmic knowledge. In Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)., pages 255--66, 1994. Morgan Kaufmann Publishers.
   Note: Fagin R San Francisco, CA, USA. Proceedings of Fifth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK V). Pacific Grove, CA, USA. 13-16 March 1994.
   Keywords: agents, honours reading, epistemic logic, model theory. [abstract] [bibtex-entry]



3. Yoram Moses and Orit Kislev. Knowledge-oriented programming. In Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, Ithaca, New York, United States, pages 261--270, 1993.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.