Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides
Nathalie BertrandBlaise GenestHugo GimbertPublished in: CoRR (2008)
Keyphrases
- video games
- description logics
- computer games
- state space
- conjunctive queries
- game playing
- game theoretic
- query answering
- weighted majority
- game play
- nash equilibria
- game design
- general game playing
- type checking
- decision procedures
- game tree search
- human computation
- games played
- game theory
- perfect information
- learning games
- game tree
- transitive closure
- multiagent systems
- cooperative
- educational games
- decision problems