Keyphrases
- fixpoint semantics
- computer games
- logic programs
- game playing
- logic programming
- nonmonotonic reasoning
- autoepistemic logic
- video games
- deductive databases
- model theoretic
- default reasoning
- game theory
- serious games
- virtual world
- nash equilibrium
- game theoretic
- game play
- game design
- game based learning
- database systems
- educational games
- integrity constraints
- formal semantics
- online game
- speech acts
- semantic information
- natural language
- declarative semantics
- monte carlo tree search
- real time strategy games
- cooperative