exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules.

Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Browse the full ICLP paper archive.