default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th TARK 1994: Pacific Grove, California, USA
- Ronald Fagin:
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. TARK 1994: 1-4 - Adnan Darwiche, Judea Pearl:
On the Logic of iterated Belief Revision. TARK 1994: 5-23 - Gian Aldo Antonelli, Cristina Bicchieri:
Backwards Forward Induction. TARK 1994: 24-43 - Nir Friedman, Joseph Y. Halpern:
A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64 - Zhisheng Huang, Peter van Emde Boas:
Information Acquisition from Multi-agent Resources. TARK 1994: 65-79 - Jinxin Lin:
Consistent Belief Reasoning in the Presence of Inconsistency. TARK 1994: 80-94 - Aviad Heifetz:
Infinitary Epistemic Logic. TARK 1994: 95-108 - Paul F. Syverson:
An Epistemic Logic of Situations. TARK 1994: 109-121 - Wlodzimierz Rabinowicz, Krister Segerberg:
Actual Truth, Possible Knowledge. TARK 1994: 122-137 - Kevin B. Korb:
Infinitely Many Resolutions of Hempel's Paradox. TARK 1994: 138-149 - Ken Binmore:
Rationality in the Centipede. TARK 1994: 150-159 - Stephen Morris:
Revising Knowledge: a Hierarchical Approach. TARK 1994: 160-174 - Itzhak Gilboa, David Schmeidler:
Case-Based Decision Theory and Knowledge Representation. TARK 1994: 175-181 - Barton L. Lipman:
An Axiomatic Approach to the Logical Omniscience Problem. TARK 1994: 182-196 - Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz:
Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207 - Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham:
Knowledge as a Tool in Motion Planning and Uncertainty. TARK 1994: 208-224 - Ron van der Meyden:
Common Knowledge and Update in Finite Enviromnents I. TARK 1994: 225-242 - M. van Hulst, John-Jules Ch. Meyer:
An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254 - Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Algorithmic Knowledge. TARK 1994: 255-266 - Paul J. Krasucki, Ramaswamy Ramanujam:
Knowledge and the Ordering of Events in Distributed Systems. TARK 1994: 267-283 - Peter Vanderschraaf:
Inductive Learning, Knowledge Asymmetries and Convention. TARK 1994: 284-304 - Debra J. Holt:
Coherent Belief Revision in Games. TARK 1994: 305-320 - Robert Charles Koons, Nicholas H. Asher:
Belief Revision in a changing World. TARK 1994: 321-340
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-26 23:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
