Sorting Strategies for Interactive Conflict Resolution in ASP

Andre Thevapalan, Gabriele Kern-Isberner

Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the de…