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