AI RESEARCH
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arXiv CS.AI
•
ArXi:2602.09620v2 Announce Type: replace 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 closely with the expressiveness and semantics of the numerical back-end than the ASP paradigm.