Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic.

Paul-André Melliès

Published in: LICS (2005)

Keyphrases

probabilistic model
high level
reinforcement learning
video sequences
knowledge representation
fixed point
video games
decision theoretic