<TitleType>01</TitleType> <TitleText>Hors collection (Presses universitaires de Louvain)</TitleText>

Presses universitaires de Louvain onixsuitesupport@onixsuite.com 20260306 eng

COM.ONIXSUITE.9782874630774 03 01 Presses universitaires de Louvain 01 SKU 76020 02 2874630772 03 9782874630774 15 9782874630774 10 BC <TitleType>01</TitleType> <TitleText>Hors collection (Presses universitaires de Louvain)</TitleText> <TitleType>01</TitleType> <TitleText textcase="01">Theoretical Aspects of Rationality and Knowledge</TitleText> <Subtitle textcase="01">Proceedings of the Eleventh Conference (TARK 2007)</Subtitle> 01 GCOI 29303100971260 1 B01 Dov Samet Samet, Dov Dov Samet 1 01 eng 02 eng 300 00 300 03 24 INTERNET Psychologie et éducation 01 01 22 00 01 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 03 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 02 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... 01 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. 03 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. 02 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... 04 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 25 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. 43 Ouvrages isolés, actes de colloques, monographies, etc. 44 Ouvrages isolés, actes de colloques, monographies, etc. 99 BE 07 03 01 https://pul.uclouvain.be/resources/titles/29303100971260/images/9a84a0448b11c17666c7e5db74042219/THUMBNAIL/9782874630774.jpg 20160216 02 https://pul.uclouvain.be/book/?GCOI=29303100971260 06 3052405007518 Presses universitaires de Louvain 01 06 3052405007518 Presses universitaires de Louvain Louvain-la-Neuve BE 04 20070101 2007 01 WORLD 01 9.45 in 02 6.30 in 03 1.69 in 08 17.10 oz 01 24 cm 02 16 cm 03 1.69 cm 08 485 gr 06 3012405004818 CIACO - DUC 03 WORLD 01 2 20 1 02 00 02 02 STD 02 22.50 EUR BE R 6.00 21.23 1.27 06 3019000200508 Librairie Wallonie-Bruxelles 33 www.librairiewb.com/ http://www.librairiewb.com/ 02 FR 01 2 20 1 04 00 02 02 STD 02 22.50 EUR R 5.50 21.33 1.17