Angelos Charalambidis

Identifiers

• name variant Angelos Charalambidis 0.60 · backfill

Papers (6)

1. From Time to Space: The Impact of Linearity in Higher-Order Datalog cs.PL · 2026 · author #1
2. Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs cs.LO · 2026 · author #1
3. Predicate Specialization for Definitional Higher-order Logic Programs cs.PL · 2018 · author #2
4. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs cs.PL · 2018 · author #1
5. An extension of SPARQL for expressing qualitative preferences cs.DB · 2017 · author #3
6. Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs cs.LO · 2015 · author #1

Mentions

• 1509.03013 #1 · backfill · confidence 0.70 Angelos Charalambidis
• 2606.02394 #1 · arxiv_oai · confidence 0.70 Angelos Charalambidis
• 2606.02387 #1 · arxiv_oai · confidence 0.70 Angelos Charalambidis

Frequent Coauthors

• Panos Rondogiannis 4 shared papers
• Antonis Troumpoukis 2 shared papers
• Babis Kostopoulos 2 shared papers
• Ioanna Symeonidou 2 shared papers
• Giannos Chatziagapis 1 shared papers
• Stasinos Konstantopoulos 1 shared papers