9 citations · 10 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.AI2022
A Conditional Perspective on the Logic of Iterated Belief Contraction
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investig…