Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ivano Ciardelli, Floris Roelofsen |
Generalized inquisitive logic: completeness via intuitionistic Kripke models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 71-80, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko |
On distance rationalizability of some voting rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 108-117, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about knowledge of unawareness revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 166-173, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher |
BMS revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 24-33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco La Mura |
Projective expected utility: a subjective formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 184-192, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
allais, ellsberg, projective, expected utility, quantum, paradoxes |
1 | Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper |
Common knowledge in interaction structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 4-13, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil R. Devanur, Lance Fortnow |
A computational theory of awareness and decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 99-107, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amanda Friedenberg, Martin Meier |
The context of the game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 134-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Shoham |
Considerations on the logic of intention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 3, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Chong, Ron van der Meyden |
Deriving epistemic conclusions from agent architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 61-70, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Spyros Galanis |
Syntactic foundations for unawareness of theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 136-145, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bounded perception, uncertainty, modal logic, knowledge, unawareness, interactive epistemology |
1 | Bryan Renne |
Evidence elimination in multi-agent justification logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 227-236, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aviad Heifetz (eds.) |
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Sara Miner More, Pavel Naumov |
On interdependence of secrets in collaboration networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 208-217, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mandler |
Rationality and the speed of decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 201-207, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Sonja Smets |
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 41-50, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lehmann 0001 |
Foundations of non-commutative probability theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 193-200, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Susan Athey |
Designing markets: economics, computer science and the real world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 1, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Trost |
Solutions of strategic games under common belief of sure-thing principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 247-256, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic restriction of choices: a preliminary logical report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 218-226, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Rafael Pass |
A logical characterization of iterated admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 146-155, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adam Brandenburger |
Origins of epistemics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 2, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
A logic of propositional control for truthful implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 237-246, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yanjing Wang 0001, Lakshmanan Kuppusamy, Jan van Eijck |
Verifying epistemic protocols under common knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 257-266, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Rafael Pass, Vasumathi Raman |
An epistemic characterization of zero knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 156-165, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian W. Bach, Jérémie Cabessa |
Limit knowledge of rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 34-40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov, Roman Kuznets |
Logical omniscience as a computational complexity problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 14-23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Dégremont, Olivier Roy |
Agreement theorems in dynamic-epistemic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 91-98, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Walter Dean, Hidenori Kurokawa |
Knowledge, proof and the Knower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 81-90, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 118-127, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Klinger, Moshe Tennenholtz |
K-SNCC: group deviations in subsidized non-cooperative computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 174-183, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ulle Endriss |
Vote manipulation in the presence of multiple sincere ballots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 125-134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Houy, Lucie Ménager |
Communication, consensus, and order.: Who wants to speak first? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 203-211, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
Knowledge-based modelling of voting protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 62-71, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli |
Commonsense reasoning by distance semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 33-41, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gabriella Pigozzi, Stephan Hartmann 0001 |
Judgment aggregation and the problem of truth-tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 248-252, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Sonja Smets |
From conditional probability to the logic of doxastic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 52-61, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Spyros Galanis |
Theorems and unawareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 145-154, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga |
Alternating-time temporal logics with irrevocable strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 15-24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden, Thomas Wilke |
Preservation of epistemic properties in security protocol implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 212-221, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sabina Petride, Riccardo Pucella |
Perfect cryptography, S5 knowledge, and algorithmic knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 239-247, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dutant |
Inexact knowledge, margin for error and positive introspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 118-124, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Conitzer |
Limited verification of identities to induce false-name-proofness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 102-111, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Leandro Chaves Rêgo, Joseph Y. Halpern |
Generalized solution concepts in games with possibly unaware players. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 253-262, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dov Samet (eds.) |
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 42-51, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing with logical omniscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 169-176, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Erkut Yusuf Özbay |
Unawareness and strategic announcements in games with uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 231-238, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yishay Mansour |
Learning, regret minimization and option pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 2-3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lirong Xia, Jérôme Lang, Mingsheng Ying |
Sequential voting rules and multiple elections paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 279-288, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt |
Epistemic analysis of strategic games with arbitrary strategy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 25-32, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jayant V. Ganguli |
Common p-belief and uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 155-159, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mikaël Cozic |
Imaging and Sleeping Beauty: a case for double-halfers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 112-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
A normal simulation of coalition logic and an epistemic extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 92-101, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Felix Brandt 0001, Felix A. Fischer, Paul Harrenstein |
The computational complexity of choice sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 82-91, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem, Jelle Gerbrandy, Eric Pacuit |
Merging frameworks for interaction: DEL and ETL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 72-81, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Aviad Heifetz, Martin Meier, Burkhard C. Schipper |
A canonical model for interactive unawareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 177-182, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bounded perception, lack of conception, awareness, modal logic, knowledge, unawareness, interactive epistemology |
1 | Tikitu de Jager, Robert van Rooij |
Explaining quantity implicatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 193-202, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Aviad Heifetz, Martin Meier, Burkhard C. Schipper |
Unawareness, beliefs and games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 183-192, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
common prior, speculative trade, type-space, awareness, incomplete information, equilibrium, agreement, unawareness, interactive epistemology, Bayesian games |
1 | Emel Filiz |
Incorporating unawareness into contract theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 135-144, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frank Arntzenius |
No regrets: or: Edith Piaf revamps decision theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 1, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Oyama, Olivier Tercieux |
Robust equilibria under non-common priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 222-230, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guido Boella, Jelle Gerbrandy, Joris Hulstijn |
A flexible mechanism for dialogue design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 160-168, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Natasha Alechina |
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 6-14, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Walther 0002, Wiebe van der Hoek, Michael J. Wooldridge |
Alternating-time temporal logic with explicit strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 269-278, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dinah Rosenberg, Eilon Solan, Nicolas Vieille |
Convergence of behavior in social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 263-268, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard von Stengel |
Games, geometry, and the computational complexity of finding equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 4-5, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Isaac Levi |
Inductive inference as ampliative and non monotonic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 177-192, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Martin Meier |
Harsanyi type spaces with knowledge operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 126-136, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Rohit Parikh |
Logical omniscience and common knowledge: WHAT do we know and what do WE know? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 62-77, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jack Stecher |
Decisions under subjective information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 150-157, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ron van der Meyden (eds.) |
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![National University of Singapore, 981-05-3412-4 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ramaswamy Ramanujam, S. P. Suresh |
Deciding knowledge properties of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 219-235, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Thomas A. Henzinger |
Games in system design and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 1-4, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Alankar Karol, Mary-Anne Williams |
Understanding human strategies for change: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 137-149, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Horacio L. Arló-Costa, Eric Pacuit |
First-order classical modal logic: applications in logics of knowledge and probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 262-278, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Interactive unawareness revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 78-91, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Felix Brandt 0001, Tuomas Sandholm |
Unconditional privacy in social choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 207-218, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Sergei N. Artëmov, Elena Nogina |
On epistemic logic with justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 279-294, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Itai Sher |
Individual error, group error, and the value of information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 5-21, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Aggregating partially ordered preferences: impossibility and possibility results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 193-206, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
Common knowledge in update logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 253-261, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Arild Waaler, Bjørnar Solhaug |
Semantics for multi-agent only knowing: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 109-125, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Noam Nisan, Ilya Segal |
Exponential communication inefficiency of demand queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 158-164, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Martin Allen |
Complexity results for logics of local reasoning and inconsistent belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 92-108, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ronald Fadel, Ilya Segal |
The communication cost of selfishness: ex post implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 165-176, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Tal Mizrahi, Yoram Moses |
Continuous consensus via common knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 236-252, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt |
Order independence and rationalizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 22-38, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Sergiu Hart, Andreu Mas-Colell |
Stochastic uncoupled dynamics and nash equilibrium: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 52-61, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
bounded recall, stochastic dynamics, uncoupled, nash equilibrium |
1 | Joseph Y. Halpern, Riccardo Pucella |
Probabilistic algorithmic knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 118-130, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Aviad Heifetz, Martin Meier, Burkhard C. Schipper |
Multi-person unawareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 145-158, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bounded perception, awareness, knowledge, unawareness, interactive epistemology |
1 | Dov Monderer |
Economic efficiency versus complexity communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 89, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roland G. Fryer, Matthew O. Jackson |
Categorical cognition: a psychological model of categories and identification in decision making: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 29-34, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Perea |
Rationalizability and minimal complexity in dynamic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 1-14, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Geir B. Asheim, Ylva Søvik |
The semantics of preference-based belief operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 90-103, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard Booth 0001, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer |
Belief liberation (and retraction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 159-172, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Conitzer, Jérôme Lang, Tuomas Sandholm |
How many candidates are needed to make elections hard to manipulate? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 201-214, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Daniel B. Neill |
Cooperation and coordination in the turn-taking dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 231-244, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Schulte |
Iterated backward inference: an algorithm for proper rationalizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 15-28, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Brams, Michael A. Jones, D. Marc Kilgour |
Dynamic models of coalition formation: fallback vs. build-up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 187-200, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|