The mate-in-n problem of infinite chess is decidable

Dan Brumleve Joel David Hamkins Philipp Schlicht

Published in: CoRR (2012)

Keyphrases

artificial intelligence
evaluation function
first order logic
game playing
game tree search
computer chess
datalog programs
finite sets
alpha beta search
data sets
neural network
state space
heuristic search
brute force
finite dimensional
imperfect information