Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction.
Federico AschieriPublished in: J. Symb. Log. (2017)
Keyphrases
- complexity analysis
- lower bound
- theoretical analysis
- formal semantics
- computer games
- three dimensional
- computational complexity
- first order logic
- dialogue games
- game theory
- constraint satisfaction
- imperfect information
- virtual characters
- educational games
- game playing
- user interaction
- artificial intelligence
- dependency directed backtracking
- nash equilibria
- game theoretic
- human computer interaction
- evolutionary algorithm
- search algorithm
- online game
- path finding
- nash equilibrium
- search tree
- knowledge representation
- agent communication
- role playing
- programming language