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