Author of the publication

Game Semantics for Non-monotonic Intensional Logic Programming.

, , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 329-341. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Galanaki, Chrysida
add a person with the name Galanaki, Chrysida
 

Other publications of authors with the same name

Game Semantics for Non-monotonic Intensional Logic Programming., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 329-341. Springer, (2013)General Logic Programs as Infinite Games., , and . Topological and Game-Theoretic Aspects of Infinite Computations, volume 08271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Game semantics for non-monotonic intensional logic programming., , and . Ann. Pure Appl. Log., 168 (2): 234-253 (2017)An infinite-game semantics for well-founded negation in logic programming., , and . Ann. Pure Appl. Log., 151 (2-3): 70-88 (2008)Infinite-game semantics for logic programming languages. National and Kapodistrian University of Athens, Greece, (2014)National Archive of PhD Theses: oai:10442/44078.