9 citations · 10 across the 13 of their papers we have counts for
13 papers
Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases
Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck +2
In nonmonotonic reasoning from conditional belief bases, an inference operator satisfying syntax splitting postulates allows for taking only the relevant parts of a belief base int…
Extension-ranking Semantics for Abstract Argumentation Preprint
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm +2
In this paper, we present a general framework for ranking sets of arguments in abstract argumentation based on their plausibility of acceptance. We present a generalisation of Dung…
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…
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…
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…
Conditional Inference and Activation of Knowledge Entities in ACT-R
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner +2
Activation-based conditional inference applies conditional reasoning to ACT-R, a cognitive architecture developed to formalize human reasoning. The idea of activation-based conditi…