Chrysida Galanaki

According to our database, Chrysida Galanaki authored at least 4 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Game semantics for non-monotonic intensional logic programming.

Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis

Ann. Pure Appl. Log., 2017

2014

Infinite-game semantics for logic programming languages

Chrysida Galanaki

PhD thesis, 2014

2008

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

Chrysida Galanaki, Panos Rondogiannis, William W. Wadge

Ann. Pure Appl. Log., 2008

General Logic Programs as Infinite Games.

Chrysida Galanaki, Panos Rondogiannis, William W. Wadge

Proceedings of the Topological and Game-Theoretic Aspects of Infinite Computations, 29.06., 2008