Iterated Boolean games

Iterated Boolean games

Показать другие версии (1)

Iterated games are well-known in the game theory literature. We study iterated Boolean games. These are games in which players repeatedly choose truth values for Boolean variables they have control over. Our model of iterated Boolean games assumes that players have goals given by formulae of Linear...

Полное описание

Библиографические подробности
Главные авторы:	Gutierrez, J, Harrenstein, P, Wooldridge, M
Формат:	Conference item
Опубликовано:	AAAI Press / International Joint Conferences on Artificial Intelligence 2013

Схожие документы

Iterated Boolean games
по: Gutierrez, J, и др.
Опубликовано: (2015)

Expressiveness and Nash equilibrium in iterated Boolean games
по: Gutierrez, J, и др.
Опубликовано: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
по: Gutierrez, J, и др.
Опубликовано: (2016)

Iterated Boolean games for rational verification
по: Gutierrez, J, и др.
Опубликовано: (2017)

Boolean Hedonic Games
по: Aziz, H, и др.
Опубликовано: (2016)

Characterising the manipulability of Boolean games
по: Harrenstein, BP, и др.
Опубликовано: (2017)

Hard and Soft Preparation Sets in Boolean Games
по: Harrenstein, B, и др.
Опубликовано: (2015)

Behavioural strategies in weighted boolean games
по: Han, D, и др.
Опубликовано: (2020)

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
по: Harrenstein, P, и др.
Опубликовано: (2015)

Incentive Engineering for Boolean Games.
по: Endriss, U, и др.
Опубликовано: (2011)

Rational Verification in Iterated Electric Boolean Games
по: Youssouf Oualhadj, и др.
Опубликовано: (2016-07-01)

Reasoning about equilibria in game-like concurrent systems
по: Gutierrez, J, и др.
Опубликовано: (2014)

Reasoning about equilibria in game-like concurrent systems
по: Gutierrez, J, и др.
Опубликовано: (2016)

Iterated games with LDL goals
по: Gutierrez, J, и др.
Опубликовано: (2017)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
по: Bradfield, J, и др.
Опубликовано: (2015)

Partial order games
по: Zahoransky, V, и др.
Опубликовано: (2021)

Local equilibria in logic-based multi-player games
по: Gutierrez, J, и др.
Опубликовано: (2018)

Partial Order Games
по: Valeria Zahoransky, и др.
Опубликовано: (2021-12-01)

Iterated games with LDL goals over finite traces
по: Gutierrez, J, и др.
Опубликовано: (2017)

Efficient computation of semivalues for game-theoretic network centrality
по: Tarkowski, M, и др.
Опубликовано: (2018)

Iterated boolean sums of Bernstein and related operators
по: Ioan Raşa
Опубликовано: (2006-02-01)

Iterated boolean sums of Bernstein and related operators
по: Ioan Raşa
Опубликовано: (2006-02-01)

Expressiveness and complexity results for strategic reasoning
по: Gutierrez, J, и др.
Опубликовано: (2015)

𝑘-prize weighted voting games
по: Harrenstein, B, и др.
Опубликовано: (2023)

From model checking to equilibrium checking: reactive modules for rational verification
по: Gutierrez, J, и др.
Опубликовано: (2017)

Complexity of mixed equilibria in boolean games
по: Ianovski, E
Опубликовано: (2016)

Relaxing Exclusive Control in Boolean Games
по: Francesco Belardinelli, и др.
Опубликовано: (2017-07-01)

Approximating attractors of Boolean networks by iterative CTL model checking
по: Hannes eKlarner, и др.
Опубликовано: (2015-09-01)

Rational verification: game-theoretic verification of multi-agent systems
по: Abate, A, и др.
Опубликовано: (2021)

Nash equilibrium and bisimulation invariance
по: Gutierrez, J, и др.
Опубликовано: (2017)

GuaranteeNash for Boolean games is NEXP−hard
по: Ianovski, E, и др.
Опубликовано: (2014)

Nash equilibrium and bisimulation invariance
по: Gutierrez, J, и др.
Опубликовано: (2019)

Logical Consequence and the Theory of Games
по: Paul Harrenstein
Опубликовано: (2004-10-01)

Cooperative Concurrent Games
по: Gutierrez, J, и др.
Опубликовано: (2019)

Equilibria of concurrent games on event structures
по: Gutierrez, J, и др.
Опубликовано: (2014)

Simulating cardinal preferences in Boolean games: A proof technique
по: Ianovski, E, и др.
Опубликовано: (2018)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
по: Gijs Kant, и др.
Опубликовано: (2012-10-01)

Nash Equilibrium and Bisimulation Invariance
по: Julian Gutierrez, и др.
Опубликовано: (2019-09-01)

Delegating decisions in strategic settings
по: Dunne, P, и др.
Опубликовано: (2020)

Mean-payoff games with ω-regular specifications
по: Gutierrez, J, и др.
Опубликовано: (2022)