A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
ASP (): Answer Set Programming with Algebraic Constraints

2020
*
Theory and Practice of Logic Programming
*

AbstractWeighted Logic is a powerful tool for the specification of calculations over semirings that depend on qualitative information. Using a novel combination of Weighted Logic and Here-and-There (HT) Logic, in which this dependence is based on intuitionistic grounds, we introduce Answer Set Programming with Algebraic Constraints (ASP($\mathcal A \mathcal C$)), where rules may contain constraints that compare semiring values to weighted formula evaluations. Such constraints provide

doi:10.1017/s1471068420000393
fatcat:havbpg5bcbfefoaurzksggd7ce