FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints 事件

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints arXiv:2602.09620v2 Announce Type: replace Abstract: Constraint Answer Set Programming (CASP) is a hybrid paradigm that enriches Answer Set Programming (ASP) with numerical constraint processing, a crucial requirement for many real-world applications. However, the specification of constraints in most CASP solvers aligns more closely with the expressiveness and semantics of the numerical back-end than the ASP paradigm. In the