2. TARK 1988: Pacific Grove, California, USA

@proceedings{DBLP:conf/tark/1988,
  editor    = {Moshe Y. Vardi},
  title     = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1988},
  booktitle = {TARK},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-66-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Martin Tompa: Zero Knowledge Interactive Proofs of Knowledge (A Digest). 1-12
• Ronald L. Rivest, Robert H. Sloan: A New Model for Inductive Inference. 13-28
• Robert Charles Koons: Doxastic Paradoxes without Self-Reference. 29-41
• Haim Gaifman: Operational Pointer Semantics: Solution to Self-Referential Puzzles I. 43-59
• Nicholas Asher: Reasoning about Belief and Knowledge with Self-Reference and Time. 61-81
• Peter Gärdenfors, David Makinson: Revisions of Knowledge Systems Using Epistemic Entrenchment. 83-95
• Raymond Reiter: On Integrity Constraints. 97-111
• Fangzhen Lin: Circumscription in a Modal Logic. 113-127
• Eric Werner: Toward a Theory of Communication and Cooperation for Multiagent Planning. 129-143
• Gerhard Lakemeyer, Hector J. Levesque: A Tractable Knowledge Representation Service with Full Introspection. 145-159
• Joseph Y. Halpern: Reasoning About Knowledge: A Tutorial. 161
• Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang: A Guide to Knowledge and Games. 163-177
• Roger B. Myerson: Incentive Constraints and Optimal Communication Systems. 179-193
• Andrew F. Daughety, Robert Forsythe: Complete Information Outcomes without Common Knowledge. 195-209
• Larry Samuelson: Evolutionary Foundations of Solution Concepts for Finite, Two-Player, Normal-Form Games. 211-225
• Itzhak Gilboa: Information and Meta Information. 227-243
• Haim Shvaytser: Representing Knowledge in Learning Systems by Pseudo Boolean Functions. 245-259
• Yoram Moses: Resource-bounded Knowledge. 261-275
• Ronald Fagin, Joseph Y. Halpern: Reasoning about Knowledge and Probability. 277-293
• Gil Neiger: Knowledge Consistency: A Useful Suspension of Disbelief. 295-308
• Murray S. Mazer: A Knowledge Theoretic Account of Recovery in Distributed Systems: The Case of Negotiated Commitment. 309-323
• Michael Burrows, Martín Abadi, Roger M. Needham: Authentication: A Practical Study in Belief and Action. 325-342
• Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore: Panel: Locality vs. Rationality. 343
• Jon Doyle: Knowledge, Representation, and Rational Self-Government. 345-354
• Ronald Prescott Loui: The Curse of Frege. 355-359
• Hector J. Levesque: Comments on "Knowledge, Representation, and Rational Self-Government". 361-362
• Robert C. Moore: Is It Rational to be Logical? 363
• Jon Barwise: Three Views of Common Knowledge. 365-379
• Cristina Bicchieri: Common Knowledge and Backward Induction: A Solution to the Paradox. 381-393
• Philip J. Reny: Extensive Games and Common Knowledge. 395
• Itzhak Gilboa, David Schmeidler: Information-Dependent Games: Can Common Sense Be Common Knowledge? 397-400