Mean-payoff games and propositional proofs.
Albert AtseriasElitza N. ManevaPublished in: Inf. Comput. (2011)
Keyphrases
- game theory
- nash equilibrium
- payoff functions
- repeated games
- mixed strategy
- propositional logic
- nash equilibria
- game theoretic
- video games
- first order logic
- human computation
- long term
- horn clauses
- theorem prover
- educational games
- game playing
- normal form games
- computer programs
- multi agent systems
- cooperative
- game based learning
- inference rules
- probabilistic logic
- resource allocation
- cnf formula
- multiagent systems
- learning agents
- logic programming
- learning games
- strips planning
- mathematical proofs
- games played
- reinforcement learning