ASP(AC): Answer Set Programming with Algebraic Constraints

Open in new window