Keyphrases
- modal logic
- computer games
- classical logic
- concurrency control
- winning strategy
- database
- database systems
- asynchronous circuits
- predicate logic
- defeasible logic
- game playing
- concurrent programming
- multi valued
- game theory
- logic programming
- cooperative
- game design
- serious games
- game theoretic
- nash equilibrium
- game tree
- nash equilibria
- video games
- game development
- coalitional games
- human computation
- dynamic allocation
- multi agent
- databases