Keyword:games

Publications
Development of a Responsive System with Immersion in a Virtual Environment Integrated into a Biaxial Force Platform for Balance Training Bruno Toshio Gomes Gunji, André Roberto Fernandes da Silva, Luan de Almeida Moura, Mariana da Palma Valério, Silvia Cristina Martini, Sílvia Regina Matos da Silva Boschi, Terigi Augusto Escardovelli and Alessandro Pereira da Silva EasyChair Preprint 9041
Reasoning About Data Trees Using CHCs Marco Faella and Gennaro Parlato EasyChair Preprint 8615
Imarisha: Reinforcement Learning Toolkit For AfricanBoard Games Eric Ondenyi EasyChair Preprint 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