Keyword:games

Papers
Imarisha: Reinforcement Learning Toolkit For AfricanBoard Games Eric Ondenyi EasyChair Preprint no. 2807
The involutions-as-principal types/application-as-unification Analogy Alberto Ciaffaglione, Furio Honsell, Marina Lenisa and Ivan Scagnetto In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning