Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics.
Stefano BerardiMakoto TatsutaPublished in: TLCA (2013)
Keyphrases
- winning strategy
- proof procedures
- game playing
- computer games
- video games
- game theory
- game play
- nash equilibria
- game design
- game theoretic
- nash equilibrium
- educational games
- perfect information
- imperfect information
- serious games
- coalitional games
- game development
- learning games
- digital games
- inference rules
- board game
- games played
- game players
- human computation
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- online game
- game based learning
- game programming
- pure nash equilibria
- conditional logic
- cooperative game
- extensive form games
- modal logic
- epistemic logic
- monte carlo tree search
- two player games
- game tree search
- learning experience
- expressive power
- multi player
- linearly ordered
- general game playing
- solution concepts
- search algorithm
- kripke models
- game mechanics
- proof theoretic
- repeated games
- simulation game
- table tennis
- mobile games
- human players
- stochastic games
- game engine
- tree search
- boolean games
- adventure game
- incomplete information
- nonmonotonic reasoning
- computer poker
- logic programming
- pure strategy
- default reasoning
- minority game
- role playing game