Keyphrases
- winning strategy
- computer games
- game play
- game playing
- logic programming
- modal logic
- game theory
- nash equilibrium
- data sets
- pursuit evasion
- set theory
- classical logic
- multi valued
- automated reasoning
- optimal strategy
- game theoretic
- video games
- probability theory
- logical framework
- game based learning
- computational properties
- defeasible logic
- learning games
- mobile games
- proof theory
- role playing