B. Articles in Books
Next: C. Papers in Journals
Previous: A. Books
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).
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.
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.)
- Model checking vs. theorem proving: a manifesto, in
Artificial Intelligence and Mathematical Theory of
Computation (Papers in Honor of John McCarthy) (ed. V.
Lifschitz), Academic Press, 1991, pp.
151-176 (with M. Y. Vardi).
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).
Reasoning about knowledge: a survey circa 1991, appears in both
Encyclopedia of Computer Science and Technology, Vol. 27,
(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.
- 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.)
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.
- Common knowledge revisited,
In Knowledge Contributors
(V.F. Hendricks, 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.)
- 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,
- 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).
- 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).
- Software quality and infrastructure protection for
diffuse computing, in Department of Defense Sponsored Information
Security Research: New Methods for Protecting Against Cyber Threats
(C. Wang, S. King, et al., eds.), Wiley, 2007
(with J. Feigenbaum, P.D. Lincoln, J.C. Mitchell, A. Scedrov, J.M.
Smith, and P. Syverson).
- Computer science and game theory: A
brief survey, in
Palgrave Dictionary of Economics
(S. N. Durlauf and L.E. Blume, eds.), Palgrave MacMillan, 2008..
- Joseph Y. Halpern, in
Epistemology: 5 Questions (ed. V. F
Hendricks and D. Pritchard), Automatic Press/VIP, 2008, pp. 155-166.
- Actual causation and the
art of modeling, in
Heuristics, Probability and Causality: A Tribute to Judea Pearl
(editors, R. Dechter, H. Geffner, and J. Y. Halpern), College
Publications, 2010, pp. 383-406 (with C. Hitchcock).
- Beyond Nash equilibrium:
Solution concepts for the 21st century,
Lectures in Game Theory for Computer Scientists (K. R. Apt and
E. Gr\"adel, editors), Cambridge University Press, 2011, pp. 264--289.
- That's all I know: A logical characterization of iterated
Knowing, Reasoning, and Acting: Essays in Honour of Hector
J. Levesque (G. Lakemeyer and S. A. McIlraith, editors), College
Publications, 2011 (with R. Pass).
- An introduction to logics
of knowledge and belief, in
Handbook of Epistemic Logic (H. van
Ditmarsch, J. Y. Halpern, W. van der Hoek, and
B. Kooi, editors), College Publications, 2015, pp. 1--51 (with
H. van Ditmarsch, W. van der Hoek, and B. Kooi).
Last updated, February, 2015