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

Moshe Y. Vardi (vardi)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Batsell, Randy, Brenner, Lyle, Osherson, Daniel N., Vardi, Moshe Y. and Tsavachidis, Spyros. 2002. Eliminating Incoherence from Subjective Estimates of Chance.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 353–364. San Francisco, California: Morgan Kaufmann Publishers.
    Calvanese, Diego, de Giacomo, Giuseppe, Lenzerini, Maurizio and Vardi, Moshe Y. 2000. Containment of Conjunctive Regular Path Queries with Inverse.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 176–185. San Francisco, California: Morgan Kaufmann Publishers.
    Calvanese, Diego, de Giacomo, Giuseppe and Vardi, Moshe Y. 2002. Reasoning about Action and Planning in LTL Action Theories.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 593–602. 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, Geanakoplos, John, Halpern, Joseph Y. and Vardi, Moshe Y. 1992. The Expressive Power of the Hierarchical Approach to Modeling Knowledge and Common Knowledge.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 229–244. San Francisco, California: Morgan Kaufmann Publishers.
    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.
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1984a. A Model-Theoretic Analysis of Knowledge: Preliminary Report.” San Jose, California: IBM Research Laboratory. Republished as Fagin, Halpern and Vardi (1984b).
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1984b. A Model-Theoretic Analysis of Knowledge.”
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1990. A Nonstandard Approach to the Logical Omniscience Problem.” in TARK 1990. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference, edited by Rohit Parikh, pp. 41–55. San Francisco, California: Morgan Kaufmann Publishers.
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1991. A Model-Theoretic Analysis of Knowledge.” Journal of the Association for Computing Machinery 38(2): 382–428.
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1992a. What is an Inference Rule? The Journal of Symbolic Logic 57(3): 1018–1045.
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1992b. What Can Machines Know? On the Properties of Knowledge in Distributed Systems. Journal of the Association for Computing Machinery 39(2): 328–376.
    Fagin, Ronald, Halpern, Joseph Y. and Vardi, Moshe Y. 1995. A Nonstandard Approach to the Logical Omniscience Problem.” Artificial Intelligence 79(2): 203–240. Republication of Fagin, Halpern and Vardi (1990).
    Fagin, Ronald, Ullman, Jeffrey D. and Vardi, Moshe Y. 1983. On the Semantics of Updates in Databases.” Journal of the Association for Computing Machinery 30: 352–365.
    Fagin, Ronald and Vardi, Moshe Y. 1985. An Internal Semantics for Modal Logic: Preliminary Report.” in Proceedings of the 17th ACM SIGACT Symposion on the Theory of Computing, pp. 305–315. New York: The ACM Press.
    Fagin, Ronald and Vardi, Moshe Y. 1986. Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 187–206. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
    Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde and Weinstein, Scott. 2007. Finite Model Theory and Its Applications. Cham: Springer.
    Halpern, Joseph Y., Harper, Robert A., Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y. and Vianu, Victor. 2001. On the Unusual Effectiveness of Logic in Computer Science.” The Bulletin of Symbolic Logic 7(2): 213–236.
    Halpern, Joseph Y., Meyden, Ron van der and Vardi, Moshe Y. 1997. Complete axiomatisations for reasoning about knowledge and time.” Unpublished manuscript.
    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. and Vardi, Moshe Y. 1986. The Complexity of Reasoning about Knowledge and Time.” in Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing, pp. 304–315. New York: The ACM Press.
    Halpern, Joseph Y. and Vardi, Moshe Y. 1989. The Complexity of Reasoning about Knowledge and Time I: Lower Bounds.” Journal of Computer and System Sciences 38(1): 195–237.
    Halpern, Joseph Y. and Vardi, Moshe Y. 1991. Model Checking Versus Theorem Proving: A Manifesto.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 151–176. New York: Academic Press. Reprinted in Allen, Fikes and Sandewall (1991, 325–334).
    Kupferman, Orna and Vardi, Moshe Y. 2000. m-calculus Synthesis.” Unpublished manuscript.
    Vardi, Moshe Y. 1985. A Model-Theoretic Analysis of Monotonic Knowledge.” in IJCAI-85. Proceedings of the 9th International Joint Conference on Artificial Intelligence, edited by Arivind K. Joshi, pp. 509–512. San Francisco, California: Morgan Kaufmann Publishers.
    Vardi, Moshe Y. 1986. On Epistemic Logic and Logical Omniscience.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 293–305. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
    Vardi, Moshe Y., ed. 1988. TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference. San Francisco, California: Morgan Kaufmann Publishers.
    Vardi, Moshe Y. 1989. On the Complexity of Epistemic Reasoning.” in IEEE Proceedings of the Fourth IEEE Symposium on Logic in Computer Science, pp. 243–252. New York: IEEE Computer Science Press.
    Vardi, Moshe Y. 1996. Implementing Knowledge-Based Programs.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 15–30. San Francisco, California: Morgan Kaufmann Publishers.
    Vardi, Moshe Y. 1998. Computational Model Theory: An Overview.” Unpublished manuscript.
    Wolper, Pierre, Vardi, Moshe Y. and Sistla, A. P. 1983. Reasoning about Infinite Computation Paths.” in IEEE Twenty-Fourth IEEE Symposium on Foundations of Computer Science, pp. 185–194. New York: IEEE Computer Science Press.

Further References

    Allen, James F., Fikes, Richard E. and Sandewall, Erik, eds. 1991. KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
    Hendricks, Vincent F., Jørgensen, Klaus Frovin and Pedersen, Stig Andur, eds. 2003. Knowledge Contributors. Synthese Library n. 322. Dordrecht: Kluwer Academic Publishers.