Ronald Fagin (fagin)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Beeri, C., Dowd, M., Fagin, Ronald and Statman, Richard. 1984. “On the Structure of Armstrong Relations for Functional Dependencies.” Journal of the Association for Computing Machinery 31(1): 30–46.
Fagin, Ronald. 1982. “Horn Clauses and Database Dependencies.” Journal of the Association for Computing Machinery 4: 952–985.
Fagin, Ronald, ed. 1994a. TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference. San Francisco, California: Morgan Kaufmann Publishers.
Fagin, Ronald. 1994b. “A Quantitative Analysis of Modal Logic.” The Journal of Symbolic Logic 59: 209–252.
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 and Halpern, Joseph Y. 1985. “Belief, Awareness, and Limited Reasoning: Preliminary Report.” in IJCAI-85. Proceedings of the 9th International Joint Conference on Artificial Intelligence, edited by Arivind K. Joshi, pp. 491–501. San Francisco, California: Morgan Kaufmann Publishers.
Fagin, Ronald and Halpern, Joseph Y. 1987. “Belief, Awareness, and Limited Reasoning.” Artificial Intelligence 34(1): 39–76.
Fagin, Ronald and Halpern, Joseph Y. 1988a. “A Logic for Reasoning about Probability.” rj 6190. San Jose, California: IBM Research Laboratory.
Fagin, Ronald and Halpern, Joseph Y. 1988b. “I’m OK if You’re OK: On the Notion of Trusting Communication.” The Journal of Philosophical Logic 17(4): 329–354. Republished in Thomason (1989, 9–34).
Fagin, Ronald and Halpern, Joseph Y. 1988c. “Reasoning about Knowledge and Probability.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 277–293. San Francisco, California: Morgan Kaufmann Publishers. Republished as Fagin and Halpern (1989).
Fagin, Ronald and Halpern, Joseph Y. 1989. “Reasoning about Knowledge and Probability.” Journal of the Association for Computing Machinery 41(2): 340–367.
Fagin, Ronald and Halpern, Joseph Y. 1991. “Uncertainty, Belief and Probability.” Computational Intelligence 9: 160–173.
Fagin, Ronald and Halpern, Joseph Y. 1992. “Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.” Artificial Intelligence 54(3): 275–317.
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, Naor, Nomi and Winkler, Peter M. 1996. “Comparing Information Without Leaking It.” Communications of the Association for Computing Machinery 39: 78–85.
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.
Halpern, Joseph Y. and Fagin, Ronald. 1989. “Modelling Knowledge and Action in Distributed Systems.” Distributed Computing 3(4): 159–179.
Halpern, Joseph Y. and Fagin, Ronald. 1990. “Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 112–119. Menlo Park, California: The AAAI Press.