10 citations · 23 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 1 cited
Concurrence for well-formed CAFs: Naive Semantics
Rafael Kiesel, Anna Rapberger
In the area of claim-based reasoning in abstract argumentation, a claim-based semantics is said to be concurrent in a given framework if all its variants yield the same extensions.…
cs.LO2021
Quantitative and Stream Extensions of Answer Set Programming
Rafael Kiesel
Answer Set Programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We p…
cs.AI2021
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Dealing with context dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which…