Tomás Kroupa

Orcid: 0000-0003-1531-2990

According to our database1, Tomás Kroupa authored at least 50 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Trust in Shapley: A Cooperative Quest for Global Trust in P2P Network.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
Values of games over Boolean player sets.
Int. J. Approx. Reason., 2023

Globally Optimal Inverse Kinematics as a Quadratic Program.
CoRR, 2023

Catch Me if You Can: Improving Adversaries in Cyber-Security with Q-Learning Algorithms.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022
Values of Games for Information Decomposition.
CoRR, 2022

Multiple Oracle Algorithm to Solve Continuous Games.
Proceedings of the Decision and Game Theory for Security - 13th International Conference, 2022

2021
Multiple Oracle Algorithm For General-Sum Continuous Games.
CoRR, 2021

Separable Network Games with Compact Strategy Sets.
Proceedings of the Decision and Game Theory for Security - 12th International Conference, 2021

Double Oracle Algorithm for Computing Equilibria in Continuous Games.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019
Facets of the cone of totally balanced games.
Math. Methods Oper. Res., 2019

The cone of supermodular games on finite distributive lattices.
Discret. Appl. Math., 2019

2017
Generalised states: a multi-sorted algebraic approach to probability.
Soft Comput., 2017

Modal extensions of Łukasiewicz logic for modelling coalitional power.
J. Log. Comput., 2017

The intermediate set and limiting superdifferential for coalitional games: between the core and the Weber set.
Int. J. Game Theory, 2017

2016
Representing strategic games and their equilibria in many-valued logics.
Log. J. IGPL, 2016

Core-based criterion for extreme supermodular functions.
Discret. Appl. Math., 2016

Computing Superdifferentials of Lovász Extension with Application to Coalitional Games.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015
Basic Solutions of Fuzzy Coalitional Games.
Proceedings of the Springer Handbook of Computational Intelligence, 2015

2014
Optimal strategic reasoning with McNaughton functions.
Int. J. Approx. Reason., 2014

Modal extension of Łukasiewicz logic for reasoning about coalitional power.
CoRR, 2014

2013
Special issue dedicated to Milan Mareš.
Kybernetika, 2013

Simple games in Łukasiewicz calculus and their cores.
Kybernetika, 2013

MV-Algebraic Moebius Transform on the Vietoris Space.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012
Extension of belief functions to infinite-valued events.
Soft Comput., 2012

Axiomatisation of fully probabilistic design.
Inf. Sci., 2012

States in Łukasiewicz logic correspond to probabilities of rational polyhedra.
Int. J. Approx. Reason., 2012

Combination and Soft-Normalization of Belief Functions on MV-Algebras.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

2011
Core of Coalition Games on MV-algebras.
J. Log. Comput., 2011

Editorial.
Int. J. Approx. Reason., 2011

Characterization of Generalized Necessity Functions in Łukasiewicz Logic.
Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

2010
From Probabilities to Belief Functions on MV-Algebras.
Proceedings of the Combining Soft Computing and Statistical Methods in Data Analysis, 2010

Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Enlarged cores and bargaining schemes in games with fuzzy coalitions.
Fuzzy Sets Syst., 2009

Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras.
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

2008
Geometry of possibility measures on finite sets.
Int. J. Approx. Reason., 2008

Filters in fuzzy class theory.
Fuzzy Sets Syst., 2008

Shapley mappings and the cumulative value for n-person games with fuzzy coalitions.
Eur. J. Oper. Res., 2008

Geometry of Cores of Submodular Coherent Upper Probabilities and Possibility Measures.
Proceedings of the Soft Methods for Handling Variability and Imprecision, 2008

2007
Topology in Fuzzy Class Theory: Basic Notions.
Proceedings of the Foundations of Fuzzy Logic and Soft Computing, 2007

Interior-Based Topology in Fuzzy Class Theory.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006
Application of the Choquet integral to measures of information in possibility theory.
Int. J. Intell. Syst., 2006

Every state on semisimple MV-algebra is integral.
Fuzzy Sets Syst., 2006

Representation and extension of states on MV-algebras.
Arch. Math. Log., 2006

2005
Many-dimensional observables on Łukasiewicz tribe: constructions, conditioning and conditional independence.
Kybernetika, 2005

Conditional probability on MV-algebras.
Fuzzy Sets Syst., 2005

Towards Formal Theory of Measure on Clans of Fuzzy Sets.
Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2004
Conditional independence in probability theory on MV-algebras.
Soft Comput., 2004

2003
On construction of joint observable on Lukasiewicz tribe.
Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

2002
WISECON - An Intelligent Assistant for Buying Computers on the Internet.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2000
Guide-X - a Step-by-Step, Markup-Based Approach to Guideline Formalisation.
Proceedings of the Computer-Based Support for Clinical Guidelines and Protocols, 2000


  Loading...