On Establishing Robust Consistency in Answer Set Programs

Andre Thevapalan, Gabriele Kern-Isberner

Answer set programs used in real-world applications often require that the program is usable with different input data. This, however, can often lead to contradictory statements an…