Theoretical Aspects of Rationality and Knowledge

Proceedings of the Eleventh Conference (TARK 2007)
Première édition

Édité par 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 a


Livre broché - En anglais 22,50 €
Info Les commandes en ligne se font via notre partenaire i6doc.

Spécifications


Éditeur
Presses universitaires de Louvain
Édité par
Dov Samet,
Collection
Hors collection (Presses universitaires de Louvain)
Langue
anglais
Catégorie (éditeur)
Catalogue > Ouvrages isolés
Catégorie (éditeur)
Psychologie et éducation
Code publique Onix
01 General / trade
Date de première publication du titre
01 janvier 2007
Type d'ouvrage
Monographie
Langue originale
anglais

Livre broché


Details de produit
1 A4
Date de publication
01 janvier 2007
ISBN-13
978-2-87463-077-4
Ampleur
Nombre de pages de contenu principal : 300
Code interne
76020
Format
16 x 24 x 1,7 cm
Poids
485 grammes
Prix
22,50 €
ONIX XML
Version 2.1, Version 3

Google Livres Aperçu


Publier un commentaire sur cet ouvrage

Si vous avez une question, utilisez plutôt notre formulaire de contact

Sommaire


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