Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ivano Ciardelli, Floris Roelofsen |
Generalized inquisitive logic: completeness via intuitionistic Kripke models. |
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 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about knowledge of unawareness revisited. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher |
BMS revisited. |
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 | Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper |
Common knowledge in interaction structures. |
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 | Amanda Friedenberg, Martin Meier |
The context of the game. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Shoham |
Considerations on the logic of intention. |
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 | Spyros Galanis |
Syntactic foundations for unawareness of theorems. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
bounded perception, uncertainty, modal logic, knowledge, unawareness, interactive epistemology |
1 | Bryan Renne |
Evidence elimination in multi-agent justification logic. |
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 | Sara Miner More, Pavel Naumov |
On interdependence of secrets in collaboration networks. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mandler |
Rationality and the speed of decision-making. |
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 | Daniel Lehmann 0001 |
Foundations of non-commutative probability theory. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Susan Athey |
Designing markets: economics, computer science and the real world. |
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 | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic restriction of choices: a preliminary logical report. |
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 | Adam Brandenburger |
Origins of epistemics. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
A logic of propositional control for truthful implementations. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yanjing Wang 0001, 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 | Christian W. Bach, Jérémie Cabessa |
Limit knowledge of rationality. |
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 | Cédric Dégremont, Olivier Roy |
Agreement theorems in dynamic-epistemic logic. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Walter Dean, Hidenori Kurokawa |
Knowledge, proof and the Knower. |
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 | Andrey Klinger, Moshe Tennenholtz |
K-SNCC: group deviations in subsidized non-cooperative computing. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ulle Endriss |
Vote manipulation in the presence of multiple sincere ballots. |
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 | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
Knowledge-based modelling of voting protocols. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli |
Commonsense reasoning by distance semantics. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gabriella Pigozzi, Stephan Hartmann 0001 |
Judgment aggregation and the problem of truth-tracking. |
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 | Spyros Galanis |
Theorems and unawareness. |
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 | Ron van der Meyden, Thomas Wilke |
Preservation of epistemic properties in security protocol implementations. |
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 | Julien Dutant |
Inexact knowledge, margin for error and positive introspection. |
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 | Leandro Chaves Rêgo, Joseph Y. Halpern |
Generalized solution concepts in games with possibly unaware players. |
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 | 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. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing with logical omniscience. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Erkut Yusuf Özbay |
Unawareness and strategic announcements in games with uncertainty. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yishay Mansour |
Learning, regret minimization and option pricing. |
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 | Krzysztof R. Apt |
Epistemic analysis of strategic games with arbitrary strategy sets. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jayant V. Ganguli |
Common p-belief and uncertainty. |
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 | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
A normal simulation of coalition logic and an epistemic extension. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Felix Brandt 0001, Felix A. Fischer, Paul Harrenstein |
The computational complexity of choice sets. |
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 | 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 | Tikitu de Jager, Robert van Rooij |
Explaining quantity implicatures. |
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 |
1 | Emel Filiz |
Incorporating unawareness into contract theory. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frank Arntzenius |
No regrets: or: Edith Piaf revamps decision theory. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Oyama, Olivier Tercieux |
Robust equilibria under non-common priors. |
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 | Thomas Ågotnes, Natasha Alechina |
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Walther 0002, Wiebe van der Hoek, Michael J. Wooldridge |
Alternating-time temporal logic with explicit strategies. |
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 | Bernhard von Stengel |
Games, geometry, and the computational complexity of finding equilibria. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Isaac Levi |
Inductive inference as ampliative and non monotonic reasoning. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Martin Meier |
Harsanyi type spaces with knowledge operators. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Rohit Parikh |
Logical omniscience and common knowledge: WHAT do we know and what do WE know? |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Jack Stecher |
Decisions under subjective information. |
TARK |
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 |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Ramaswamy Ramanujam, S. P. Suresh |
Deciding knowledge properties of security protocols. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Thomas A. Henzinger |
Games in system design and verification. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Alankar Karol, Mary-Anne Williams |
Understanding human strategies for change: an empirical study. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Horacio L. Arló-Costa, Eric Pacuit |
First-order classical modal logic: applications in logics of knowledge and probability. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Interactive unawareness revisited. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Felix Brandt 0001, Tuomas Sandholm |
Unconditional privacy in social choice. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Sergei N. Artëmov, Elena Nogina |
On epistemic logic with justification. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Itai Sher |
Individual error, group error, and the value of information. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Aggregating partially ordered preferences: impossibility and possibility results. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
Common knowledge in update logics. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Arild Waaler, Bjørnar Solhaug |
Semantics for multi-agent only knowing: extended abstract. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Noam Nisan, Ilya Segal |
Exponential communication inefficiency of demand queries. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Martin Allen |
Complexity results for logics of local reasoning and inconsistent belief. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Ronald Fadel, Ilya Segal |
The communication cost of selfishness: ex post implementation. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Tal Mizrahi, Yoram Moses |
Continuous consensus via common knowledge. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt |
Order independence and rationalizability. |
TARK |
2005 |
DBLP BibTeX RDF |
|
1 | Sergiu Hart, Andreu Mas-Colell |
Stochastic uncoupled dynamics and nash equilibrium: extended abstract. |
TARK |
2005 |
DBLP BibTeX RDF |
bounded recall, stochastic dynamics, uncoupled, nash equilibrium |
1 | Joseph Y. Halpern, Riccardo Pucella |
Probabilistic algorithmic knowledge. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Aviad Heifetz, Martin Meier, Burkhard C. Schipper |
Multi-person unawareness. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
bounded perception, awareness, knowledge, unawareness, interactive epistemology |
1 | Dov Monderer |
Economic efficiency versus complexity communication. |
TARK |
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. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Perea |
Rationalizability and minimal complexity in dynamic games. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Geir B. Asheim, Ylva Søvik |
The semantics of preference-based belief operators. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard Booth 0001, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer |
Belief liberation (and retraction). |
TARK |
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? |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Daniel B. Neill |
Cooperation and coordination in the turn-taking dilemma. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Schulte |
Iterated backward inference: an algorithm for proper rationalizability. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Brams, Michael A. Jones, D. Marc Kilgour |
Dynamic models of coalition formation: fallback vs. build-up. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|