This guidance for seismic safety advocates on mobilizing public support for enhanced earthquake loss reduction activities starts with the assumption that such advocacy efforts have a lot in common with other attempts at bringing about social change through organized action. Since this is the case, it is possible to draw on several literatures and on empirical examples of other social change-ori...

Information technology governance is generally defined as the locus of IT decision-making authority. This paper argues that IT governance also includes the capability to integrate IT decision-making between key stakeholders. Exploratory case studies are conducted in Financial Services to develop a richer understanding of what the emerging capabilities are of IT governance. Findings indicate tha...

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

Current conflicts in the international arena are wars of insurgent action. As this action has proven necessary in the building of nations historically, the increased utilization of tactics to include guerilla war and terrorism has become commonplace. The proper identification of conditions, which promote violence, as well as exacerbate the utilization of promotion of political violence (terrori...

PVS (Prototype Verification System) is a comprehensive framework for writing formal logical specifications and constructing proofs. An interactive proof checker is a key component of PVS. The capabilities of this proof checker can be extended by defining proof strategies that are similar to LCF-style tactics. Commonly used proof strategies include those for discharging typechecking proof obliga...

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

The coalition formation problem in an economy with externalities can be adequately modeled by using games in partition function form (PFF games), proposed by Thrall and Lucas. If we suppose that forming the grand coalition generates the largest total surplus, a central question is how to allocate the worth of the grand coalition to each player, i.e., how to find an adequate solution concept, ta...

A set of coalition structures P is farsightedly stable (i) if all possible deviations from any coalition structure p belonging to P to a coalition structure outside P are deterred by the threat of ending worse off or equally well off, (ii) if there exists a farsighted improving path from any coalition structure outside the set leading to some coalition structure in the set, and (iii) if there i...