Open access
Jul 2026
Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
A many-sorted variant of the Bound-founded Logic of Here-and-There (HTb) is introduced, providing a versatile framework capable of characterizing equilibrium models across a wide spectrum of alternative semantics for extensions of ASP with linear constraints.
Pedro Cabalar, Jorge Fandinno, N. Rühling et al.
· Electronic Proceedings in Th... · 0 citations