Search Results - "CHARALAMBIDIS, ANGELOS"

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.

Detecting and Fixing Inconsistencies in Large Knowledge Graphs.

Authors: Akasiadis, Charilaos Nentidis, Anastasios Charalambidis, Angelos et al.

Source: European Journal on Artificial Intelligence; May2026, Vol. 39 Issue 2, p251-269, 19p

The Stable Model Semantics for Higher-Order Logic Programming.

Authors: BOGAERTS, BART CHARALAMBIDIS, ANGELOS CHATZIAGAPIS, GIANNOS et al.

Source: Theory & Practice of Logic Programming. Jul2024, Vol. 24 Issue 4, p737-754. 18p.

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.

A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.

Authors: CHARALAMBIDIS, ANGELOS RONDOGIANNIS, PANOS TROUMPOUKIS, ANTONIS

Source: Theory & Practice of Logic Programming. Sep2021, Vol. 21 Issue 5, p629-645. 17p.

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.

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.

Authors: CHARALAMBIDIS, ANGELOS RONDOGIANNIS, PANOS SYMEONIDOU, IOANNA et al.

Source: Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p421-437. 17p.

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.

Authors: CHARALAMBIDIS, ANGELOS ÉSIK, ZOLTÁN RONDOGIANNIS, PANOS et al.

Source: Theory & Practice of Logic Programming. Jul2014, Vol. 14 Issue 4/5, p725-737. 13p.

Extensional Higher-Order Logic Programming.

Authors: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS et al.

Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p

Efficient Intensional Implementation for Lazy Functional Languages.

Authors: Charalambidis, Angelos Grivas, Athanasios Papaspyrou, Nikolaos et al.

Source: Mathematics in Computer Science. Nov2008, Vol. 2 Issue 1, p123-141. 19p.

Higher-order logic programming: An expressive language for representing qualitative preferences.

Authors: Charalambidis, Angelos Rondogiannis, Panos Troumpoukis, Antonis

Source: Science of Computer Programming. Apr2018, Vol. 155, p173-197. 25p.

Subjects: Higher order transitions, Logic programming, Algebra, Programming languages, Feasibility studies

Equivalence of two fixed-point semantics for definitional higher-order logic programs.

Authors: Charalambidis, Angelos Rondogiannis, Panos Symeonidou, Ioanna

Source: Theoretical Computer Science. Mar2017, Vol. 668, p27-42. 16p.

Subjects: Mathematical equivalence, Fixed point theory, Semantics, Extension (Logic), Logic programming, Coincidence theory