Iterated Boolean games

Iterated Boolean games

Show other versions (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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gutierrez, J, Harrenstein, P, Wooldridge, M
Fformat:	Conference item
Cyhoeddwyd:	AAAI Press / International Joint Conferences on Artificial Intelligence 2013

Eitemau Tebyg

Iterated Boolean games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2015)

Expressiveness and Nash equilibrium in iterated Boolean games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2016)

Iterated Boolean games for rational verification
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2017)

Boolean Hedonic Games
gan: Aziz, H, et al.
Cyhoeddwyd: (2016)

Characterising the manipulability of Boolean games
gan: Harrenstein, BP, et al.
Cyhoeddwyd: (2017)

Hard and Soft Preparation Sets in Boolean Games
gan: Harrenstein, B, et al.
Cyhoeddwyd: (2015)

Behavioural strategies in weighted boolean games
gan: Han, D, et al.
Cyhoeddwyd: (2020)

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
gan: Harrenstein, P, et al.
Cyhoeddwyd: (2015)

Incentive Engineering for Boolean Games.
gan: Endriss, U, et al.
Cyhoeddwyd: (2011)

Rational Verification in Iterated Electric Boolean Games
gan: Youssouf Oualhadj, et al.
Cyhoeddwyd: (2016-07-01)

Reasoning about equilibria in game-like concurrent systems
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2014)

Reasoning about equilibria in game-like concurrent systems
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2016)

Iterated games with LDL goals
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2017)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
gan: Bradfield, J, et al.
Cyhoeddwyd: (2015)

Partial order games
gan: Zahoransky, V, et al.
Cyhoeddwyd: (2021)

Local equilibria in logic-based multi-player games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2018)

Partial Order Games
gan: Valeria Zahoransky, et al.
Cyhoeddwyd: (2021-12-01)

Iterated games with LDL goals over finite traces
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2017)

Efficient computation of semivalues for game-theoretic network centrality
gan: Tarkowski, M, et al.
Cyhoeddwyd: (2018)

Iterated boolean sums of Bernstein and related operators
gan: Ioan Raşa
Cyhoeddwyd: (2006-02-01)

Iterated boolean sums of Bernstein and related operators
gan: Ioan Raşa
Cyhoeddwyd: (2006-02-01)

Expressiveness and complexity results for strategic reasoning
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2015)

𝑘-prize weighted voting games
gan: Harrenstein, B, et al.
Cyhoeddwyd: (2023)

From model checking to equilibrium checking: reactive modules for rational verification
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2017)

Complexity of mixed equilibria in boolean games
gan: Ianovski, E
Cyhoeddwyd: (2016)

Relaxing Exclusive Control in Boolean Games
gan: Francesco Belardinelli, et al.
Cyhoeddwyd: (2017-07-01)

Approximating attractors of Boolean networks by iterative CTL model checking
gan: Hannes eKlarner, et al.
Cyhoeddwyd: (2015-09-01)

Rational verification: game-theoretic verification of multi-agent systems
gan: Abate, A, et al.
Cyhoeddwyd: (2021)

Nash equilibrium and bisimulation invariance
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2017)

GuaranteeNash for Boolean games is NEXP−hard
gan: Ianovski, E, et al.
Cyhoeddwyd: (2014)

Nash equilibrium and bisimulation invariance
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2019)

Logical Consequence and the Theory of Games
gan: Paul Harrenstein
Cyhoeddwyd: (2004-10-01)

Cooperative Concurrent Games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2019)

Equilibria of concurrent games on event structures
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2014)

Simulating cardinal preferences in Boolean games: A proof technique
gan: Ianovski, E, et al.
Cyhoeddwyd: (2018)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
gan: Gijs Kant, et al.
Cyhoeddwyd: (2012-10-01)

Nash Equilibrium and Bisimulation Invariance
gan: Julian Gutierrez, et al.
Cyhoeddwyd: (2019-09-01)

Delegating decisions in strategic settings
gan: Dunne, P, et al.
Cyhoeddwyd: (2020)

Mean-payoff games with ω-regular specifications
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2022)