English
Related papers

Related papers: Public Announcements in Strategic Games with Arbit…

200 papers

We study the strategic aspects of social influence in a society of agents linked by a trust network, introducing a new class of games called games of influence. A game of influence is an infinite repeated game with incomplete information in…

Computer Science and Game Theory · Computer Science 2016-02-09 Umberto Grandi , Emiliano Lorini , Laurent Perrussel

Institutions and investors face the constant challenge of making accurate decisions and predictions regarding how best they should distribute their endowments. The problem of achieving an optimal outcome at minimal cost has been extensively…

Multiagent Systems · Computer Science 2021-02-09 Theodor Cimpeanu , Cedric Perret , The Anh Han

Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and…

Logic in Computer Science · Computer Science 2018-10-08 Rustam Galimullin , Natasha Alechina

I prove that it is irrational for agents with even slightly private preferences to condition their strategy on private information that is payoff-irrelevant to them, contrary to powerful techniques for analyzing communication and repeated…

Theoretical Economics · Economics 2026-05-29 Alistair Barton

We present a novel methodology for identifying public knowledge and eliminating the biases it creates when aggregating information in small group settings. A two stage mechanism consisting of an information market and a coordination game is…

Statistical Mechanics · Physics 2007-05-23 Kay-Yut Chen , Leslie R. Fine , Bernardo A. Huberman

The peculiarity of adversarial team games resides in the asymmetric information available to the team members during the play, which makes the equilibrium computation problem hard even with zero-sum payoffs. The algorithms available in the…

Computer Science and Game Theory · Computer Science 2022-01-26 Luca Carminati , Federico Cacciamani , Marco Ciccone , Nicola Gatti

Most existing work on strategic reasoning simply adopts either an informed or an uninformed semantics. We propose a model where knowledge of strategies can be specified on a fine-grained level. In particular, it is possible to distinguish…

Logic in Computer Science · Computer Science 2025-10-23 Borja Sierra Miranda , Thomas Studer

Most algorithmic studies on multi-agent information design so far have focused on the restricted situation with no inter-agent externalities; a few exceptions investigated truly strategic games such as zero-sum games and second-price…

Computer Science and Game Theory · Computer Science 2022-09-07 Chenghan Zhou , Thanh H. Nguyen , Haifeng Xu

Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and…

Logic in Computer Science · Computer Science 2017-07-28 Rustam Galimullin , Natasha Alechina

We study a general aggregation problem in which a society has to determine its position on each of several issues, based on the positions of the members of the society on those issues. There is a prescribed set of feasible evaluations,…

Computer Science and Game Theory · Computer Science 2015-03-20 Elad Dokow , Dvir Falik

This paper presents the research on the interdisciplinary research infrastructure for understanding human reasoning in game-theoretic terms. Strategic reasoning is considered to impact human decision making in social, economical and…

Computer Science and Game Theory · Computer Science 2011-05-04 Rustam Tagiew

Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represents a hostile environment. The evolution of the system…

Computer Science and Game Theory · Computer Science 2010-06-09 Julien Cristau , Claire David , Florian Horn

We consider the computational complexity of the question whether a certain strategy can be removed from a game by means of iterated elimination of dominated strategies. In particular, we study the influence of different definitions of…

Computational Complexity · Computer Science 2010-01-20 Arno Pauly

Algorithms for equilibrium computation generally make no attempt to ensure that the computed strategies are understandable by humans. For instance the strategies for the strongest poker agents are represented as massive binary files. In…

Computer Science and Game Theory · Computer Science 2019-01-23 Sam Ganzfried , Farzana Yusuf

A shallow semantical embedding for public announcement logic with relativized common knowledge is presented. This embedding enables the first-time automation of this logic with off-the-shelf theorem provers for classical higher-order logic.…

Artificial Intelligence · Computer Science 2022-12-12 Christoph Benzmüller , Sebastian Reiche

This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic (APAL), group announcement logic (GAL), and coalition announcement logic (CAL). In APAL we…

Logic in Computer Science · Computer Science 2024-06-07 Thomas Ågotnes , Hans van Ditmarsch , Tim French

This work lies in the fusion of experimental economics and data mining. It continues author's previous work on mining behaviour rules of human subjects from experimental data, where game-theoretic predictions partially fail to work.…

Computer Science and Game Theory · Computer Science 2012-11-13 Rustam Tagiew

We model the communication of narratives as a cheap-talk game under model uncertainty. The sender has private information about the true data generating process of publicly observable data. The receiver is uncertain about how to interpret…

Theoretical Economics · Economics 2025-07-09 Gerrit Bauch , Manuel Foerster

Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct Box phi…

Logic in Computer Science · Computer Science 2023-06-22 Hans van Ditmarsch , Tim French

We investigate the behavior of experts who seek to make predictions with maximum impact on an audience. At a known future time, a certain continuous random variable will be realized. A public prediction gradually converges to the outcome,…

Computer Science and Game Theory · Computer Science 2017-10-03 Amir Ban , Yossi Azar , Yishay Mansour