The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs. - Panos Rondogiannis; Ioanna Symeonidou (CoRR, 2017)

Equivalence of two fixed-point semantics for definitional higher-order logic programs. - Angelos Charalambidis; Panos Rondogiannis; Ioanna Symeonidou (Theor. Comput. Sci., 2017)

The intricacies of three-valued extensional semantics for higher-order logic programs. - Panos Rondogiannis; Ioanna Symeonidou (Theory Pract. Log. Program., 2017)

Extensional Semantics for Higher-Order Logic Programs with Negation. - Panos Rondogiannis; Ioanna Symeonidou (Log. Methods Comput. Sci., 2018)

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. - Angelos Charalambidis; Panos Rondogiannis; Ioanna Symeonidou (Theory Pract. Log. Program., 2018)

Semantics of negation in extensional higher-order logic programming - Ioanna Symeonidou (2018)