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