Keyphrases
- video games
- logic programming
- nash equilibria
- classical logic
- computer games
- modal logic
- winning strategy
- game theoretic
- automated reasoning
- game playing
- monte carlo tree search
- sound and complete axiomatization
- perfect information
- asynchronous circuits
- multi valued
- idea generation
- linear logic
- game play
- serious games
- game theory