12 citations · 14 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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)…
cs.LO2017
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…