4 citations · 6 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
From Time to Space: The Impact of Linearity in Higher-Order Datalog
Angelos Charalambidis, Babis Kostopoulos, Panos Rondogiannis
We consider a fragment of Higher-Order Datalog with negation and argue that it generalizes the familiar and important fragment of Linear Datalog. We investigate the expressive powe…
cs.LO2026
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos +1
One of the most significant achievements of equilibrium logic was the characterization of strong equivalence, a property crucial for program transformation and optimization in Answ…