Keyphrases
- winning strategy
- game theory
- computer games
- description logics
- video games
- classical logic
- modal logic
- query answering
- game play
- game playing
- computational properties
- virtual world
- logic programming
- multi valued
- asynchronous circuits
- educational games
- game design
- monte carlo tree search
- predicate logic
- nonmonotonic logics
- decision procedures
- knowledge representation
- serious games
- game based learning
- defeasible logic
- game theoretic
- imperfect information
- situation calculus
- coalitional games
- learning games
- evaluation function
- virtual environment
- proof procedures
- knowledge base
- complete axiomatization