Technical perspective: On proofs, entanglement, and games.
Dorit AharonovMichael ChapmanPublished in: Commun. ACM (2021)
Keyphrases
- video games
- computer games
- game theory
- game theoretic
- game design
- theorem proving
- game playing
- perfect information
- imperfect information
- nash equilibria
- game play
- theorem prover
- decision procedures
- monte carlo tree search
- coalitional games
- simulation game
- idea generation
- equational theories
- natural deduction
- game based learning
- human computation
- stochastic games
- neural network
- serious games
- artificial intelligence