Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques.
Guilhem JaberNicolas TabareauPublished in: APLAS (2015)
Keyphrases
- formal semantics
- game playing
- open world
- game theory
- modal logic
- desirable properties
- game play
- logic programming
- decision making
- video games
- kripke models
- closed world
- game design
- educational games
- computer games
- serious games
- nash equilibrium
- game based learning
- online game
- learning games
- heuristic search
- semantic information
- virtual world