Search Results - "NOMIKOS, CHRISTOS"

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

Authors: Koutras, Costas D Moyzes, Christos Nomikos, Christos et al.

Source: Logic Journal of the IGPL; Feb2023, Vol. 31 Issue 1, p68-95, 28p

The Power of Negation in Higher-Order Datalog.

Authors: CHARALAMBIDIS, ANGELOS KOSTOPOULOS, BABIS NOMIKOS, CHRISTOS et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p595-611, 17p

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

Authors: CHARALAMBIDIS, ANGELOS NOMIKOS, CHRISTOS RONDOGIANNIS, PANOS

Source: Theory & Practice of Logic Programming. Sep2022, Vol. 22 Issue 5, p708-722. 15p.

The Expressive Power of Higher-Order Datalog.

Authors: CHARALAMBIDIS, ANGELOS NOMIKOS, CHRISTOS RONDOGIANNIS, PANOS

Source: Theory & Practice of Logic Programming. Sep2019, Vol. 19 Issue 5/6, p925-940. 16p.

Default consequence relations from topology and measure theory.

Authors: Koutras, Costas D. Liaskos, Konstantinos Moyzes, Christos et al.

Source: Annals of Mathematics & Artificial Intelligence; Apr2022, Vol. 90 Issue 4, p397-424, 28p

Notions of Bisimulation for Heyting-Valued Modal Languages.

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

Source: Journal of Logic & Computation; Apr2012, Vol. 22 Issue 2, p213-235, 23p

On a Simple 3-valued Modal Language and a 3-valued Logic of ‘not-fully-justified’ Belief.

Authors: Koutras, Costas D. Nomikos, Christos Peppas, Pavlos

Source: Logic Journal of the IGPL; Dec2008, Vol. 16 Issue 6, p591-604, 14p

Game semantics for non-monotonic intensional logic programming.

Authors: Galanaki, Chrysida Nomikos, Christos Rondogiannis, Panos

Source: Annals of Pure & Applied Logic. Feb2017, Vol. 168 Issue 2, p234-253. 20p.

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

Authors: Nomikos, Christos Pagourtzis, Aris Potika, Katerina et al.

Source: Computer Networks. Jan2006, Vol. 50 Issue 1, p1-14. 14p.

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

Authors: Nomikos, Christos Pagourtzis, Aris Zachos, Stathis

Source: Computer Networks. May2003, Vol. 42 Issue 1, p55. 9p.

Subjects: Telecommunication, Algorithms

A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING.

Authors: Gergatsoulis, Manolis Nomikos, Christos

Source: International Journal of Foundations of Computer Science. Apr2004, Vol. 15 Issue 2, p417-443. 27p.

Subjects: Logic programming, Programming languages, Electronic data processing, Proof theory, Mathematical logic, Automatic theorem proving

Temporal stratification tests for linear and branching-time deductive databases

Authors: Nomikos, Christos Rondogiannis, Panos Gergatsoulis, Manolis

Source: Theoretical Computer Science. Sep2005, Vol. 342 Issue 2/3, p382-415. 34p.

Subjects: Deductive databases, Databases, Computer files, Electronic information resources

Strong equivalence of logic programs under the infinite-valued semantics

Authors: Nomikos, Christos Rondogiannis, Panos Wadge, William W.

Source: Information Processing Letters. May2009, Vol. 109 Issue 11, p576-581. 6p.

Subjects: Logic programming, Programming language semantics, Computer software, Propositional calculus, Infinite processes

A game-theoretic characterization of Boolean grammars

Authors: Kountouriotis, Vassilis Nomikos, Christos Rondogiannis, Panos

Source: Theoretical Computer Science. Mar2011, Vol. 412 Issue 12-14, p1169-1183. 15p.

Subjects: Game theory, Formal languages, Semantics, Computer science, Grammar, Linguistic context

Routing and path multicoloring.

Authors: Nomikos, Christos Pagourtzis, Aris Zachos, Stathis

Source: Information Processing Letters. 12/15/2001, Vol. 80 Issue 5, p249. 9p.

Subjects: Algorithms, Electric network topology

Well-founded semantics for Boolean grammars

Authors: Kountouriotis, Vassilis Nomikos, Christos Rondogiannis, Panos

Source: Information & Computation. Sep2009, Vol. 207 Issue 9, p945-967. 23p.

Subjects: Programming language semantics, Boolean algebra, Logic programming, Computational complexity, Fixed point theory

Locally stratified Boolean grammars

Authors: Nomikos, Christos Rondogiannis, Panos

Source: Information & Computation. Sep2008, Vol. 206 Issue 9/10, p1219-1233. 15p.

Subjects: Machine theory, Algorithms, Mathematical logic, Comparative linguistics

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

Authors: Kalogeros, Eleftherios Gergatsoulis, Manolis Damigos, Matthew et al.

Source: Information Systems; May2023, Vol. 115, pN.PAG-N.PAG, 1p