A Fixed Point Theorem on Lexicographic Lattice Structures. - Angelos Charalambidis; Giannos Chatziagapis; Panos Rondogiannis (LICS, 2020)

Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. - Angelos Charalambidis; Giannos Chatziagapis; Babis Kostopoulos; Panos Rondogiannis (KR, 2024)

The Stable Model Semantics for Higher-Order Logic Programming. - Bart Bogaerts 001; Angelos Charalambidis; Giannos Chatziagapis; Babis Kostopoulos; Samuele Pollaci; Panos Rondogiannis (Theory Pract. Log. Program., 2024)