Fast interpreter for logical reasoning in general game playing.

Maciej Swiechowski Jacek Mandziuk

Published in: J. Log. Comput. (2016)

Keyphrases

logical reasoning
general game playing
game playing
formal semantics
evaluation function
game tree search
game players
programming language
machine learning
reinforcement learning