Operational Algorithmic Game Semantics.

Benedict Bunting Andrzej S. Murawski

Published in: LICS (2023)

Keyphrases

game theory
game playing
video games
logic programming
game play
virtual world
computer games
nash equilibrium
role playing
game design
educational games
decision making
serious games
conceptual model
semantic information
game theoretic
nash equilibria
game tree search
databases