2 papers
cs.LO2023
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…
cs.AI2022
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…