4 citations · 9 across the 6 of their papers we have counts for
9 papers
A finite axiomatization of positive MV-algebras
Marco Abbadini, Peter Jipsen, Tomáš Kroupa +1
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature . We provide a finite quasi-equational axiomatization for…
Double Oracle Algorithm for Computing Equilibria in Continuous Games
Lukáš Adam, Rostislav Horčík, Tomáš Kasl +1
Many efficient algorithms have been designed to recover Nash equilibria of various classes of finite games. Special classes of continuous games with infinite strategy spaces, such…
Facets of the Cone of Totally Balanced Games
Tomáš Kroupa, Milan Studený
The class of totally balanced games is a class of transferable-utility coalitional games providing important models of cooperative behavior used in mathematical economics. They coi…
The cone of supermodular games on finite distributive lattices
Michel Grabisch, Tomáš Kroupa
In this article we study supermodular functions on finite distributive lattices. Relaxing the assumption that the domain is a powerset of a finite set, we focus on geometrical prop…
Ordered group-valued probability, positive operators, and integral representations
T. Kroupa
Probability maps are additive and normalised maps taking values in the unit interval of a lattice ordered Abelian group. They appear in theory of affine representations and they ar…
Representing Strategic Games and Their Equilibria in Many-Valued Logics
Libor Běhounek, Petr Cintula, Chris Fermüller +1
We introduce the notion of logical A-games for a fairly general class of algebras A of real truth-values. This concept generalizes the Boolean games of Harrenstein et al. as well a…
The Intermediate Set and Limiting Superdifferential for Coalition Games: Between the Core and the Weber Set
L. Adam, T. Kroupa
We introduce the intermediate set as an interpolating solution concept between the core and the Weber set of a coalitional game. The new solution is defined as the limiting superdi…
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Tomáš Kroupa, Bruno Teheux
Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide for…
Core-based criterion for extreme supermodular functions
M. Studený, T. Kroupa
We give a necessary and sufficient condition for extremality of a supermodular function based on its min-representation by means of (vertices of) the corresponding core polytope. T…