We study the myopic stability of hedonic coalition formation. Myopic stability means that for each unstable coalition structure there exists a sequence of myopic blockings that leads to a stable coalition structure. The main result is a characterization of the hedonic coalition formation models which are myopically stable whenever a stable coalition structure exists. One interesting implication...

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The article studies an interplay between the distributed knowledge, coalition strategies, and coalition “know-how” strategies. The main technical result is a soun...

We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as “every coalition satisfying property P can achieve φ” and “there exists a coalition C satisfying property P such that C can achieve φ”. We give ...

Advocacy coalitions often play an important role in the state health policymaking process, yet little is known about their structure, composition, and behavior. In 2008, California became the first state to enact a menu labeling law. Using the advocacy coalition framework, we examine different facets of the coalitions involved in California's menu labeling policy debate. We use a qualitative re...

Coalition network-centric operations are a crucial component of future military operations but their success and efficiency is by no means guaranteed and simulation is one powerful technique for assuring this success. The challenges of coalition operations that simulation can address spring from a number of sources, including differences in equipment, differences in training, and differences in...

We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolutionb...

We formulate the problem of distributed throughput-efficient sensing in cognitive radio (CR) networks as a dynamic coalition formation game based on a Markovian model. The proposed coalition formation enables the CRs to increase their achievable throughput, under the detection probability constraint, while also taking into account the overhead in sensing reports combining. The dynamic model of ...

The two main questions in coalition games are 1) what coalitions should form and 2) how to distribute the value of each coalition between its members. When a game is not superadditive, other coalition structures (CSs) may be more attractive than the grand coalition. For example, if the agents care about the total payoff generated by the entire society, CSs that maximize utilitarian social welfa...

This paper reinterprets the γ -core (Chander and Tulkens in Int Tax Pub Financ 2:279–293, 1995; in Int J Game Theory 26:379–401, 1997) and justifies it as well as its prediction that the efficient coalition structure is stable in terms of the coalition formation theory. The problem of coalition formation is formulated as an infinitely repeated game in which the players must choose whether to co...