Parity Games and Propositional Proofs.
Arnold BeckmannPavel PudlákNeil ThapenPublished in: MFCS (2013)
Keyphrases
- first order logic
- error correction
- computer games
- propositional logic
- theorem prover
- video games
- game playing
- game theory
- nash equilibrium
- perfect information
- theorem proving
- game theoretic
- nash equilibria
- equational theories
- coalitional games
- default logic
- game play
- serious games
- educational games
- game design
- multi valued
- digital games
- game development
- learning agents
- human computation
- weighted majority
- strips planning
- multi agent systems