( en | de | ru )

 

Disambiguation of "Nomikos, Christos"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Panagiotis Nomikos

Georgios Nomikos

Marina Nomikos

Christos Litsakes

Christos Stambolis

 

Other publications of authors with the same name

A Proof Procedure For Temporal Logic Programming., and . Int. J. Found. Comput. Sci., 15 (2): 417-443 (2004)Locally stratified Boolean grammars., and . Inf. Comput., 206 (9-10): 1219-1233 (2008)On weak filters and ultrafilters: Set theory from (and for) knowledge representation., , , , and . Log. J. IGPL, 31 (1): 68-95 (January 2023)Routing and Wavelength Assignment in Generalized WDM Tree Networks of Bounded Degree., , , and . Panhellenic Conference on Informatics, volume 3746 of Lecture Notes in Computer Science, page 57-67. Springer, (2005)Stathis Zachos at 70!, , , , , , , , , and 1 other author(s). CIAC, volume 10236 of Lecture Notes in Computer Science, page 469-484. (2017)Satisfying a maximum number of pre-routed requests in all-optical rings., , and . Comput. Networks, 42 (1): 55-63 (2003)Game Semantics for Non-monotonic Intensional Logic Programming., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 329-341. Springer, (2013)Strong equivalence of logic programs under the infinite-valued semantics., , and . Inf. Process. Lett., 109 (11): 576-581 (2009)A limit characterization for the number of spanning trees of graphs., , and . Inf. Process. Lett., 90 (6): 307-313 (2004)A game-theoretic characterization of Boolean grammars., , and . Theor. Comput. Sci., 412 (12-14): 1169-1183 (2011)