Christos Nomikos

According to our database, Christos Nomikos authored at least 31 papers between 2001 and 2025.

Collaborative distances:

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

2025

The Power of Negation in Higher-Order Datalog.

Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis

CoRR, July, 2025

2023

Efficient query evaluation techniques over large amount of distributed linked data.

Eleftherios Kalogeros, Manolis Gergatsoulis, Matthew Damigos, Christos Nomikos

Inf. Syst., May, 2023

On weak filters and ultrafilters: Set theory from (and for) knowledge representation.

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos

Log. J. IGPL, January, 2023

2022

Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

Theory Pract. Log. Program., 2022

Default consequence relations from topology and measure theory.

Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis

Ann. Math. Artif. Intell., 2022

Topological semantics for default conditional logic: preliminary report.

Costas D. Koutras, Christos Nomikos

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2019

The Expressive Power of Higher-Order Datalog.

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

Theory Pract. Log. Program., 2019

2017

Stathis Zachos at 70!

Eleni Bakali, Panagiotis Cheilaris, Dimitris Fotakis, Martin Fürer, Costas D. Koutras, Euripides Markou, Christos Nomikos, Aris Pagourtzis, Christos H. Papadimitriou, Nikolaos S. Papaspyrou, Katerina Potika

Proceedings of the Algorithms and Complexity - 10th International Conference, 2017

2014

On the '<i>in many cases</i>' Modality: Tableaux, Decidability, Complexity, Variants.

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos

Proceedings of the Artificial Intelligence: Methods and Applications, 2014

A Map-Reduce algorithm for querying linked data based on query decomposition into stars.

Christos Nomikos, Manolis Gergatsoulis, Eleftherios Kalogeros, Matthew Damigos

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 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

An Algorithm for Querying Linked Data Using Map-Reduce.

Manolis Gergatsoulis, Christos Nomikos, Eleftherios Kalogeros, Matthew Damigos

Proceedings of the Data Management in Cloud, Grid and P2P Systems, 2013

2012

Notions of Bisimulation for Heyting-Valued Modal Languages.

Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos

J. Log. Comput., 2012

2009

Strong equivalence of logic programs under the infinite-valued semantics.

Christos Nomikos, Panos Rondogiannis, William W. Wadge

Inf. Process. Lett., 2009

A Game-Theoretic Characterization of Boolean Grammars.

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008

On a Simple 3-valued Modal Language and a 3-valued Logic of '<i>not-fully-justified</i>' Belief.

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

Log. J. IGPL, 2008

On the Semantic Approaches to Boolean Grammars.

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

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

2007

Randomized and Approximation Algorithms for Blue-Red Matching.

Christos Nomikos, Aris Pagourtzis, Stathis Zachos

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

Locally Stratified Boolean Grammars.

Christos Nomikos, Panos Rondogiannis

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

2006

Routing and wavelength assignment in multifiber WDM networks with non-uniform fiber cost.

Christos Nomikos, Aris Pagourtzis, Katerina Potika, Stathis Zachos

Comput. Networks, 2006

Well-Founded Semantics for Boolean Grammars.

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005

Temporal stratification tests for linear and branching-time deductive databases.

Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis

Theor. Comput. Sci., 2005

Routing and Wavelength Assignment in Generalized WDM Tree Networks of Bounded Degree.

Stratis Ioannidis, Christos Nomikos, Aris Pagourtzis, Stathis Zachos

Proceedings of the Advances in Informatics, 2005

A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.

Christos Nomikos, Panos Rondogiannis, William W. Wadge

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

A limit characterization for the number of spanning trees of graphs.

Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis

Inf. Process. Lett., 2004

A Proof Procedure For Temporal Logic Programming.

Manolis Gergatsoulis, Christos Nomikos

Int. J. Found. Comput. Sci., 2004

Fiber Cost Reduction and Wavelength Minimization in Multifiber WDM Networks.

Christos Nomikos, Aris Pagourtzis, Katerina Potika, Stathis Zachos

Proceedings of the NETWORKING 2004, 2004

2003

Satisfying a maximum number of pre-routed requests in all-optical rings.

Christos Nomikos, Aris Pagourtzis, Stathis Zachos

Comput. Networks, 2003

Minimizing Request Blocking in All-Optical Rings.

Christos Nomikos, Aris Pagourtzis, Stathis Zachos

Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

2002

Canonicity and Completeness Results for Many-Valued Modal Logics.

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

J. Appl. Non Class. Logics, 2002

2001

Routing and path multicoloring.

Christos Nomikos, Aris Pagourtzis, Stathis Zachos

Inf. Process. Lett., 2001