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
https://portal.mardi4nfdi.de/entity/Q3647307	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
https://portal.mardi4nfdi.de/entity/Q2758303	2000-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christos Nomikos