21 citations · 64 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Predicate Specialization for Definitional Higher-order Logic Programs
Antonis Troumpoukis, Angelos Charalambidis
Higher-order logic programming is an interesting extension of traditional logic programming that allows predicates to appear as arguments and variables to be used where predicates…
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…