2 papers
cs.AI2026
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…
cs.SE2026
Towards Industrial-scale Product Configuration
Joachim Baumeister, Susana Hahn, Konstantin Herud +5
We address the challenge of product configuration in the context of increasing customer demand for diverse and complex products. We propose a solution through a curated selection o…