• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

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