Chrysida Galanaki

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

Collaborative distances:

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

2014

Infinite-game semantics for logic programming languages

Chrysida Galanaki

PhD thesis, 2014

2013

Game Semantics for Non-monotonic Intensional Logic Programming.

Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

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