Completeness for Game Logic.
Sebastian EnqvistHelle Hvid HansenClemens KupkeJohannes MartiYde VenemaPublished in: LICS (2019)
Keyphrases
- winning strategy
- computer games
- game playing
- nash equilibrium
- modal logic
- logic programming
- multi valued
- game theory
- game theoretic
- game based learning
- video games
- pursuit evasion
- game design
- learning games
- set theory
- real time strategy games
- game tree search
- resource allocation
- game play
- data quality
- repeated games
- computational properties
- deontic logic
- monte carlo tree search
- automated reasoning
- role playing
- data sets