output
20112025
most citedOn the asymptotic and practical complexity of solving bivariate systems over the reals

77 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2024★ 4 cited

The Stable Model Semantics for Higher-Order Logic Programming

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis +3

We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfull…