Iterated Boolean games

Iterated Boolean games

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Gutierrez, J, Harrenstein, P, Wooldridge, M
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	AAAI Press / International Joint Conferences on Artificial Intelligence 2013

Benzer Materyaller

Iterated Boolean games
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Expressiveness and Nash equilibrium in iterated Boolean games
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Iterated Boolean games for rational verification
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Boolean Hedonic Games
Yazar:: Aziz, H, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Characterising the manipulability of Boolean games
Yazar:: Harrenstein, BP, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Hard and Soft Preparation Sets in Boolean Games
Yazar:: Harrenstein, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Behavioural strategies in weighted boolean games
Yazar:: Han, D, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
Yazar:: Harrenstein, P, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Incentive Engineering for Boolean Games.
Yazar:: Endriss, U, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Rational Verification in Iterated Electric Boolean Games
Yazar:: Youssouf Oualhadj, ve diğerleri
Baskı/Yayın Bilgisi: (2016-07-01)

Reasoning about equilibria in game-like concurrent systems
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Reasoning about equilibria in game-like concurrent systems
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Iterated games with LDL goals
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Yazar:: Bradfield, J, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Partial order games
Yazar:: Zahoransky, V, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Local equilibria in logic-based multi-player games
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Partial Order Games
Yazar:: Valeria Zahoransky, ve diğerleri
Baskı/Yayın Bilgisi: (2021-12-01)

Iterated games with LDL goals over finite traces
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Efficient computation of semivalues for game-theoretic network centrality
Yazar:: Tarkowski, M, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Iterated boolean sums of Bernstein and related operators
Yazar:: Ioan Raşa
Baskı/Yayın Bilgisi: (2006-02-01)

Iterated boolean sums of Bernstein and related operators
Yazar:: Ioan Raşa
Baskı/Yayın Bilgisi: (2006-02-01)

Expressiveness and complexity results for strategic reasoning
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

𝑘-prize weighted voting games
Yazar:: Harrenstein, B, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

From model checking to equilibrium checking: reactive modules for rational verification
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Complexity of mixed equilibria in boolean games
Yazar:: Ianovski, E
Baskı/Yayın Bilgisi: (2016)

Relaxing Exclusive Control in Boolean Games
Yazar:: Francesco Belardinelli, ve diğerleri
Baskı/Yayın Bilgisi: (2017-07-01)

Approximating attractors of Boolean networks by iterative CTL model checking
Yazar:: Hannes eKlarner, ve diğerleri
Baskı/Yayın Bilgisi: (2015-09-01)

Rational verification: game-theoretic verification of multi-agent systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Nash equilibrium and bisimulation invariance
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

GuaranteeNash for Boolean games is NEXP−hard
Yazar:: Ianovski, E, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Nash equilibrium and bisimulation invariance
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Logical Consequence and the Theory of Games
Yazar:: Paul Harrenstein
Baskı/Yayın Bilgisi: (2004-10-01)

Cooperative Concurrent Games
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Equilibria of concurrent games on event structures
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Simulating cardinal preferences in Boolean games: A proof technique
Yazar:: Ianovski, E, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
Yazar:: Gijs Kant, ve diğerleri
Baskı/Yayın Bilgisi: (2012-10-01)

Nash Equilibrium and Bisimulation Invariance
Yazar:: Julian Gutierrez, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

Delegating decisions in strategic settings
Yazar:: Dunne, P, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Mean-payoff games with ω-regular specifications
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2022)