TARK
2009
Springer
13 years 11 months ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
TARK
2009
Springer
13 years 11 months ago
2009
Springer
ity and the speed of decision-making (extended abstract) Michael Mandler Department of Economics Royal Holloway College, University of London Egham, Surrey TW20 0EX United Kingdom ...
TARK
2009
Springer
13 years 11 months ago
2009
Springer
TARK
2009
Springer
13 years 11 months ago
2009
Springer
TARK
2009
Springer
13 years 11 months ago
2009
Springer
TARK
2009
Springer
13 years 11 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...