Sign in
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