A Reductive Semantics for Counting and Choice in Answer Set Programming.

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Browse the full AAAI paper archive.