Iterated Boolean games

Iterated Boolean games

Hiển thị phiên bản (1) khác

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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Gutierrez, J, Harrenstein, P, Wooldridge, M
Định dạng:	Conference item
Được phát hành:	AAAI Press / International Joint Conferences on Artificial Intelligence 2013

Những quyển sách tương tự

Iterated Boolean games
Bằng: Gutierrez, J, et al.
Được phát hành: (2015)

Expressiveness and Nash equilibrium in iterated Boolean games
Bằng: Gutierrez, J, et al.
Được phát hành: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
Bằng: Gutierrez, J, et al.
Được phát hành: (2016)

Iterated Boolean games for rational verification
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

Boolean Hedonic Games
Bằng: Aziz, H, et al.
Được phát hành: (2016)

Characterising the manipulability of Boolean games
Bằng: Harrenstein, BP, et al.
Được phát hành: (2017)

Hard and Soft Preparation Sets in Boolean Games
Bằng: Harrenstein, B, et al.
Được phát hành: (2015)

Behavioural strategies in weighted boolean games
Bằng: Han, D, et al.
Được phát hành: (2020)

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
Bằng: Harrenstein, P, et al.
Được phát hành: (2015)

Incentive Engineering for Boolean Games.
Bằng: Endriss, U, et al.
Được phát hành: (2011)

Rational Verification in Iterated Electric Boolean Games
Bằng: Youssouf Oualhadj, et al.
Được phát hành: (2016-07-01)

Reasoning about equilibria in game-like concurrent systems
Bằng: Gutierrez, J, et al.
Được phát hành: (2014)

Reasoning about equilibria in game-like concurrent systems
Bằng: Gutierrez, J, et al.
Được phát hành: (2016)

Iterated games with LDL goals
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Bằng: Bradfield, J, et al.
Được phát hành: (2015)

Partial order games
Bằng: Zahoransky, V, et al.
Được phát hành: (2021)

Local equilibria in logic-based multi-player games
Bằng: Gutierrez, J, et al.
Được phát hành: (2018)

Partial Order Games
Bằng: Valeria Zahoransky, et al.
Được phát hành: (2021-12-01)

Iterated games with LDL goals over finite traces
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

Efficient computation of semivalues for game-theoretic network centrality
Bằng: Tarkowski, M, et al.
Được phát hành: (2018)

Iterated boolean sums of Bernstein and related operators
Bằng: Ioan Raşa
Được phát hành: (2006-02-01)

Iterated boolean sums of Bernstein and related operators
Bằng: Ioan Raşa
Được phát hành: (2006-02-01)

Expressiveness and complexity results for strategic reasoning
Bằng: Gutierrez, J, et al.
Được phát hành: (2015)

𝑘-prize weighted voting games
Bằng: Harrenstein, B, et al.
Được phát hành: (2023)

From model checking to equilibrium checking: reactive modules for rational verification
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

Complexity of mixed equilibria in boolean games
Bằng: Ianovski, E
Được phát hành: (2016)

Relaxing Exclusive Control in Boolean Games
Bằng: Francesco Belardinelli, et al.
Được phát hành: (2017-07-01)

Approximating attractors of Boolean networks by iterative CTL model checking
Bằng: Hannes eKlarner, et al.
Được phát hành: (2015-09-01)

Rational verification: game-theoretic verification of multi-agent systems
Bằng: Abate, A, et al.
Được phát hành: (2021)

Nash equilibrium and bisimulation invariance
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

GuaranteeNash for Boolean games is NEXP−hard
Bằng: Ianovski, E, et al.
Được phát hành: (2014)

Nash equilibrium and bisimulation invariance
Bằng: Gutierrez, J, et al.
Được phát hành: (2019)

Logical Consequence and the Theory of Games
Bằng: Paul Harrenstein
Được phát hành: (2004-10-01)

Cooperative Concurrent Games
Bằng: Gutierrez, J, et al.
Được phát hành: (2019)

Equilibria of concurrent games on event structures
Bằng: Gutierrez, J, et al.
Được phát hành: (2014)

Simulating cardinal preferences in Boolean games: A proof technique
Bằng: Ianovski, E, et al.
Được phát hành: (2018)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
Bằng: Gijs Kant, et al.
Được phát hành: (2012-10-01)

Nash Equilibrium and Bisimulation Invariance
Bằng: Julian Gutierrez, et al.
Được phát hành: (2019-09-01)

Delegating decisions in strategic settings
Bằng: Dunne, P, et al.
Được phát hành: (2020)

Mean-payoff games with ω-regular specifications
Bằng: Gutierrez, J, et al.
Được phát hành: (2022)