Applying relational algebra and Rel

We present an application of relational algebra to coalition formation. This leads to specifications, which can be executed with the help of the RelView tool after a simple translation into the tool's programming language. As an example we consider a simplification of the situation in Poland after the 2001 elections.

[1]  Emden R. Gansner,et al.  A Technique for Drawing Directed Graphs , 1993, IEEE Trans. Software Eng..

[2]  Gunther Schmidt,et al.  RelView and Rath - Two Systems for Dealing with Relations , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

[3]  Rudolf Berghammer,et al.  Computing Kernels in Directed Bichromatic Graphs , 1997, Inf. Process. Lett..

[4]  Rudolf Berghammer,et al.  Realtion-Algebraic Analysis of Petri Nets with RELVIEW , 1996, TACAS.

[5]  A.M.A. van Deemen,et al.  Coalition Formation and Social Choice , 1997 .

[6]  Agnieszka Rusinowska,et al.  Negotiating a Stable Government: An Application of Bargaining Theory to a Coalition Formation Model , 2008 .

[7]  Marc Roubens,et al.  Using MACBETH to determine utilities of governments to parties in coalition formation , 2006, Eur. J. Oper. Res..

[8]  Rudolf Berghammer,et al.  Implementation of Relational Algebra Using Binary Decision Diagrams , 2001, RelMiCS.

[9]  Rudolf Berghammer,et al.  Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem , 2000, Sci. Comput. Program..

[10]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[11]  Miranda Wilhelmina Maria de Vries,et al.  Governing with your closest neighbour : an assessment of spatial coalition formation theories , 1999 .

[12]  Harrie C. M. de Swart,et al.  A new model of coalition formation , 2005, Soc. Choice Welf..