|
Conferences in DBLP
- Thomas A. Henzinger
Games in system design and verification. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:1-4 [Conf]
- Itai Sher
Individual error, group error, and the value of information. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:5-21 [Conf]
- Krzysztof R. Apt
Order independence and rationalizability. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:22-38 [Conf]
- Sergiu Hart, Andreu Mas-Colell
Stochastic uncoupled dynamics and nash equilibrium: extended abstract. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:52-61 [Conf]
- Rohit Parikh
Logical omniscience and common knowledge: WHAT do we know and what do WE know? [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:62-77 [Conf]
- Joseph Y. Halpern, Leandro Chaves Rêgo
Interactive unawareness revisited. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:78-91 [Conf]
- Martin Allen
Complexity results for logics of local reasoning and inconsistent belief. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:92-108 [Conf]
- Arild Waaler, Bjørnar Solhaug
Semantics for multi-agent only knowing: extended abstract. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:109-125 [Conf]
- Martin Meier
Harsanyi type spaces with knowledge operators. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:126-136 [Conf]
- Alankar Karol, Mary-Anne Williams
Understanding human strategies for change: an empirical study. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:137-149 [Conf]
- Jack Stecher
Decisions under subjective information. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:150-157 [Conf]
- Noam Nisan, Ilya Segal
Exponential communication inefficiency of demand queries. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:158-164 [Conf]
- Ronald Fadel, Ilya Segal
The communication cost of selfishness: ex post implementation. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:165-176 [Conf]
- Isaac Levi
Inductive inference as ampliative and non monotonic reasoning. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:177-192 [Conf]
- Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Aggregating partially ordered preferences: impossibility and possibility results. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:193-206 [Conf]
- Felix Brandt, Tuomas Sandholm
Unconditional privacy in social choice. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:207-218 [Conf]
- Ramaswamy Ramanujam, S. P. Suresh
Deciding knowledge properties of security protocols. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:219-235 [Conf]
- Tal Mizrahi, Yoram Moses
Continuous consensus via common knowledge. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:236-252 [Conf]
- Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Common knowledge in update logics. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:253-261 [Conf]
- Horacio L. Arló-Costa, Eric Pacuit
First-order classical modal logic: applications in logics of knowledge and probability. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:262-278 [Conf]
- Sergei N. Artëmov, Elena Nogina
On epistemic logic with justification. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:279-294 [Conf]
|