Compositional Predicate Abstraction from Game Semantics.
Adam BakewellDan R. GhicaPublished in: TACAS (2009)
Keyphrases
- semantic information
- game theory
- computer games
- video games
- game theoretic
- nash equilibrium
- game play
- formal semantics
- imperfect information games
- conceptual model
- high level
- learning games
- game based learning
- educational games
- monte carlo tree search
- game tree search
- online game
- first order logic
- logic programming
- data model