What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common.
Martín EscardóPaulo OlivaPublished in: MSFP@ICFP (2010)
Keyphrases
- logic programming
- computer games
- game theory
- weighted majority
- game playing
- logic programs
- video games
- deductive databases
- game play
- nash equilibria
- datalog programs
- game theoretic
- game design
- board game
- digital topology
- human computation
- predicate logic
- databases
- leader follower
- stable models
- horn clauses
- game based learning
- serious games
- design process
- learning environment
- e learning