research
∙
05/06/2022
Rediscovering Argumentation Principles Utilizing Collective Attacks
Argumentation Frameworks (AFs) are a key formalism in AI research. Their...
share
research
∙
04/28/2022
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
In this paper, we study the effect of preferences in abstract argumentat...
research
∙
09/07/2021
Aspartix-V21
In this solver description we present ASPARTIX-V, in its 2021 edition, w...
research
∙
04/15/2021
Symbolic Time and Space Tradeoffs for Probabilistic Verification
We present a faster symbolic algorithm for the following central problem...
research
∙
07/07/2020
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
Generalizing the attack structure in argumentation frameworks (AFs) has ...
research
∙
09/12/2019
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
The fundamental model-checking problem, given as input a model and a spe...
research
∙
09/11/2019
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Solving parity games, which are equivalent to modal μ-calculus model che...
research
∙
04/19/2018
Algorithms and Conditional Lower Bounds for Planning Problems
We consider planning problems for graphs, Markov decision processes (MDP...
research
∙
11/24/2017
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
A model of computation that is widely used in the formal analysis of rea...
research
∙
04/30/2014
Compact Argumentation Frameworks
Abstract argumentation frameworks (AFs) are one of the most studied form...
research
∙
01/16/2014
On the Intertranslatability of Argumentation Semantics
Translations between different nonmonotonic formalisms always have been ...
research
∙
01/02/2012
Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
We study the complexity of reasoning in abstracts argumentation framewor...
research
∙
08/24/2011
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Dung's famous abstract argumentation frameworks represent the core forma...
research
∙
08/24/2011