12 citations · 14 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018★ 12 cited
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…
cs.PL2017
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)…