Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational algorithms for solving some basic problems of them. In particular, we test certain...

A stable government is by definition not dominated by any other government. However, it may happen that all governments are dominated. In graph-theoretic terms this means that the dominance graph does not possess a source. In this paper we are able to deal with this case by a clever combination...

We present an application of relation algebra to measure players' 'strength' in a social network with influence between players. In particular, we deal with power, success, and influence of a player as measured by the Hoede-Bakker index, its generalization and modifications, and by the influence...

We present an application of relation algebra to measure agents' 'strength' in a social network with influence between agents. In particular, we deal with power, success, and influence of an agent as measured by the generalized Hoede-Bakker index and its modifications, and by the influence...

We present an application of relation algebra to measure players strength in a social network with influence between players. In particular, we deal with power, success, and influence of a player as measured by the Hoede-Bakker index, its generalization and modifications, and by the influence...

We describe a simple computing technique for the tournament choice problem. It rests upon relational modeling and uses the BDD-based computer system RelView for the evaluation of the relation-algebraic expressions that specify the solutions and for the visualization of the computed results. The...