Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Angelos Charalambidis
Researcher
PaperStrong Equivalence of Logic Programs with Ordered Disjunction: a Logical PerspectiveAuthorship / preprint / 2022PaperA Logical Characterization of the Preferred Models of Logic Programs with Ordered DisjunctionAuthorship / preprint / 2021PaperThe Expressive Power of Higher-Order DatalogAuthorship / preprint / 2019PaperMinimum Model Semantics for Extensional Higher-order Logic Programming with NegationAuthorship / preprint / 2014PaperThe Power of Negation in Higher-Order DatalogAuthorship / preprint / 2025PaperEquivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic ProgramsAuthorship / preprint / 2015