5. TARK 1994: Pacific Grove, California, USA

Ronald Fagin (Ed.): Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994. Morgan Kaufmann 1994 BibTeX

@proceedings{DBLP:conf/tark/1994,
  editor    = {Ronald Fagin},
  title     = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1994},
  booktitle = {TARK},
  publisher = {Morgan Kaufmann},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Hector J. Levesque: Knowledge, Action, and Ability in the Situation Calculus. 1-4 BibTeX
Adnan Darwiche, Judea Pearl: On the Logic of iterated Belief Revision. 5-23 BibTeX
Gian Aldo Antonelli, Cristina Bicchieri: Backwards Forward Induction. 24-43 BibTeX
Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief change, Part I: Foundations. 44-64 BibTeX
Zhisheng Huang, Peter van Emde Boas: Information Acquisition from Multi-agent Resources. 65-79 BibTeX
Jinxin Lin: Consistent Belief Reasoning in the Presence of Inconsistency. 80-94 BibTeX
Aviad Heifetz: Infinitary Epistemic Logic. 95-108 BibTeX
Paul F. Syverson: An Epistemic Logic of Situations. 109-121 BibTeX
Wlodzimierz Rabinowicz, Krister Segerberg: Actual Truth, Possible Knowledge. 122-137 BibTeX
Kevin B. Korb: Infinitely Many Resolutions of Hempel's Paradox. 138-149 BibTeX
Ken Binmore: Rationality in the Centipede. 150-159 BibTeX
Stephen Morris: Revising Knowledge: a Hierarchical Approach. 160-174 BibTeX
Itzhak Gilboa, David Schmeidler: Case-Based Decision Theory and Knowledge Representation. 175-181 BibTeX
Barton L. Lipman: An Axiomatic Approach to the Logical Omniscience Problem. 182-196 BibTeX
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz: Autoepistemic Logic and Introspective Circumscription. 197-207 BibTeX
Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham: Knowledge as a Tool in Motion Planning and Uncertainty. 208-224 BibTeX
Ron van der Meyden: Common Knowledge and Update in Finite Enviromnents I. 225-242 BibTeX
M. van Hulst, John-Jules Ch. Meyer: An Epistemic Proof System for Parallel Processes. 243-254 BibTeX
Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. 255-266 BibTeX
Paul J. Krasucki, Ramaswamy Ramanujam: Knowledge and the Ordering of Events in Distributed Systems. 267-283 BibTeX
Peter Vanderschraaf: Inductive Learning, Knowledge Asymmetries and Convention. 284-304 BibTeX
Debra J. Holt: Coherent Belief Revision in Games. 305-320 BibTeX
Robert Charles Koons, Nicholas H. Asher: Belief Revision in a changing World. 321-340 BibTeX