ASP(AC): Answer Set Programming with Algebraic Constraints

Thomas Eiter, Rafael Kiesel

Weighted 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-…