Boolean games are a natural, compact, and expressive class of logic-based games, in
which each player exercises unique control over some set of Boolean variables, and has …

Decision-DNNF is a strict subset of decomposable negation normal form (DNNF) that plays
a key role in analyzing the complexity of model counters (the searches performed by these …

We study hedonic games with dichotomous preferences. Hedonic games are cooperative
games in which players desire to form coalitions, but only care about the makeup of the …

Boolean games (BGs) are a framework for specifying strategic games in which the utility of
an agent is determined based on the satisfaction of goals in propositional logic. The majority …

Boolean games are a game-theoretic framework in which propositional logic is used to
describe agents' goals. In this paper we investigate how agents in Boolean games can …

Boolean games are a framework for reasoning about the rational behaviour of agents,
whose goals are formalized using propositional formulas. They offer an attractive alternative …

Boolean games are a framework for reasoning about the rational behavior of agents whose
goals are formalized using propositional formulas. Compared to normal form games, a well …

Boolean games are an expressive and natural formalism through which to investigate
problems of strategic interaction in multiagent systems. Although they have been widely …

Game Theory studies situations in which multiple agents having conflicting objectives have
to reach a collective decision. The question of a compact representation language for agents …

In Boolean games, agents try to reach a goal formulated as a Boolean formula. These
games are attractive because of their compact representations. However, few methods are …