Keyphrases
- fixpoint semantics
- logic programs
- game theory
- model theoretic
- logic programming
- computer games
- deductive databases
- formal semantics
- video games
- fixpoint
- autoepistemic logic
- semantic information
- digital games
- nonmonotonic reasoning
- game playing
- educational games
- game design
- nonmonotonic logics
- optimal strategy
- default reasoning
- game based learning
- online game
- stable models
- virtual world
- perfect information
- declarative semantics
- monte carlo tree search
- real time strategy games
- mobile devices