Game semantics for non-monotonic intensional logic programming. - Galanaki, Chrysida; Nomikos, Christos; Rondogiannis, Panos (Annals of Pure & Applied Logic, 2017)