Christos Nomikos

39 papers A* 1B 4C 4Misc 1Journal 24Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Power of Negation in Higher-Order Datalog.
CoRR
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
2025 J jnl
The Power of Negation in Higher-Order Datalog.
Theory Pract. Log. Program.
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
2023 J jnl
Efficient query evaluation techniques over large amount of distributed linked data.
Inf. Syst.
Eleftherios Kalogeros, Manolis Gergatsoulis, Matthew Damigos, Christos Nomikos
2023 J jnl
On weak filters and ultrafilters: Set theory from (and for) knowledge representation.
Log. J. IGPL
Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos
2022 J jnl
Default consequence relations from topology and measure theory.
Ann. Math. Artif. Intell.
Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis
2022 J jnl
Efficient query evaluation techniques over large amount of distributed linked data.
CoRR
Eleftherios Kalogeros, Manolis Gergatsoulis, Matthew Damigos, Christos Nomikos
2022 J jnl
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.
Theory Pract. Log. Program.
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2022 J jnl
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective.
CoRR
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2022 Misc conf
Topological semantics for default conditional logic: preliminary report.
SAC
Costas D. Koutras, Christos Nomikos
2019 J jnl
The Expressive Power of Higher-Order Datalog.
CoRR
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2019 J jnl
The Expressive Power of Higher-Order Datalog.
Theory Pract. Log. Program.
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2017 J jnl
Game semantics for non-monotonic intensional logic programming.
Ann. Pure Appl. Log.
Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
2017 C conf
Stathis Zachos at 70!
CIAC
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
2014 — conf
A Map-Reduce algorithm for querying linked data based on query decomposition into stars.
EDBT/ICDT Workshops
Christos Nomikos, Manolis Gergatsoulis, Eleftherios Kalogeros, Matthew Damigos
2014 — conf
On the '
SETN
Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos
2013 — conf
An Algorithm for Querying Linked Data Using Map-Reduce.
Globe
Manolis Gergatsoulis, Christos Nomikos, Eleftherios Kalogeros, Matthew Damigos
2013 B conf
Game Semantics for Non-monotonic Intensional Logic Programming.
LPNMR
Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
2012 J jnl
Notions of Bisimulation for Heyting-Valued Modal Languages.
J. Log. Comput.
Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos
2011 J jnl
A game-theoretic characterization of Boolean grammars.
Theor. Comput. Sci.
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2009 C conf
A Game-Theoretic Characterization of Boolean Grammars.
Developments in Language Theory
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2009 J jnl
Strong equivalence of logic programs under the infinite-valued semantics.
Inf. Process. Lett.
Christos Nomikos, Panos Rondogiannis, William W. Wadge
2009 J jnl
Well-founded semantics for Boolean grammars.
Inf. Comput.
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2008 J jnl
Locally stratified Boolean grammars.
Inf. Comput.
Christos Nomikos, Panos Rondogiannis
2008 J jnl
On a Simple 3-valued Modal Language and a 3-valued Logic of '
Log. J. IGPL
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
2008 — conf
On the Semantic Approaches to Boolean Grammars.
Topological and Game-Theoretic Aspects of Infinite Computations
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2007 C conf
Locally Stratified Boolean Grammars.
LATA
Christos Nomikos, Panos Rondogiannis
2007 B conf
Randomized and Approximation Algorithms for Blue-Red Matching.
MFCS
Christos Nomikos, Aris Pagourtzis, Stathis Zachos
2006 J jnl
Routing and wavelength assignment in multifiber WDM networks with non-uniform fiber cost.
Comput. Networks
Christos Nomikos, Aris Pagourtzis, Katerina Potika, Stathis Zachos
2006 C conf
Well-Founded Semantics for Boolean Grammars.
Developments in Language Theory
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2005 B conf
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.
ICLP
Christos Nomikos, Panos Rondogiannis, William W. Wadge
2005 — conf
Routing and Wavelength Assignment in Generalized WDM Tree Networks of Bounded Degree.
Panhellenic Conference on Informatics
Stratis Ioannidis, Christos Nomikos, Aris Pagourtzis, Stathis Zachos
2005 J jnl
Temporal stratification tests for linear and branching-time deductive databases.
Theor. Comput. Sci.
Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis
2004 J jnl
A Proof Procedure For Temporal Logic Programming.
Int. J. Found. Comput. Sci.
Manolis Gergatsoulis, Christos Nomikos
2004 J jnl
A limit characterization for the number of spanning trees of graphs.
Inf. Process. Lett.
Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis
2004 B conf
Fiber Cost Reduction and Wavelength Minimization in Multifiber WDM Networks.
NETWORKING
Christos Nomikos, Aris Pagourtzis, Katerina Potika, Stathis Zachos
2003 A* conf
Minimizing Request Blocking in All-Optical Rings.
INFOCOM
Christos Nomikos, Aris Pagourtzis, Stathis Zachos
2003 J jnl
Satisfying a maximum number of pre-routed requests in all-optical rings.
Comput. Networks
Christos Nomikos, Aris Pagourtzis, Stathis Zachos
2002 J jnl
Canonicity and Completeness Results for Many-Valued Modal Logics.
J. Appl. Non Class. Logics
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
2001 J jnl
Routing and path multicoloring.
Inf. Process. Lett.
Christos Nomikos, Aris Pagourtzis, Stathis Zachos