English
Related papers

Related papers: Power measures derived from the sequential query p…

200 papers

Many analysis and verifications tasks, such as static program analyses and model-checking for temporal logics reduce to the solution of systems of equations over suitable lattices. Inspired by recent work on lattice-theoretic progress…

Logic in Computer Science · Computer Science 2021-04-20 Paolo Baldan , Barbara König , Tommaso Padoan , Christina Mika-Michalski

In Network games under cooperative framework, the position value is a link based allocation rule. It is obtained from the Shapley value of an associated cooperative game where the links of the network are considered players. The Shapley…

Theoretical Economics · Economics 2023-08-08 Niharika Kakoty , Surajit Borkotokey , Rajnish Kumar , Abhijit Bora

If the influence diagram (ID) depicting a Bayesian game is common knowledge to its players then additional assumptions may allow the players to make use of its embodied irrelevance statements. They can then use these to discover a simpler…

Computer Science and Game Theory · Computer Science 2017-04-10 Peter A. Thwaites , Jim Q. Smith

We extend the formalism of Conjectural Variations games to Stackelberg games involving multiple leaders and a single follower. To solve these nonconvex games, a common assumption is that the leaders compute their strategies having perfect…

Computer Science and Game Theory · Computer Science 2025-07-24 Francesco Morri , Hélène Le Cadre , Luce Brotcorne

Recent developments surrounding resource theories have shown that any quantum state or measurement resource, with respect to a convex (and compact) set of resourceless objects, provides an advantage in a tailored subchannel or state…

Quantum Physics · Physics 2020-05-05 Roope Uola , Tristan Kraft , Alastair A. Abbott

We present an unsupervised method for aggregating anomalies in tabular datasets by identifying the top-k tabular data quality insights. Each insight consists of a set of anomalous attributes and the corresponding subsets of records that…

Machine Learning · Computer Science 2025-01-14 Manisha Padala , Lokesh Nagalapatti , Atharv Tyagi , Ramasuri Narayanam , Shiv Kumar Saini

We consider MultiCriteria Decision Analysis models which are defined over discrete attributes, taking a finite number of values. We do not assume that the model is monotonically increasing with respect to the attributes values. Our aim is…

Computer Science and Game Theory · Computer Science 2017-04-10 Mustapha Ridaoui , Michel Grabisch , Christophe Labreuche

We study the underlying mathematical properties of various partial order models of concurrency based on transition systems, Petri nets, and event structures, and show that the concurrent behaviour of these systems can be captured in a…

Logic in Computer Science · Computer Science 2010-11-05 Julian Gutierrez

We study the notion of efficiency for cooperative games on simplicial complexes. In such games, the grand coalition $[n]$ may be forbidden, and, thus, it is a non-trivial problem to study the total number of payoff $v_{\Delta}$ of a…

Combinatorics · Mathematics 2020-01-22 Ivan Martino

In game theory, the concept of Nash equilibrium reflects the collective stability of some individual strategies chosen by selfish agents. The concept pertains to different classes of games, e.g. the sequential games, where the agents play…

Logic · Mathematics 2015-07-01 Stephane Le Roux

A solution concept on a class of transferable utility coalitional games is a multifunction satisfying given criteria of economic rationality. Every solution associates a set of payoff allocations with a coalitional game. This general…

Combinatorics · Mathematics 2020-10-13 Tomáš Kroupa

Additive feature explanations using Shapley values have become popular for providing transparency into the relative importance of each feature to an individual prediction of a machine learning model. While Shapley values provide a unique…

Machine Learning · Computer Science 2021-12-21 Thomas W. Campbell , Heinrich Roder , Robert W. Georgantas , Joanna Roder

Weighted voting is a classic model of cooperation among agents in decision-making domains. In such games, each player has a weight, and a coalition of players wins the game if its total weight meets or exceeds a given quota. A players power…

Computer Science and Game Theory · Computer Science 2014-01-17 Haris Aziz , Yoram Bachrach , Edith Elkind , Mike Paterson

For a wide range of entropy measures, easy calculation of equilibria is possible using a principle of Game Theoretical Equilibrium related to Jaynes Maximum Entropy Principle. This follows previous work of the author and relates to works of…

Statistical Mechanics · Physics 2009-11-13 Flemming Topsøe

Over the last few years, the Shapley value, a solution concept from cooperative game theory, has found numerous applications in machine learning. In this paper, we first discuss fundamental concepts of cooperative game theory and axiomatic…

Machine Learning · Computer Science 2022-05-27 Benedek Rozemberczki , Lauren Watson , Péter Bayer , Hao-Tsung Yang , Olivér Kiss , Sebastian Nilsson , Rik Sarkar

We regard Forcing Notions P adding real numbers and the algebras of P-measurable sets. As for Cohen- and Random-Forcing we can show that each analytic set is P-measurable using Solovay's Unfolding Trick for infinite games. To show this we…

Logic · Mathematics 2016-09-06 Benedikt Loewe

We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state. It is often advantageous for players to choose…

Logic in Computer Science · Computer Science 2015-07-01 Luca de Alfaro , Rupak Majumdar , Vishwanath Raman , Mariëlle Stoelinga

A simple game $(N,v)$ is given by a set $N$ of $n$ players and a partition of~$2^N$ into a set~$\mathcal{L}$ of losing coalitions~$L$ with value $v(L)=0$ that is closed under taking subsets and a set $\mathcal{W}$ of winning coalitions $W$…

Computer Science and Game Theory · Computer Science 2020-04-08 Frits Hof , Walter Kern , Sascha Kurz , Kanstantsin Pashkovich , Daniël Paulusma

We consider the dataset valuation problem, that is, the problem of quantifying the incremental gain, to some relevant pre-defined utility of a machine learning task, of aggregating an individual dataset to others. The Shapley value is a…

Artificial Intelligence · Computer Science 2025-02-25 Felipe Garrido-Lucero , Benjamin Heymann , Maxime Vono , Patrick Loiseau , Vianney Perchet

We give a unified treatment of the convergence of random series and the rate of convergence of strong law of large numbers in the framework of game-theoretic probability of Shafer and Vovk (2001). We consider games with the quadratic hedge…

Probability · Mathematics 2011-11-23 Kenshi Miyabe , Akimichi Takemura