A Game Semantics for System P.

Johannes Marti Riccardo Pinosio

Published in: Stud Logica (2016)

Keyphrases

formal semantics
game playing
computer games
video games
neural network
game play
role playing
optimal strategy
game design
educational games
nash equilibrium
virtual world
logic programming
object oriented
game theory
semantic information
game theoretic
default reasoning
online game
digital games
human computation