9 citations · 10 across the 13 of their papers we have counts for
11 papers · 1 filter
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…
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…
Forgetting Formulas and Signature Elements in Epistemic States
A. Becker, G. Kern-Isberner, K. Sauerwald +1
Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in…