A Toolkit for First Order Extensions of Monadic Games.
David JaninJerzy MarcinkowskiPublished in: STACS (2001)
Keyphrases
- game theory
- video games
- computer games
- datalog queries
- higher order
- nash equilibrium
- deductive databases
- game theoretic
- first order logic
- game design
- nash equilibria
- datalog programs
- imperfect information
- valued logic
- weighted majority
- efficient implementation
- serious games
- game playing
- game based learning
- horn clauses
- online game
- default theories
- human computation
- virtual environment