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).
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.