Concurrent Games over Relational Structures: The Origin of Game Comonads.
Yoàv MontacuteGlynn WinskelPublished in: LICS (2024)
Keyphrases
- relational structures
- computer games
- game play
- game theory
- video games
- game playing
- nash equilibrium
- nash equilibria
- game design
- game theoretic
- perfect information
- educational games
- game players
- digital games
- game development
- serious games
- online game
- coalitional games
- games played
- association graph
- imperfect information
- relational data
- game tree
- human players
- first order logic
- relational databases
- point sets
- incomplete information
- multiple views
- xml documents
- metadata
- knowledge base
- database