Keyphrases
- fixpoint semantics
- computer games
- video games
- model theoretic
- deductive databases
- game playing
- logic programs
- game theoretic
- game theory
- educational games
- formal semantics
- logic programming
- real time strategy games
- nonmonotonic logics
- nonmonotonic reasoning
- nash equilibrium
- virtual world
- game design
- game based learning
- game play
- fixpoint
- stable models
- serious games
- autoepistemic logic
- semantic information