Kissmann, PeterEdelkamp, Stefan2018-01-082018-01-0820112011https://dl.gi.de/handle/20.500.12116/11185This work is concerned with our general game playing agent Gamer. In contrast to many other players, we do not only use a Prolog-like mechanism to infer knowledge about the current state and the available moves but instantiate the games to reduce the inference time in parallel UCT game tree search. Furthermore, we use the generated output to try to solve the games using symbolic search methods and thus play optimally.General game playingInstantiating gamesSolving gamesSymbolic searchUCTText/Journal Article1610-1987