TARK B

22 papers

YearTitle / Authors
2005Aggregating partially ordered preferences: impossibility and possibility results.
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2005Common knowledge in update logics.
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2005Complexity results for logics of local reasoning and inconsistent belief.
Martin Allen
2005Continuous consensus via common knowledge.
Tal Mizrahi, Yoram Moses
2005Deciding knowledge properties of security protocols.
Ramaswamy Ramanujam, S. P. Suresh
2005Decisions under subjective information.
Jack Stecher
2005Exponential communication inefficiency of demand queries.
Noam Nisan, Ilya Segal
2005First-order classical modal logic: applications in logics of knowledge and probability.
Horacio L. Arló-Costa, Eric Pacuit
2005Games in system design and verification.
Thomas A. Henzinger
2005Harsanyi type spaces with knowledge operators.
Martin Meier
2005Individual error, group error, and the value of information.
Itai Sher
2005Inductive inference as ampliative and non monotonic reasoning.
Isaac Levi
2005Interactive unawareness revisited.
Joseph Y. Halpern, Leandro Chaves Rêgo
2005Logical omniscience and common knowledge: WHAT do we know and what do WE know?
Rohit Parikh
2005On epistemic logic with justification.
Sergei N. Artëmov, Elena Nogina
2005Order independence and rationalizability.
Krzysztof R. Apt
2005Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005
Ron van der Meyden
2005Semantics for multi-agent only knowing: extended abstract.
Arild Waaler, Bjørnar Solhaug
2005Stochastic uncoupled dynamics and nash equilibrium: extended abstract.
Sergiu Hart, Andreu Mas-Colell
2005The communication cost of selfishness: ex post implementation.
Ronald Fadel, Ilya Segal
2005Unconditional privacy in social choice.
Felix Brandt, Tuomas Sandholm
2005Understanding human strategies for change: an empirical study.
Alankar Karol, Mary-Anne Williams