Conferences in DBLP

Theoretical Aspects of Rationality and Knowledge (tark)
1994 (conf/tark/1994)

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