12. TARK 2009:
Stanford, CA, USA
(Ed.): Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009.
: Designing markets: economics, computer science and the real world.
: Considerations on the logic of intention.
: Program equilibria and discounted computation time.
: Syntactic foundations for unawareness of theorems.
: Foundations of non-commutative probability theory.
: Evidence elimination in multi-agent justification logic.
: Solutions of strategic games under common belief of sure-thing principle.