Game Sentences, Recursive Saturation and Definability.
Victor HarnikPublished in: J. Symb. Log. (1980)
Keyphrases
- game theory
- natural language
- video games
- virtual world
- game playing
- fixed point
- computer games
- multi document summarization
- game theoretic
- real time strategy games
- learning games
- game play
- optimal strategy
- game tree
- propositional logic
- mobile games
- nash equilibrium
- game design
- educational games
- game development
- perfect information
- monte carlo tree search
- role playing
- extractive summarization