10. TARK 2005: Singapore

Invited Talk

• Thomas A. Henzinger:
  Games in system design and verification. 1-4
  

Contributed Papers

• Itai Sher:
  Individual error, group error, and the value of information. 5-21
  
• Krzysztof R. Apt:
  Order independence and rationalizability. 22-38
  

Invited Talks

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

Contributed Papers

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

Invited Talk

• Isaac Levi:
  Inductive inference as ampliative and non monotonic reasoning. 177-192
  

Contributed Papers

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