Parity Games and Propositional Proofs.
Arnold BeckmannPavel PudlákNeil ThapenPublished in: ACM Trans. Comput. Log. (2014)
Keyphrases
- video games
- first order logic
- error correction
- game theory
- propositional logic
- theorem proving
- game theoretic
- weighted majority
- nash equilibrium
- theorem prover
- educational games
- computer games
- game design
- formal proofs
- nash equilibria
- board game
- formal proof
- boolean games
- game playing
- game play
- search algorithm
- mathematical proofs
- general game playing
- natural deduction
- learning games
- coalitional games
- learning agents
- game development
- knowledge compilation
- computer programs