10. TARK 2005: Singapore

Ron van der Meyden (Ed.): Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005. National University of Singapore 2005, ISBN 981-05-3412-4 BibTeX

Invited Talk

Thomas A. Henzinger:
Games in system design and verification. 1-4
Electronic Edition (ACM DL) BibTeX

Contributed Papers

Itai Sher:
Individual error, group error, and the value of information. 5-21
Electronic Edition (ACM DL) BibTeX
Krzysztof R. Apt:
Order independence and rationalizability. 22-38
Electronic Edition (ACM DL) BibTeX

Invited Talks

Sergiu Hart, Andreu Mas-Colell:
Stochastic uncoupled dynamics and nash equilibrium: extended abstract. 52-61
Electronic Edition (ACM DL) BibTeX
Rohit Parikh:
Logical omniscience and common knowledge: WHAT do we know and what do WE know? 62-77
Electronic Edition (ACM DL) BibTeX

Contributed Papers

Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive unawareness revisited. 78-91
Electronic Edition (ACM DL) BibTeX
Martin Allen:
Complexity results for logics of local reasoning and inconsistent belief. 92-108
Electronic Edition (ACM DL) BibTeX
Arild Waaler, Bjørnar Solhaug:
Semantics for multi-agent only knowing: extended abstract. 109-125
Electronic Edition (ACM DL) BibTeX
Martin Meier:
Harsanyi type spaces with knowledge operators. 126-136
Electronic Edition (ACM DL) BibTeX
Alankar Karol, Mary-Anne Williams:
Understanding human strategies for change: an empirical study. 137-149
Electronic Edition (ACM DL) BibTeX
Jack Stecher:
Decisions under subjective information. 150-157
Electronic Edition (ACM DL) BibTeX
Noam Nisan, Ilya Segal:
Exponential communication inefficiency of demand queries. 158-164
Electronic Edition (ACM DL) BibTeX
Ronald Fadel, Ilya Segal:
The communication cost of selfishness: ex post implementation. 165-176
Electronic Edition (ACM DL) BibTeX

Invited Talk

Isaac Levi:
Inductive inference as ampliative and non monotonic reasoning. 177-192
Electronic Edition (ACM DL) BibTeX

Contributed Papers

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Aggregating partially ordered preferences: impossibility and possibility results. 193-206
Electronic Edition (ACM DL) BibTeX
Felix Brandt, Tuomas Sandholm:
Unconditional privacy in social choice. 207-218
Electronic Edition (ACM DL) BibTeX
Ramaswamy Ramanujam, S. P. Suresh:
Deciding knowledge properties of security protocols. 219-235
Electronic Edition (ACM DL) BibTeX
Tal Mizrahi, Yoram Moses:
Continuous consensus via common knowledge. 236-252
Electronic Edition (ACM DL) BibTeX
Johan van Benthem, Jan van Eijck, Barteld P. Kooi:
Common knowledge in update logics. 253-261
Electronic Edition (ACM DL) BibTeX
Horacio L. Arló-Costa, Eric Pacuit:
First-order classical modal logic: applications in logics of knowledge and probability. 262-278
Electronic Edition (ACM DL) BibTeX
Sergei N. Artëmov, Elena Nogina:
On epistemic logic with justification. 279-294
Electronic Edition (ACM DL) BibTeX