Justifications and Blocking Sets in a Rule-Based Answer Set Computation.

Christopher Batrix, Claire Lefvre, Laurent Garcia, Igor Stphan

Browse the full ICLP paper archive.