Semantics modulo satisfiability with applications: function representation, probabilities and game theory.
Sandro Márcio da Silva PretoPublished in: Bull. Symb. Log. (2022)
Keyphrases
- game theory
- game theoretic
- resource allocation
- cooperative
- multi agent systems
- nash equilibrium
- mechanism design
- fictitious play
- statistical physics
- multi agent learning
- public goods
- financial crisis
- solution concepts
- nash equilibria
- multi valued
- probability distribution
- graphical representation
- decision theory
- state space
- special case
- cooperative game theory
- imprecise probabilities
- computational complexity