An infinite-game semantics for well-founded negation in logic programming

Chrysida Galanaki, Panos Rondogiannis, William W. Wadge. An infinite-game semantics for well-founded negation in logic programming. Annals of Pure and Applied Logic, 151(2-3):70-88, 2008. [doi]

Abstract

Abstract is missing.