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
- 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 Sat May 18 19:51:16 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page