1. TARK 1986: Monterey, California, USA

@proceedings{DBLP:conf/tark/1986,
  editor    = {Joseph Y. Halpern},
  title     = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  booktitle = {TARK},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-04-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Joseph Y. Halpern: Reasoning About Knowledge: An Overview. 1-17 BibTeX
• Brian Cantwell Smith: Varieties of Self-Reference. 19-43 BibTeX
• Fred Landman: Pegs and Alecs. 45-61 BibTeX
• Jaakko Hintikka: Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. 63-80 BibTeX
• Robert C. Moore: Reasoning About Knowledge in Artificial Intelligence. 81 BibTeX
• Stanley J. Rosenschein, Leslie Pack Kaelbling: The Synthesis of Digital Machines With Provable Epistemic Properties. 83-98 BibTeX
• Leora Morgenstern: A First Order Theory of Planning, Knowledge, and Action. 99-114 BibTeX
• Jim des Rivières, Hector J. Levesque: The Consistency of Syntactical Treatments of Knowledge. 115-130 BibTeX
• Nicholas Asher, Johan A. W. Kamp: The Knower's Paradox and Representational Theories of Attitudes. 131-147 BibTeX
• Cynthia Dwork, Yoram Moses: Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. 149-169 BibTeX
• Michael J. Fischer, Neil Immerman: Foundations of Knowledge for Distributed Systems. 171-185 BibTeX
• Ronald Fagin, Moshe Y. Vardi: Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. 187-206 BibTeX
• Richard E. Ladner, John H. Reif: The Logic of Distributed Protocols. 207-222 BibTeX
• Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason: Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? 223 BibTeX
• Richmond H. Thomason: Paradoxes and Semantic Representation. 225-239 BibTeX
• Kurt Konolige: What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. 241-250 BibTeX
• Robert J. Aumann: Reasoning About Knowledge in Economics. 251 BibTeX
• Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang: Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". 253-258 BibTeX
• Nimrod Megiddo, Avi Wigderson: On Play by Means of Computing Machines. 259-274 BibTeX
• Haim Gaifman: A Theory of Higher Order Probabilities. 275-292 BibTeX
• Moshe Y. Vardi: On Epistemic Logic and Logical Omniscience. 293-305 BibTeX
• John McCarthy: Mental Situation Calculus. 307-308 BibTeX
• Christophe Geissler, Kurt Konolige: A Resolution Method for Quantified Modal Logics of Knowledge and Belief. 309-324 BibTeX
• Gerhard Lakemeyer: Steps Towards a First-Order Logic of Explicit and Implicit Belief. 325-340 BibTeX
• Raymond M. Smullyan: Logicians Who Reason About Themselves. 341-352 BibTeX
• Silvio Micali: Knowledge and Efficient Computation. 353-362 BibTeX
• John C. Mitchell, Michael J. O'Donnell: Realisability Semantics for Error-Tolerant Logics. 363-382 BibTeX
• João P. Martins, Stuart C. Shapiro: Theoretical Foundations for Belief Revision. 383-398 BibTeX
• Gordon D. Plotkin, Colin Stirling: A Framework for Intuitionistic Modal Logics. 399-406 BibTeX