55 citations · 145 across the 14 of their papers we have counts for
18 papers
Rediscovering Argumentation Principles Utilizing Collective Attacks
Wolfgang Dvořák, Matthias König, Markus Ulbricht +1
Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to…
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Michael Bernreiter, Wolfgang Dvorak, Anna Rapberger +1
In this paper, we study the effect of preferences in abstract argumentation under a claim-centric perspective. Recent work has revealed that semantical and computational properties…
Aspartix-V21
Wolfgang Dvořák, Matthias König, Johannes P. Wallner +1
In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. AS…
Symbolic Time and Space Tradeoffs for Probabilistic Verification
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision pro…
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
Wolfgang Dvořák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Generalizing the attack structure in argumentation frameworks (AFs) has been studied in different ways. Most prominently, the binary attack relation of Dung frameworks has been ext…
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger +1
The fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two clas…