Bisimulation, Games, and Logic.
Mogens NielsenChristian ClausenPublished in: Results and Trends in Theoretical Computer Science (1994)
Keyphrases
- video games
- winning strategy
- logic programming
- game theory
- computer games
- modal logic
- educational games
- game play
- classical logic
- asynchronous circuits
- perfect information
- game tree search
- set theory
- nash equilibria
- cooperative
- online game
- monte carlo tree search
- game design
- game players
- general game playing
- linear logic
- weighted majority
- game tree
- learning games
- logical framework
- multi valued
- game theoretic
- monte carlo
- rough sets