12. TARK 2009: Stanford, CA, USA
Aviad Heifetz (Ed.): Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009. 2009
Invited papers
- Susan Athey: Designing markets: economics, computer science and the real world. 1
- Adam Brandenburger: Origins of epistemics. 2
- Yoav Shoham: Considerations on the logic of intention. 3
Contributed papers
- Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common knowledge in interaction structures. 4-13
- Guillaume Aucher: BMS revisited. 24-33
- Alexandru Baltag, Sonja Smets: Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. 41-50
- Ivano Ciardelli, Floris Roelofsen: Generalized inquisitive logic: completeness via intuitionistic Kripke models. 71-80
- Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko: On distance rationalizability of some voting rules. 108-117
- Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe: The shield that never was: societies with single-peaked preferences are more open to manipulation and control. 118-127
- Lance Fortnow: Program equilibria and discounted computation time. 128-133
- Spyros Galanis: Syntactic foundations for unawareness of theorems. 136-145
- Joseph Y. Halpern, Rafael Pass, Vasumathi Raman: An epistemic characterization of zero knowledge. 156-165
- Andrey Klinger, Moshe Tennenholtz: K-SNCC: group deviations in subsidized non-cooperative computing. 174-183
- Pierfrancesco La Mura: Projective expected utility: a subjective formulation. 184-192
- Daniel Lehmann: Foundations of non-commutative probability theory. 193-200
- Michael Mandler: Rationality and the speed of decision-making. 201-207
- Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon: Dynamic restriction of choices: a preliminary logical report. 218-226
- Bryan Renne: Evidence elimination in multi-agent justification logic. 227-236
- Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. 237-246
- Michael Trost: Solutions of strategic games under common belief of sure-thing principle. 247-256
- Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. 257-266
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team