Mean-Payoff Games and Propositional Proofs.
Albert AtseriasElitza N. ManevaPublished in: ICALP (1) (2010)
Keyphrases
- game theory
- nash equilibrium
- repeated games
- payoff functions
- mixed strategy
- game theoretic
- nash equilibria
- first order logic
- propositional logic
- theorem prover
- theorem proving
- solution concepts
- long term
- perfect information
- incomplete information
- strips planning
- cooperative
- video games
- horn clauses
- probabilistic logic
- equational theories
- computer games
- resource allocation
- pure nash equilibria
- game playing
- decision procedures
- educational games
- multi agent systems