Christos Nomikos

Available identifiers

zbMath Open nomikos.christosMaRDI QIDQ345701

List of research outcomes

Publication	Date of Publication	Type
On weak filters and ultrafilters: Set theory from (and for) knowledge representation	2023-02-16	Paper
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective	2022-09-30	Paper
Default consequence relations from topology and measure theory	2022-04-07	Paper
The Expressive Power of Higher-Order Datalog	2020-05-04	Paper
Stathis Zachos at 70!	2017-07-21	Paper
Game semantics for non-monotonic intensional logic programming	2016-12-02	Paper
Game Semantics for Non-monotonic Intensional Logic Programming	2013-10-10	Paper
Notions of bisimulation for Heyting-valued modal languages	2012-05-07	Paper
A game-theoretic characterization of Boolean grammars	2011-03-14	Paper
Strong equivalence of logic programs under the infinite-valued semantics	2010-08-16	Paper
Canonicity and completeness results for many-valued modal logics	2009-11-30	Paper
Well-founded semantics for Boolean grammars	2009-09-14	Paper
A limit characterization for the number of spanning trees of graphs	2009-07-21	Paper
A Game-Theoretic Characterization of Boolean Grammars	2009-07-07	Paper
Well-Founded Semantics for Boolean Grammars	2009-03-26	Paper
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief	2009-01-21	Paper
Locally stratified Boolean grammars	2008-10-08	Paper
Randomized and Approximation Algorithms for Blue-Red Matching	2008-09-17	Paper
Logic Programming	2006-06-27	Paper
Routing and wavelength assignment in multifiber WDM networks with non-uniform fiber cost	2005-12-07	Paper
Temporal stratification tests for linear and branching-time deductive databases	2005-09-22	Paper
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING	2005-06-22	Paper
Satisfying a maximum number of pre-routed requests in all-optical rings.	2003-08-13	Paper
Routing and path multicoloring	2002-07-25	Paper
On the computational complexity of stratified negation in linear-time temporal logic programming	2000-01-01	Paper

Research outcomes over time

This page was built for person: Christos Nomikos