1.  16
    An Infinite-Game Semantics for Well-Founded Negation in Logic Programming.Chrysida Galanaki, Panos Rondogiannis & William W. Wadge - 2008 - Annals of Pure and Applied Logic 151 (2-3):70-88.
    We present an infinite-game characterization of the well-founded semantics for function-free logic programs with negation. Our game is a simple generalization of the standard game for negation-less logic programs introduced by van Emden [M.H. van Emden, Quantitative deduction and its fixpoint theory, Journal of Logic Programming 3 37–53] in which two players, the Believer and the Doubter, compete by trying to prove a query. The standard game is equivalent to the minimum Herbrand model semantics of logic programming in the sense (...)
    Direct download (7 more)  
    Export citation  
    Bookmark   4 citations  
  2.  12
    Game Semantics for Non-Monotonic Intensional Logic Programming.Chrysida Galanaki, Christos Nomikos & Panos Rondogiannis - 2017 - Annals of Pure and Applied Logic 168 (2):234-253.
  3.  14
    The Infinite-Valued Semantics: Overview, Recent Results and Future Directions.Panos Rondogiannis & Antonis Troumpoukis - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):213-228.
    The infinite-valued semantics was introduced in Rondogiannis and Wadge (2005) as a purely logical way for capturing the meaning of well-founded negation in logic programming. The purpose of this paper is threefold: first, to give a non-technical introduction to the infinite-valued semantics; second, to discuss the applicability of the infinite-valued approach to syntactically richer extensions of logic programming; and third, to present the main open problems whose resolution would further enhance the applicability of the technique.
    Direct download (3 more)  
    Export citation