Autor der Publikation

Game Semantics for Non-monotonic Intensional Logic Programming.

, , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 329-341. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Galanaki, Chrysida
Eine Person hinzufügen mit dem Namen Galanaki, Chrysida
 

Weitere Publikationen von Autoren mit dem selben Namen

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