Proof and refutation in MALL as a game.
Olivier DelandeDale MillerAlexis SaurinPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- video games
- game theory
- computer games
- game play
- educational games
- game playing
- shopping mall
- pursuit evasion
- game theoretic
- game design
- serious games
- game based learning
- online game
- first order logic
- nash equilibrium
- digital games
- nash equilibria
- stochastic games
- virtual world
- repeated games
- game tree search
- learning games
- role playing
- case study