Theoretical Aspects of Rationality and Knowledge

Proceedings of the Eleventh Conference (TARK 2007)
Editie 1

Uitgegeven door Dov Samet

The biannual conferences bring together researchers from a wide variety of fields sharing a common interest in reasoning about rationality and knowledge. the impact of this tradition, going back to 1986, is apparent in many of today's research trends and in the growth of an intellectual community beyond traditional disciplinary boundaries. this volume documents the eleventh conference, held in Brussels, Belgium, in June 2007. it includes contributed papers, 3 invited talks. Like earlier volumes in this series, it gives a window of the state of the art in studies of knowledge and information flow in areas such as probability, linguistic semantics, logics for communication, belief revision, game theory, and interactions between these. should be of value for researchers, teachers, and students alike.


Paperback - In het Engels 22,50 €

InfoVoor meer informatie over BTW en andere belatingsmogelijkheden, zie hieronder "Betaling & BTW".

Gegevens


Uitgever
Presses universitaires de Louvain
Uitgegeven door
Dov Samet,
Collectie
Hors collection (Presses universitaires de Louvain)
Taal
Engels
Ondersteunende website
Publisher’s website for a specified work
BIC subject category (UK)
H Humanities
Onix Audience Codes
01 General / trade > 06 Professional and scholarly
Voor het eerst gepubliceerd
2007
Type werk
Monografie
Oorspronkelijke taal
Engels

Paperback


Publicatie datum
2007
ISBN-13
9782874630774
Omvang
Aantal pagina's hoofdinhoud : 300
Code
76020
Formaat
16 x 24 x 1,7 cm
Gewicht
485 grams
Aanbevolen verkoopprijs
22,50 €
ONIX XML
Version 2.1, Version 3

Google Book Preview


Schrijf een reactie

Inhoud


Forward . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i

Invited Papers:

No Regrets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1

Frank Arntzenius

Learning, Regret Minimization and Option Pricing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

Yishay Mansour

Games, Geometry, and the Computational Complexity of Finding Equilibria . . . . . .. . . . . . . . . . . . . . . . . . . 4

Bernhard von Stengel

Contributed Papers:

Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness . . . . . . . . . . . . . . . 6

Thomas Agotnes and Natasha Alechina.

Alternating-time Temporal Logics with Irrevocable Strategies . . . . . . . . . . . . . . . . . . . . . . . .15

Thomas Agotnes, Valentin Goranko and Wojtek Jamroga

Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets . . . . . . . . . . . .. . . . . . . . . . . . . . . . 25

Krzysztof Apt

Commonsense Reasoning by Distance Semantics . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . 33

Ofer Arieli

What can we achieve by arbitrary announcements? - A dynamic take on Fitch's knowability . . . . . . . . . . . . . . . . . . . . 42

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tiago De Lima and Tomohiro Hoshi From Conditional Probability to the Logic of Doxastic Actions . . . . . . . . .52

Alexandru Baltag and Sonja Smets.

Knowledge-based modeling of voting protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

A. Baskar, R. Ramanujam and S.P. Suresh

Merging Frameworks for Interaction: DEL and ETL . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . .72

Johan van Benthem, Jelle Gerbrandy and Eric Pacuit

The Computational Complexity of Choice Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

Felix Brandt, Felix Fischer and Paul Harrenstein

A Normal Simulation of Coalition Logic and an Epistemic Extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

Jan Broersen, Andreas Herzig and Nicolas Troquard

Limited Verification of Identities to Induce False-Name-Proofness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102

Vincent Conitzer

Imaging and Sleeping Beauty: A Case for Double-Halfers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

Mikael Cozic

Inexact Knowledge, Margin for Error and Positive Introspection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

Julien Dutant

Vote Manipulation in the Presence of Multiple Sincere Ballots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

Ulle Endriss

Incorporating Unawareness into Contract Theory . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

Emel Filiz

Theorems and Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .145

Spyros Galanis

Common p-belief and uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .155

Jayant Ganguli

A Flexible Mechanism for Dialogue Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .160

Jelle Gerbrandy, Guido Boella and Joris Hulstijn

Dealing With Logical Omniscience . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169

Joseph Halpern and Riccardo Pucella

A Canonical Model for Interactive Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177

Aviad Heifetz, Martin Meier and Burkhard Schipper

Unawareness, Beliefs and Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .183

Aviad Heifetz, Martin Meier and Burkhard Schipper

Explaining Quantity Implicatures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .193

Tikitu de Jager and Robert van Rooij

Communication, consensus and order. Who wants to speak first? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203

Lucie Menager and Nicolas Houy.

Preservation of Epistemic Properties in Security Protocol Implementations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212

Ron van der Meyden and Thomas Wilke

Robust Equilibria Under Non-Common Priors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222

Daisuke Oyama and Olivier Tercieux

Unawareness and Strategic Announcements in Games with Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231

Erkut Ozbay

Perfect Cryptography, S5 Knowledge, and Algorithmic Knowledge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239

Sabina Petride and Riccardo Pucella

Judgment aggregation and the problem of truth-tracking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248

Gabriella Pigozzi and Stephan Hartmann

Generalized Solution Concepts in Games with Possibly Unaware Players . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .253

Leandro Rego and Joseph Halpern

Convergence of Behavior in Social Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263

Dinah Rosenberg, Eilon Solan and Nicolas Vieille

Alternating-time Temporal Logic with Explicit Strategies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .269

Dirk Walther, Wiebe van der Hoek and Michael Wooldridge

Sequential voting rules and multiple elections paradoxes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .279

Lirong Xia, Jerome Lang and Mingsheng Ying

Author index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 289