Axiomatization of Aggregates in Answer Set Programming.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Browse the full AAAI paper archive.