Evaluating Answer Set Clause Learning for General Game Playing.

Timothy Joseph Cerexhe Orkunt Sabuncu Michael Thielscher

Published in: LPNMR (2013)

Keyphrases

answer sets
clause learning
general game playing
logic programs
sat solvers
answer set programming
logic programming
game playing
evaluation function
game players
game tree search
orders of magnitude
search algorithm
monte carlo
sat problem
game description language