Joseph Y. Halpern (halpern-jy)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1992. “From Statistics to Belief.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 602–608. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1994a. “Forming Beliefs about a Changing World.” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 222–229. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1994b. “Generating New Beliefs from Old.” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 37–45. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1996. “From Statistical Knowledge Bases to Degrees of Belief.” Artificial Intelligence 87(1–2): 75–143.
Bacchus, Fahiem, Halpern, Joseph Y. and Levesque, Hector J. 1995. “Reasoning about Noisy Sensors in the Situation Calculus.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1933–1940. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem, Halpern, Joseph Y. and Levesque, Hector J. 1999. “Reasoning about Noisy Sensors and Effectors in the Situation Calculus.” Artificial Intelligence 111(1–2): 171–208.
Brafman, Ronen I., Halpern, Joseph Y. and Shoham, Yoav. 1998. “On the Knowledge Requirements of Tasks.” Artificial Intelligence 98(1–2): 317–349.
Dechter, Rina, Geffner, Héctor and Halpern, Joseph Y., eds. 2010. Heuristics, Probability and Causality. A Tribute to Judea Pearl. Tributes n. 11. London: King’s College Publications.
Dolev, Danny, Halpern, Joseph Y. and Strong, H. R. 1986. “On the Possibility and Impossibility of Achieving Clock Synchronization.” Journal of Computer and System Sciences 32(2): 230–250.
Emerson, Allen E. and Halpern, Joseph Y. 1985a. “Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.” Journal of Computer and System Sciences 30(1): 1–24.
Emerson, Allen E. and Halpern, Joseph Y. 1985b. “ ‘Sometimes’ and ‘Not Never’ Revisited: On Branching Versus Linear Time Temporal Logic.” Journal of the Association for Computing Machinery 33(1): 151–178.
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).
Friedman, Nir and Halpern, Joseph Y. 1994a. “Conditional Logics for Belief Change.” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 915–921. Menlo Park, California: The AAAI Press.
Friedman, Nir and Halpern, Joseph Y. 1994b. “On the Complexity of Conditional Logics.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 202–213. San Francisco, California: Morgan Kaufmann Publishers.
Friedman, Nir and Halpern, Joseph Y. 1994c. “A Knowledge-Based Framework for Belief Change, Part I: Foundations.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 44–64. San Francisco, California: Morgan Kaufmann Publishers.
Friedman, Nir and Halpern, Joseph Y. 1994d. “A Knowledge-Based Framework for Belief Change, Part II: Revision and Update.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 190–201. San Francisco, California: Morgan Kaufmann Publishers.
Friedman, Nir and Halpern, Joseph Y. 1996a. “A Qualitative Markov Assumption and Its Implications for Belief Change.” Unpublished manuscript, Computer Science, Stanford University.
Friedman, Nir and Halpern, Joseph Y. 1996b. “Belief Revision: A Critique.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 421–431. San Francisco, California: Morgan Kaufmann Publishers. Republished as Friedman and Halpern (1999).
Friedman, Nir and Halpern, Joseph Y. 1997. “Modeling Belief in Dynamic Systems, Part I: Foundations.” Artificial Intelligence 95(2): 257–316.
Friedman, Nir and Halpern, Joseph Y. 1998. “Modeling Belief in Dynamic Systems, Part II: Revision and Update.” Unpublished manuscript.
Friedman, Nir and Halpern, Joseph Y. 1999. “Belief Revision: A Critique.” Journal of Logic, Language, and Information 8(4): 401–420.
Grove, Adam J. and Halpern, Joseph Y. 1991. “Naming and Identity in a Multi-Agent Epistemic Logic.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 301–312. San Francisco, California: Morgan Kaufmann Publishers.
Grove, Adam J. and Halpern, Joseph Y. 1995. “On the Expected Value of Games with Absentmindedness.” Unpublished manuscript, NEC.
Grove, Adam J., Halpern, Joseph Y. and Koller, Daphne. 1994. “Random Worlds and Maximum Entropy.” Journal of Artificial Intelligence Research 2: 33–88.
Grove, Adam J., Halpern, Joseph Y. and Koller, Daphne. 1996. “Asymptotic Conditional Probabilities: The Non-Unary Case.” The Journal of Symbolic Logic 61(1): 250–250.
Halpern, Joseph Y. 1983. “A Logic to Reason about Likelihood.” rj 4136 (45774). Yorktown Heights, New York: IBM Research Division.
Halpern, Joseph Y., ed. 1986a. TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Halpern, Joseph Y. 1986b. “Reasoning about Knowledge: An Overview.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 1–17. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Halpern, Joseph Y. 1988. “Reasoning about Knowledge: A Tutorial.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 161. San Francisco, California: Morgan Kaufmann Publishers.
Halpern, Joseph Y. 1990a. “An Analysis of First-Order Logics of Probability.” Artificial Intelligence 46(3): 311–350.
Halpern, Joseph Y. 1990b. “A Note on Knowledge-Based Protocols and Specifications.” rj 8454. San Jose, California: IBM Research Laboratory.
Halpern, Joseph Y. 1991. “The Relationship between Knowledge, Belief, and Certainty.” Annals of Mathematics and Artificial Intelligence 4: 301–322.
Halpern, Joseph Y. 1993a. “Reasoning about Only Knowing with Many Agents.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 655–661. Menlo Park, California: The AAAI Press.
Halpern, Joseph Y. 1993b. “A Critical Reexamination of Default Logic, Autoepistemic Logic, and only Knowing.” in Computational Logic and Proof Theory, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, pp. 43–60. Lecture Notes in Computer Science n. 713. Berlin: Springer. Republished as Halpern (1997b).
Halpern, Joseph Y. 1993c. “Reasoning about Knowledge: A Survey Circa 1991.” in Encyclopedia of Computer Science and Technology, edited by Adrian Kent and J. G. Williams, pp. 665–661. New York: Marcel Dekker. Volume 27 (Supplement 12).
Halpern, Joseph Y. 1995a. “The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.” Artificial Intelligence 75(2): 361–372.
Halpern, Joseph Y. 1995b. “Reasoning about Knowledge: A Survey.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Logics, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 1–34. Oxford: Oxford University Press.
Halpern, Joseph Y. 1996a. “Should Knowledge Entail Belief?” The Journal of Philosophical Logic 25(5): 483–494.
Halpern, Joseph Y. 1996b. “On Ambiguities in the Interpretation of Game Trees.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 77–96. San Francisco, California: Morgan Kaufmann Publishers.
Halpern, Joseph Y. 1996c. “Defining Relative Likelihood in Partially-Ordered Structures.” in UAI-96. Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence, edited by Eric J. Horvitz and F. Jensen, pp. 299–306. San Francisco, California: Morgan Kaufmann Publishers.
Halpern, Joseph Y. 1997a. “A Theory of Knowledge and Ignorance for Many Agents.” Journal of Logic and Computation 7(1): 79–108.
Halpern, Joseph Y. 1997b. “A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.” Computational Intelligence 13(1): 144–163.
Halpern, Joseph Y. 1998a. “Characterizing the Common Prior Assumption.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 133–146. San Francisco, California: Morgan Kaufmann Publishers.
Halpern, Joseph Y. 1998b. “Hypothetical Knowledge and Counterfactual Reasoning.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 83–96. San Francisco, California: Morgan Kaufmann Publishers. Republished as Halpern (1999).
Halpern, Joseph Y. 1998c. “A Logical Approach to Reasoning about Uncertainty: A Tutorial.” in Discourse, Interaction, and Communication: Proceedings of the Fourth International Colloquium on Cognitive Science (ICCS-95), edited by Xabier Arrozola, Kepa Korta, and Francis Jeffry Pelletier, pp. 141–156. Philosophical Studies Series n. 72. Dordrecht: Kluwer Academic Publishers.
Halpern, Joseph Y. 1999. “Hypothetical Knowledge and Counterfactual Reasoning.” International Journal of Game Theory 28: 315–330.
Halpern, Joseph Y. 2000a. “Review of Eells and Skyrms (1994).” The Philosophical Review 109(2): 277–281.
Halpern, Joseph Y. 2000b. “Lexicographic Probability, Conditional Probability, and Nonstandard Probability.” Unpublished manuscript, Department of Computer Science, Colgate University.
Halpern, Joseph Y. 2003. Reasoning about Uncertainty. Cambridge, Massachusetts: The MIT Press.
Halpern, Joseph Y. 2005. “Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems.” in Oxford Studies in Epistemology, volume I, edited by Tamar Szabó Gendler and John Hawthorne, pp. 111–142. Oxford: Oxford University Press, doi:10.1093/oso/9780199285891.001.0001.
Halpern, Joseph Y. 2008a. “Intransitivity and Vagueness.” The Review of Symbolic Logic 1(4): 530–547.
Halpern, Joseph Y. 2008b. “Defaults and Normality in Causal Structures.” in KR2008: Principles of Knowledge Representation: Proceedings of the Eleventh International Conference, edited by Gerhard Brewka and Jérôme Lang, pp. 198–208. Washington, D.C.: Association for the Advancement of Artificial Intelligence (AAAI), https://aaai.org/papers/kr08-020-defaults-and-normality-in-causal-structures/.
Halpern, Joseph Y. 2013. “From Causal Models to Counterfactual Structures.” The Review of Symbolic Logic 6(2): 305–322.
Halpern, Joseph Y. 2015a. “The Role of the Protocol in Anthropic Reasoning.” Ergo 2(9): 195–206.
Halpern, Joseph Y. 2015b. “A Modification of the Halpern-Pearl Definition of Causality.” in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, edited by Quiang Yang and Michael J. Wooldridge, pp. 3022–3033. Menlo Park, California: The AAAI Press, https://www.ijcai.org/Proceedings/15/Papers/427.pdf.
Halpern, Joseph Y. 2016. Actual Causality. Cambridge, Massachusetts: The MIT Press, doi:10.7551/mitpress/10809.001.0001.
Halpern, Joseph Y. 2020. “Axiomatizing Causal Reasoning.” Journal of Artificial Intelligence Research 12(1): 317–337, doi:10.1613/jair.648.
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.
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. and Hitchcock, Christopher R. 2010. “Actual Causation and the Art of Modeling.” in Heuristics, Probability and Causality. A Tribute to Judea Pearl, edited by Rina Dechter, Héctor Geffner, and Joseph Y. Halpern, pp. 383–406. Tributes n. 11. London: King’s College Publications.
Halpern, Joseph Y. and Hitchcock, Christopher R. 2013. “Compact Representations of Extended Causal Models.” Cognitive Science 37(6): 986–1010.
Halpern, Joseph Y. and Hitchcock, Christopher R. 2015. “Graded Causation and Defaults.” The British Journal for the Philosophy of Science 66(2): 413–457, doi:10.1093/bjps/axt050.
Halpern, Joseph Y. and Koller, Daphne. 1995. “Representation Dependence in Probabilistic Inference.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1853–1860. San Francisco, California: Morgan Kaufmann Publishers.
Halpern, Joseph Y. and Lakemeyer, Gerhard. 1995. “Levesque’s Axiomatization of Only Knowing is Incomplete.” Artificial Intelligence 74(2): 381–387.
Halpern, Joseph Y. and Lakemeyer, Gerhard. 1996. “Multi-Agent Only Knowing.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 251–265. San Francisco, California: Morgan Kaufmann Publishers.
Halpern, Joseph Y. and McAllester, David Allen. 1984. “Likelihood, Probability, and Knowledge.” rj 4313. San Jose, California: IBM Research Laboratory.
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. 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.”
Halpern, Joseph Y. and Pearl, Judea. 2001. “Causes and Explanations: A Structural-Model Approach.” in UAI-01. Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, pp. 194–202. San Francisco, California: Morgan Kaufmann Publishers, Inc.
Halpern, Joseph Y. and Pearl, Judea. 2005a. “Causes and Explanations: A Structural-Model Approach. Part I: Causes.” The British Journal for the Philosophy of Science 56(4): 843–887, doi:10.1093/bjps/axi147.
Halpern, Joseph Y. and Pearl, Judea. 2005b. “Causes and Explanations: A Structural-Model Approach. Part II: Explanations.” The British Journal for the Philosophy of Science 56(4): 889–911.
Halpern, Joseph Y. and Rabin, Michael O. 1987. “A Logic to Reason about Likelihood.” Artificial Intelligence 32(3): 379–405.
Halpern, Joseph Y. and Reif, John H. 1983. “The Propositional Logic of Deterministic, Well-Structured Programs.” Theoretical Computer Science 27: 127–165.
Halpern, Joseph Y., Samet, Dov and Segev, Ella. 2009. “Defining Knowledge in Terms of Belief: The Modal Logic Perspective.” The Review of Symbolic Logic 2(3): 469–487.
Halpern, Joseph Y. and Shoham, Yoav. 1984. “A Propositional Modal Interval Logic.” Unpublished manuscript, IBM Almaden Research Center.
Halpern, Joseph Y. and Shore, Richard A. 1999. “Reasoning about Common Knowledge with Infinitely Many Agents.” in IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.
Halpern, Joseph Y. and Tuttle, Mark S. 1993. “Knowledge, Probability and Adversaries.” Journal of the Association for Computing Machinery 40(4): 917–962.
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).
Halpern, Joseph Y. and Zuck, L. D. 1992. “A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.” Journal of the Association for Computing Machinery 39(3): 449–478.
Koller, Daphne and Halpern, Joseph Y. 1992. “A Logic for Approximate Reasoning.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 153–164. San Francisco, California: Morgan Kaufmann Publishers.
Koller, Daphne and Halpern, Joseph Y. 1996. “Irrelevance and Conditioning in First-Order Probabilistic Logic.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 569–576. Menlo Park, California: The AAAI Press.
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.

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.
Apt, Krzysztof R., ed. 1985. Logics and Models of Concurrent Systems. Berlin: Springer.
Eells, Ellery and Skyrms, Brian, eds. 1994. Probability and Conditionals: Belief Revision and Rational Decision. Cambridge: Cambridge University Press.
Hendricks, Vincent F., Jørgensen, Klaus Frovin and Pedersen, Stig Andur, eds. 2003. Knowledge Contributors. Synthese Library n. 322. Dordrecht: Kluwer Academic Publishers.
Thomason, Richmond H., ed. 1989. Philosophical Logic and Artificial Intelligence. Dordrecht: Kluwer Academic Publishers.