Mean-payoff games and propositional proofs.
Albert AtseriasElitza N. ManevaPublished in: Electron. Colloquium Comput. Complex. (2010)
Keyphrases
- game theory
- nash equilibrium
- payoff functions
- repeated games
- mixed strategy
- game theoretic
- propositional logic
- nash equilibria
- computer games
- first order logic
- video games
- theorem prover
- perfect information
- theorem proving
- computer programs
- default logic
- game play
- game playing
- weighted majority
- probabilistic logic
- long term
- cooperative
- mathematical proofs
- satisfiability testing
- human computation
- digital games
- online game
- game based learning
- educational games
- inference rules
- multi agent systems