12 citations · 14 across the 4 of their papers we have counts for
4 papers
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as…
The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs
Panos Rondogiannis, Ioanna Symeonidou
In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated in (Rondogiannis and Symeonidou 2016)…
Extensional Semantics for Higher-Order Logic Programs with Negation
Panos Rondogiannis, Ioanna Symeonidou
We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order pro…
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theore…