A Sound, Complete and Effective Second Order Game Semantics.

Stefano Berardi

Published in: CoRR (2016)

Keyphrases

neural network
artificial intelligence
high quality
game theory
game playing
formal semantics
high order
video games