Angelos Charalambidis

Available identifiers

Publication	Date of Publication	Type
Categorical approximation fixpoint theory	2024-05-29	Paper
Predicate specialization for definitional higher-order logic programs	2023-11-09	Paper
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective	2022-09-30	Paper
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5014440	2021-12-02	Paper
A Fixed Point Theorem on Lexicographic Lattice Structures	2021-01-21	Paper
The Expressive Power of Higher-Order Datalog	2020-05-04	Paper
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs	2018-12-04	Paper
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming	2017-08-25	Paper
Equivalence of two fixed-point semantics for definitional higher-order logic programs	2017-02-27	Paper
Extensional Higher-Order Logic Programming	2015-09-17	Paper
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation	2014-11-25	Paper
A Refinement Operator for Inducing Threaded-Variable Clauses	2013-06-14	Paper
Extensional Higher-Order Logic Programming	2010-10-01	Paper
Efficient intensional implementation for lazy functional languages	2009-02-17	Paper

This page was built for person: Angelos Charalambidis