English
Related papers

Related papers: A Category for Extensive-Form Games

200 papers

We want to introduce another smoothing approach by treating each geometric element as a player in a game: a quest for the best element quality. In other words, each player has the goal of becoming as regular as possible. The set of…

Computer Science and Game Theory · Computer Science 2020-10-13 Dimitris Vartziotis , Doris Bohnet , Benjamin Himpel

In recent years, there has been a growing interest in games on graphs within the research community, fueled by their relevance in applications such as economics, politics, and epidemiology. This paper aims to comprehensively detail the…

Computer Science and Game Theory · Computer Science 2024-06-11 Christian Giannetti

We introduce a two-player nonlocal game, called the $(G,H)$-isomorphism game, where classical players can win with certainty if and only if the graphs $G$ and $H$ are isomorphic. We then define the notions of quantum and non-signalling…

Algorithmic game theory (AGT) focuses on the design and analysis of algorithms for interacting agents, with interactions rigorously formalized within the framework of games. Results from AGT find applications in domains such as online…

Computer Science and Game Theory · Computer Science 2017-10-23 Ian Gemp , Sridhar Mahadevan

Video game music (VGM) is often studied under the same lens as film music, which largely focuses on its theoretical functionality with relation to the identified genres of the media. However, till date, we are unaware of any systematic…

Sound · Computer Science 2026-01-07 Daeun Hwang , Xuyuan Cai , Edward F. Melcer , Elin Carstensdottir

For a set-valued function $F$ on a compact subset $W$ of a manifold, spanning is a topological property that implies that $F(x) \ne 0$ for interior points $x$ of $W$. A myopic equilibrium applies when for each action there is a payoff whose…

Theoretical Economics · Economics 2021-07-01 Robert Simon , Stanislaw Spiez , Henryk Torunczyk

Procedural content generation via machine learning (PCGML) has shown success at producing new video game content with machine learning. However, the majority of the work has focused on the production of static game content, including game…

Artificial Intelligence · Computer Science 2020-10-06 Nazanin Yousefzadeh Khameneh , Matthew Guzdial

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically…

Logic in Computer Science · Computer Science 2015-05-18 Samuel Mimram

The field of Game Theory provides a useful mechanism for modeling many decision-making scenarios. In participating in these scenarios individuals and groups adopt particular strategies, which generally perform with varying levels of…

Multiagent Systems · Computer Science 2018-07-24 Francis Lawlor , Rem Collier , Vivek Nallur

We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity,…

Logic · Mathematics 2023-02-03 Peter Holy , Philipp Schlicht , Christopher Turner , Philip Welch

We consider a class of games that are generalizations of the minority game, in that the demand and supply of the resource are specified independently. This allows us to study systems in which agents compete for a resource under different…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Robert Savit , Sven A. Brueckner , H. Van Dyke Parunak , John Sauter

We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard…

Logic in Computer Science · Computer Science 2023-06-22 Simon Castellan , Pierre Clairambault , Glynn Winskel

Multi-level languages and Arrows both facilitate metaprogramming, the act of writing a program which generates a program. The arr function required of all Arrows turns arbitrary host language expressions into guest language expressions;…

Programming Languages · Computer Science 2011-04-13 Adam Megacz

A generalized model of games is proposed, in which cooperative games and non-cooperative games are special cases. Some games that are neither cooperative nor non-cooperative can be expressed and analyzed. The model is based on relationships…

Computer Science and Game Theory · Computer Science 2016-10-10 Jiawei Li

The strategic selection of resources by selfish agents has long been a key area of research, with Resource Selection Games and Congestion Games serving as prominent examples. In these traditional frameworks, agents choose from a set of…

Computer Science and Game Theory · Computer Science 2025-05-13 Henri Zeiler

With the success of modern machine learning, it is becoming increasingly important to understand and control how learning algorithms interact. Unfortunately, negative results from game theory show there is little hope of understanding or…

When applied to the same game, probability theory and game theory can disagree on calculated values of the Fisher information, the log likelihood function, entropy gradients, the rank and Jacobian of variable transforms, and even the…

Computer Science and Game Theory · Computer Science 2012-08-21 Michael J. Gagen

We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate…

Combinatorics · Mathematics 2011-07-27 Will Johnson

Historically applied exclusively to perfect information games, depth-limited search with value functions has been key to recent advances in AI for imperfect information games. Most prominent approaches with strong theoretical guarantees…

Computer Science and Game Theory · Computer Science 2023-11-27 Christopher Solinas , Douglas Rebstock , Nathan R. Sturtevant , Michael Buro

This paper is concerned with games of infinite duration played over potentially infinite graphs. Recently, Ohlmann (LICS 2022) presented a characterisation of objectives admitting optimal positional strategies, by means of universal graphs:…

Formal Languages and Automata Theory · Computer Science 2025-03-26 Antonio Casares , Pierre Ohlmann