Chrysida Galanaki

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Knowledge Representation Language

Stable Model Semantics

Answer Set Semantics

Computational Logic

Top Venues

Ann. Pure Appl. Log.

Publications

Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
Game semantics for non-monotonic intensional logic programming. Ann. Pure Appl. Log. 168 (2) (2017)
Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
Game Semantics for Non-monotonic Intensional Logic Programming. LPNMR (2013)
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Log. 151 (2-3) (2008)
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
General Logic Programs as Infinite Games. Topological and Game-Theoretic Aspects of Infinite Computations (2008)