Conferences in DBLP

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

1. 
   Designing markets: economics, computer science and the real world. [Citation Graph (, )][DBLP]
   
   
2. 
   Origins of epistemics. [Citation Graph (, )][DBLP]
   
   
3. 
   Considerations on the logic of intention. [Citation Graph (, )][DBLP]
   
   
4. 
   Common knowledge in interaction structures. [Citation Graph (, )][DBLP]
   
   
5. 
   Logical omniscience as a computational complexity problem. [Citation Graph (, )][DBLP]
   
   
6. 
   BMS revisited. [Citation Graph (, )][DBLP]
   
   
7. 
   Limit knowledge of rationality. [Citation Graph (, )][DBLP]
   
   
8. 
   Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. [Citation Graph (, )][DBLP]
   
   
9. 
   Contractual traps. [Citation Graph (, )][DBLP]
   
   
10. 
    Deriving epistemic conclusions from agent architecture. [Citation Graph (, )][DBLP]
    
    
11. 
    Generalized inquisitive logic: completeness via intuitionistic Kripke models. [Citation Graph (, )][DBLP]
    
    
12. 
    Knowledge, proof and the Knower. [Citation Graph (, )][DBLP]
    
    
13. 
    Agreement theorems in dynamic-epistemic logic. [Citation Graph (, )][DBLP]
    
    
14. 
    A computational theory of awareness and decision making. [Citation Graph (, )][DBLP]
    
    
15. 
    On distance rationalizability of some voting rules. [Citation Graph (, )][DBLP]
    
    
16. 
    The shield that never was: societies with single-peaked preferences are more open to manipulation and control. [Citation Graph (, )][DBLP]
    
    
17. 
    Program equilibria and discounted computation time. [Citation Graph (, )][DBLP]
    
    
18. 
    The context of the game. [Citation Graph (, )][DBLP]
    
    
19. 
    Syntactic foundations for unawareness of theorems. [Citation Graph (, )][DBLP]
    
    
20. 
    A logical characterization of iterated admissibility. [Citation Graph (, )][DBLP]
    
    
21. 
    An epistemic characterization of zero knowledge. [Citation Graph (, )][DBLP]
    
    
22. 
    Reasoning about knowledge of unawareness revisited. [Citation Graph (, )][DBLP]
    
    
23. 
    K-SNCC: group deviations in subsidized non-cooperative computing. [Citation Graph (, )][DBLP]
    
    
24. 
    Projective expected utility: a subjective formulation. [Citation Graph (, )][DBLP]
    
    
25. 
    Foundations of non-commutative probability theory. [Citation Graph (, )][DBLP]
    
    
26. 
    Rationality and the speed of decision-making. [Citation Graph (, )][DBLP]
    
    
27. 
    On interdependence of secrets in collaboration networks. [Citation Graph (, )][DBLP]
    
    
28. 
    Dynamic restriction of choices: a preliminary logical report. [Citation Graph (, )][DBLP]
    
    
29. 
    Evidence elimination in multi-agent justification logic. [Citation Graph (, )][DBLP]
    
    
30. 
    A logic of propositional control for truthful implementations. [Citation Graph (, )][DBLP]
    
    
31. 
    Solutions of strategic games under common belief of sure-thing principle. [Citation Graph (, )][DBLP]
    
    
32. 
    Verifying epistemic protocols under common knowledge. [Citation Graph (, )][DBLP]