What's the Name of the Game? Formal Specification of Artificial Intelligence Games.
Vladimir Oliveira Di IorioRoberto da Silva BigonhaMariza Andrade da Silva BigonhaAlcione P. OliveiraEliseu MiguelPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- formal specification
- artificial intelligence
- game playing
- video games
- computer games
- game theory
- game play
- general game playing
- game ai
- nash equilibria
- game design
- nash equilibrium
- game theoretic
- model checking
- formal methods
- educational games
- perfect information
- game players
- learning games
- interactive narrative
- two player games
- specification languages
- game tree search
- serious games
- specification language
- extensive form games
- game development
- human computation
- digital games
- computer chess
- game based learning
- game programming
- monte carlo tree search
- imperfect information
- process algebra
- object oriented design
- minority game
- cooperative game
- pure nash equilibria
- game tree
- reverse engineering
- board game
- games played
- online game
- game mechanics
- evaluation function
- coalitional games
- mobile games
- concurrent systems
- expert systems
- idea generation
- knowledge representation
- human players
- software engineering
- temporal logic
- computer poker
- protocol specification
- information systems