General Logic Programs as Infinite Games. - Chrysida Galanaki; Panos Rondogiannis; William W. Wadge (Topological and Game-Theoretic Aspects of Infinite Computations, 2008)

An infinite-game semantics for well-founded negation in logic programming. - Chrysida Galanaki; Panos Rondogiannis; William W. Wadge (Ann. Pure Appl. Log., 2008)

Infinite-game semantics for logic programming languages - Chrysida Galanaki (2014)

Game semantics for non-monotonic intensional logic programming. - Chrysida Galanaki; Christos Nomikos; Panos Rondogiannis (Ann. Pure Appl. Log., 2017)