Asynchronous Games 3 An Innocent Model of Linear Logic.

Paul-André Melliès

Published in: CTCS (2004)

Keyphrases

expert systems
probabilistic model
high level
machine learning
pairwise
probability distribution
finite state machines
logical framework