B. Articles in Books

1. Towards a theory of knowledge and ignorance, in Logics and Models of Concurrent Systems (ed. K. Apt), Springer-Verlag, 1985, pp. 459-476 (with Y. Moses).

2. Using reasoning about knowledge to analyze distributed systems, in Annual Reviews of Computer Science, Vol. 2 (ed. J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. Nilsson), Annual Reviews Inc., 1987, pp. 37-68.

3. I'm OK if you're OK: On the notion of trusting communication, in Philosophical Logic and Artificial Intelligence (ed. R. H. Thomason), Kluwer, 1989, pp. 9-34 (with R. Fagin). (This is a reprint of journal article 17 below.)

4. Model checking vs. theorem proving: a manifesto, in Artificial Intelligence and Mathematical Theory of Comptutation (Papers in Honor of John McCarthy) (ed. V. Lifschitz), Academic Press, 1991, pp. 151-176 (with M. Y. Vardi).

5. A new approach to updating beliefs, in Uncertainty in Artificial Intelligence 6 (eds. P. P. Bonissone, M. Henrion, L. N. Kanal, and J. F. Lemmer), 1991, pp. 347-374 (with R. Fagin).

6. Reasoning about knowledge: a survey circa 1991, appears in both Encyclopedia of Computer Science and Technology, Vol. 27, Supplement 12 (ed. A. Kent and J. G. Williams), Marcel Dekker, 1993, pp. 275-296 and Encyclopedia of Microcomputers, Vol. 14 (ed. A. Kent and J. G. Williams), Marcel Dekker, 1994, pp. 287-308.

7. Reasoning about knowledge: a survey, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, D. Gabbay, C. J. Hogger, and J. A. Robinson, eds., Oxford University Press, 1995, pp. 1-34. (This is a revised and updated version of ``Reasoning about knowledge: a survey circa 1991'', listed above.)

8. A logical approach to reasoning about uncertainty: a tutorial, Discourse, Interaction, and Communication, X. Arrazola, K. Korta, and F. J. Pelletier, eds., Kluwer, 1998, pp. 141-155.

9. Common knowledge revisited, In Knowledge Contributors (V.F. Henricks, K.F. Jorgensen, and S.A. Pedersen, eds.), Kluwer, 2003, pp. 87--104. (with R. Fagin, Y. Moses, and M. Y. Vardi). (This is a reprint of journal article 64.)

10. Sleeping Beauty reconsidered: Conditioning and reflection in asynchronous systems, in Oxford Studies in Epistemology, Vol. 1 (T. S. Gendler and J. Hawthorne, eds.), Oxford University Press, 2005, pp. 111-142.

11. A decision-theoretic approach to resource allocation in wireless multimedia networks, in Resource Allocation in Next Generation Wireless Networks (W. Li and Y. Pan, eds.), Nova Science Publishers, 2005, pp. 1-23 (with Z. Haas, L. Li, and S. B. Wicker).

12. Minimum-energy topology-control algorithms in ad hoc networks, in Handbook of Theoretical and Algorithmic Aspects of Ad Hoc, Sensor, and Peer-to-Peer Networks, (J. Wu, editor), Auerbach Publications, 2006, pp. 115-132 (with L. Li).

13. Computer science and game theory: A brief survey, in Palgrave Dictionary of Economics (S. N. Durlauf and L.E. Blume, eds.), Palgrave MacMillan, 2008..

14. Joseph Y. Halpern, in Epistemology: 5 Questions (ed. V. F Hendricks and D. Pritchard), Automatic Press/VIP, 2008, pp. 155-166.