| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack |
Sigma algebras in probabilistic epistemic dynamics.  |
TARK  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot |
Compilation and communication protocols for voting rules with a dynamic set of candidates. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Ban, Nati Linial |
The dynamics of reputation systems. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Dominiak, Jean-Philippe Lefort |
Agreeing to disagree type results under ambiguity. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Nina Gierasimczuk, Sonja Smets |
Belief revision as a truth-tracking process. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Feinberg |
Strategic communication. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence S. Moss |
Connections of coalgebra and semantic modeling. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bonanno |
AGM belief revision in dynamic games. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre |
Judgment aggregation rules based on minimization. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Noga Alon, Felix A. Fischer, Ariel D. Procaccia, Moshe Tennenholtz |
Sum of us: strategyproof selection from the selectors. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Markus Brill |
Necessary and sufficient conditions for the strategyproofness of irresolute social choice functions. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barteld P. Kooi, Bryan Renne |
Generalized arrow update logic. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Gierasimczuk, Jakub Szymanik |
A note on a generalization of the Muddy Children puzzle. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ido Ben-Zvi, Yoram Moses |
Known unknowns: time bounds and knowledge of ignorance. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt (eds.) |
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 |
TARK |
2011 |
DBLP BibTeX RDF |
|
| 1 | Itzhak Gilboa |
Questions in decision theory. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang |
A ternary knowledge relation on secrets. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Marc Kilgour, Steven J. Brams, Todd R. Kaplan |
Three procedures for inducing honesty in bargaining. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Dégremont, Benedikt Löwe, Andreas Witzel |
The synchronicity of dynamic epistemic logic. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Floor Sietsma, Jan van Eijck |
Message passing in a dynamic epistemic logic setting. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra |
The complexity of manipulative attacks in nearly single-peaked electorates. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
Reasoning about justified belief. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Ron van der Meyden |
Abstraction for epistemic model checking of dining cryptographers-based protocols. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Symbolic model checking of probabilistic knowledge. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Witzel |
Perfect recall of imperfect knowledge. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Heinsalu |
Equivalence of the information structure with unawareness to the logic of awareness. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang |
Hidden protocols. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem |
Exploring a theory of play. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Weights in stable marriage problems increase manipulation opportunities. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam |
Neighbourhood structure in large games. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Horacio L. Arló-Costa, Hailin Liu |
Value-based contraction: a representation result. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Harks, Max Klimm |
Congestion games with variable demands. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying-Ju Chen, Xiaojian Zhao |
Contractual traps. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
principal-agent relationship, cognition, unawareness, incomplete contracts |
| 1 | Guillaume Aucher |
BMS revisited. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Klinger, Moshe Tennenholtz |
K-SNCC: group deviations in subsidized non-cooperative computing. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil R. Devanur, Lance Fortnow |
A computational theory of awareness and decision making. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros Galanis |
Syntactic foundations for unawareness of theorems. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
bounded perception, uncertainty, modal logic, knowledge, unawareness, interactive epistemology |
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about knowledge of unawareness revisited. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Ron van der Meyden |
Deriving epistemic conclusions from agent architecture. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. |
TARK |
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. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Miner More, Pavel Naumov |
On interdependence of secrets in collaboration networks. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Trost |
Solutions of strategic games under common belief of sure-thing principle. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amanda Friedenberg, Martin Meier |
The context of the game. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper |
Common knowledge in interaction structures. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lehmann |
Foundations of non-commutative probability theory. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
A logical characterization of iterated admissibility. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Roman Kuznets |
Logical omniscience as a computational complexity problem. |
TARK |
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 |
TARK |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lance Fortnow |
Program equilibria and discounted computation time. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Shoham |
Considerations on the logic of intention. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of propositional control for truthful implementations. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck |
Verifying epistemic protocols under common knowledge. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass, Vasumathi Raman |
An epistemic characterization of zero knowledge. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Ciardelli, Floris Roelofsen |
Generalized inquisitive logic: completeness via intuitionistic Kripke models. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mandler |
Rationality and the speed of decision-making. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Brandenburger |
Origins of epistemics. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Dean, Hidenori Kurokawa |
Knowledge, proof and the Knower. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan Renne |
Evidence elimination in multi-agent justification logic. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian W. Bach, Jérémie Cabessa |
Limit knowledge of rationality. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic restriction of choices: a preliminary logical report. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Dégremont, Olivier Roy |
Agreement theorems in dynamic-epistemic logic. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierfrancesco La Mura |
Projective expected utility: a subjective formulation. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
allais, ellsberg, projective, expected utility, quantum, paradoxes |
| 1 | Susan Athey |
Designing markets: economics, computer science and the real world. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko |
On distance rationalizability of some voting rules. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Thomas Wilke |
Preservation of epistemic properties in security protocol implementations. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Houy, Lucie Ménager |
Communication, consensus, and order.: Who wants to speak first? |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Jelle Gerbrandy, Joris Hulstijn |
A flexible mechanism for dialogue design. |
TARK |
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 |
TARK |
2007 |
DBLP BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Paul Harrenstein |
The computational complexity of choice sets. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emel Filiz |
Incorporating unawareness into contract theory. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros Galanis |
Theorems and unawareness. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Conitzer |
Limited verification of identities to induce false-name-proofness. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga |
Alternating-time temporal logics with irrevocable strategies. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tikitu de Jager, Robert van Rooij |
Explaining quantity implicatures. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Walther 0002, Wiebe van der Hoek, Michael Wooldridge |
Alternating-time temporal logic with explicit strategies. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Dutant |
Inexact knowledge, margin for error and positive introspection. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Oyama, Olivier Tercieux |
Robust equilibria under non-common priors. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
A normal simulation of coalition logic and an epistemic extension. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lirong Xia, Jérôme Lang, Mingsheng Ying |
Sequential voting rules and multiple elections paradoxes. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayant V. Ganguli |
Common p-belief and uncertainty. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabina Petride, Riccardo Pucella |
Perfect cryptography, S5 knowledge, and algorithmic knowledge. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aviad Heifetz, Martin Meier, Burkhard C. Schipper |
A canonical model for interactive unawareness. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
bounded perception, lack of conception, awareness, modal logic, knowledge, unawareness, interactive epistemology |
| 1 | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
Knowledge-based modelling of voting protocols. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikaël Cozic |
Imaging and Sleeping Beauty: a case for double-halfers. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Jelle Gerbrandy, Eric Pacuit |
Merging frameworks for interaction: DEL and ETL. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing with logical omniscience. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli |
Commonsense reasoning by distance semantics. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishay Mansour |
Learning, regret minimization and option pricing. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinah Rosenberg, Eilon Solan, Nicolas Vieille |
Convergence of behavior in social networks. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt |
Epistemic analysis of strategic games with arbitrary strategy sets. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulle Endriss |
Vote manipulation in the presence of multiple sincere ballots. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Chaves Rêgo, Joseph Y. Halpern |
Generalized solution concepts in games with possibly unaware players. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard von Stengel |
Games, geometry, and the computational complexity of finding equilibria. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Arntzenius |
No regrets: or: Edith Piaf revamps decision theory. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
From conditional probability to the logic of doxastic actions. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Pigozzi, Stephan Hartmann |
Judgment aggregation and the problem of truth-tracking. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aviad Heifetz, Martin Meier, Burkhard C. Schipper |
Unawareness, beliefs and games. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
common prior, speculative trade, type-space, awareness, incomplete information, equilibrium, agreement, unawareness, interactive epistemology, Bayesian games |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")