10252 Abstracts Collection - Game Semantics and Program Verification.
Paul-André MellièsAndrzej S. MurawskiAndrea SchalkIgor WalukiewiczPublished in: Game Semantics and Program Verification (2010)
Keyphrases
- computer games
- video games
- document collections
- game playing
- semantic information
- game theory
- logic programming
- nash equilibrium
- educational games
- cooperative
- game theoretic
- meta information
- game design
- formal semantics
- role playing
- operational semantics
- mobile games
- database
- game based learning
- game play
- case based reasoning
- information extraction
- information retrieval