Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/moses-y

Yoram Moses (moses-y)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    Dwork, Cynthia and Moses, Yoram. 1986. Knowledge and Common Knowledge in a Byzantine Environment.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 149–169. San Francisco, California: Morgan Kaufmann Publishers. Republished as Dwork and Moses (1990), http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
    Dwork, Cynthia and Moses, Yoram. 1990. Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures.” Information and Computation 88(2): 156–186.
    Engelhardt, Kai, Meyden, Ron van der and Moses, Yoram. 1998. Knowledge and the Logic of Distributed Propositions.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 29–41. San Francisco, California: Morgan Kaufmann Publishers.
    Fagin, Ronald, Geanakoplos, John, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1999. The Hierarchical Approach to Modeling Knowledge and Common Knowledge.” International Journal of Game Theory 28: 331–365.
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1994. Knowledge-Based Programming.” rj 9711. San Jose, California: IBM Research Laboratory.
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1995. Reasoning about Knowledge. Cambridge, Massachusetts: The MIT Press.
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1996a. Common Knowledge Revisited.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 283–258. San Francisco, California: Morgan Kaufmann Publishers. Republished as Fagin, Halpern, et al. (1999) and reprinted in Hendricks, Jørgensen and Pedersen (2003, 87–102).
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1996b. Common Knowledge: Now You Have it, Now You Don’t.”
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1997a. Knowledge-Based Programs.” Distributed Computing 10: 199–225.
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1997b. Reasoning about Knowledge: A Response by the Authors.” Minds and Machines 7.
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1999. Common Knowledge Revisited.” Annals of Pure and Applied Logic 96: 89–105.
    Halpern, Joseph Y. and Moses, Yoram. 1984. Towards a Theory of Knowledge and Ignorance.” in AAAI-84. Proceedings of the AAAI Workshop on Non-Monotonic Logic, pp. 125–143. Menlo Park, California: The AAAI Press. reprinted in Apt (1985, 459–476).
    Halpern, Joseph Y. and Moses, Yoram. 1985. A Guide to the Modal Logic of Knowledge and Belief.” rj 4753. San Jose, California: IBM Research Laboratory.
    Halpern, Joseph Y. and Moses, Yoram. 1989. Taken by Surprise: The Paradox of the Surprise Test Revisited.” The Journal of Philosophical Logic 18(3): 281–304.
    Halpern, Joseph Y. and Moses, Yoram. 1990. Knowledge and Common Knowledge in a Distributed Environment.” Journal of the Association for Computing Machinery 37(3): 549–587.
    Halpern, Joseph Y. and Moses, Yoram. 1992. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.” Artificial Intelligence 54(3): 319–379.
    Halpern, Joseph Y. and Moses, Yoram. 1998. Using Counterfactuals in Knowledge-Based Programming.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 97–110. San Francisco, California: Morgan Kaufmann Publishers.
    Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1994. Algorithmic Knowledge.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 255–266. San Francisco, California: Morgan Kaufmann Publishers.
    Halpern, Joseph Y., Moses, Yoram and Waarts, O. 1990. A Characterization of Eventual Byzantine Agreement.”
    Moses, Yoram. 1988. Resource-Bounded Knowledge.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 261–276. San Francisco, California: Morgan Kaufmann Publishers.
    Moses, Yoram, ed. 1992a. TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference. San Francisco, California: Morgan Kaufmann Publishers.
    Moses, Yoram. 1992b. Knowledge and Communication.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 1–14. San Francisco, California: Morgan Kaufmann Publishers.
    Moses, Yoram and Bloom, B. 1994. Knowledge, Timed Precedence and Clocks.”
    Moses, Yoram, Dolev, Danny and Halpern, Joseph Y. 1986. Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication.” Distributed Computing 1(3): 167–176.
    Moses, Yoram and Kislev, O. 1993. Knowledge-Oriented Programming.”
    Moses, Yoram and Nachum, G. 1990. Agreeing to Disagree After All.” in TARK 1990. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference, edited by Rohit Parikh, pp. 151–168. San Francisco, California: Morgan Kaufmann Publishers.
    Moses, Yoram and Roth, Gerhard. 1989. On Reliable Message Diffusion.” in Proceedings of the Eighth ACM Symposium on Principles of Distributed Computing, pp. 119–128. New York: The ACM Press.
    Moses, Yoram and Shoham, Yoav. 1993. Belief as Defeasible Knowledge.” Artificial Intelligence 64(2): 299–321.
    Moses, Yoram and Tennenholtz, Moshe. 1996. Off-Line Reasoning for On-Line Efficiency: Knowledge Bases.” Artificial Intelligence 83(2): 229–239.
    Moses, Yoram and Tuttle, Mark S. 1988. Programming Simultaneous Actions Using Common Knowledge.” Algorithmica 3: 121–169.

Further References

    Apt, Krzysztof R., ed. 1985. Logics and Models of Concurrent Systems. Berlin: Springer.
    Hendricks, Vincent F., Jørgensen, Klaus Frovin and Pedersen, Stig Andur, eds. 2003. Knowledge Contributors. Synthese Library n. 322. Dordrecht: Kluwer Academic Publishers.