Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3

While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on disparate semantic underpinn…