Alternation as a programming paradigm. - Wolfgang Dvorák; Georg Gottlob; Reinhard Pichler; Stefan Woltran (PPDP, 2009)

Reasoning in Argumentation Frameworks of Bounded Clique-Width. - Wolfgang Dvorák; Stefan Szeider; Stefan Woltran (COMMA, 2010)

Towards Fixed-Parameter Tractable Algorithms for Argumentation. - Wolfgang Dvorák; Reinhard Pichler; Stefan Woltran (KR, 2010)

Complexity of semi-stable and stage semantics in argumentation frameworks. - Wolfgang Dvorák; Stefan Woltran (Inf. Process. Lett., 2010)

Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. - Wolfgang Dvorák; Sarah Alice Gaggl; Johannes Peter Wallner; Stefan Woltran (INAP/WLP, 2011)

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. - Wolfgang Dvorák; Michael Morak; Clemens Nopp; Stefan Woltran (INAP/WLP, 2011)

On the Complexity of Computing the Justification Status of an Argument. - Wolfgang Dvorák (TAFA, 2011)

On the Intertranslatability of Argumentation Semantics. - Wolfgang Dvorák; Stefan Woltran (J. Artif. Intell. Res., 2011)

Computational Aspects of Abstract Argumentation. - Wolfgang Dvorák (2012)

Parameterized Splitting: A Simple Modification-Based Approach. - Ringo Baumann; Gerhard Brewka; Wolfgang Dvorák; Stefan Woltran (Correct Reasoning, 2012)

dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. - Günther Charwat; Wolfgang Dvorák (COMMA, 2012)

Computational Aspects of cf2 and stage2 Argumentation Semantics. - Wolfgang Dvorák; Sarah Alice Gaggl (COMMA, 2012)

Computationale Aspekte der Abstrakten Argumentation. - Wolfgang Dvorák (Ausgezeichnete Informatikdissertationen, 2012)

Abstract Argumentation via Monadic Second Order Logic. - Wolfgang Dvorák; Stefan Szeider; Stefan Woltran (SUM, 2012)

Augmenting tractable fragments of abstract argumentation. - Wolfgang Dvorák; Sebastian Ordyniak; Stefan Szeider (Artif. Intell., 2012)

Towards fixed-parameter tractable algorithms for abstract argumentation. - Wolfgang Dvorák; Reinhard Pichler; Stefan Woltran (Artif. Intell., 2012)

Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes - Wolfgang Dvorák (CoRR, 2012)

Parametric properties of ideal semantics. - Paul E. Dunne; Wolfgang Dvorák; Stefan Woltran (Artif. Intell., 2013)

Resolution-Based Grounded Semantics Revisited. - Wolfgang Dvorák; Thomas Linsbichler; Emilia Oikarinen; Stefan Woltran (COMMA, 2014)

Compact Argumentation Frameworks. - Ringo Baumann; Wolfgang Dvorák; Thomas Linsbichler; Hannes Strass; Stefan Woltran (ECAI, 2014)

Online Ad Assignment with an Ad Exchange. - Wolfgang Dvorák; Monika Henzinger (WAOA, 2014)

Limiting Price Discrimination when Selling Products with Positive Network Externalities. - Ludek Cigler; Wolfgang Dvorák; Monika Henzinger; Martin Starnberger (WINE, 2014)

Complexity-sensitive decision procedures for abstract argumentation. - Wolfgang Dvorák; Matti Järvisalo; Johannes Peter Wallner; Stefan Woltran (Artif. Intell., 2014)

Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks. - Wolfgang Dvorák; Sarah Alice Gaggl; Thomas Linsbichler; Johannes Peter Wallner (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). - Wolfgang Dvorák; Matti Järvisalo; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2015)

Methods for solving reasoning problems in abstract argumentation - A survey. - Günther Charwat; Wolfgang Dvorák; Sarah Alice Gaggl; Johannes Peter Wallner; Stefan Woltran (Artif. Intell., 2015)

Characteristics of multiple viewpoints in abstract argumentation. - Paul E. Dunne; Wolfgang Dvorák; Thomas Linsbichler; Stefan Woltran (Artif. Intell., 2015)

On the Difference between Assumytion-Based Argumentation and Abstract Argumentation. - Martin Caminada; Samy Sá; João F. L. Alcântara; Wolfgang Dvorák (FLAP, 2015)

On the equivalence between logic programming semantics and argumentation semantics. - Martin Caminada; Samy Sá; João F. L. Alcântara; Wolfgang Dvorák (Int. J. Approx. Reason., 2015)

Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Veronika Loitzenbauer (LICS, 2016)

Conditionally Optimal Algorithms for Generalized Büchi Games. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Veronika Loitzenbauer (MFCS, 2016)

On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. - Ringo Baumann; Wolfgang Dvorák; Thomas Linsbichler; Christof Spanring; Hannes Strass; Stefan Woltran (Artif. Intell., 2016)

Preferred semantics as socratic discussion. - Martin W. A. Caminada; Wolfgang Dvorák; Srdjan Vesic (J. Log. Comput., 2016)

Stage semantics and the SCC-recursive schema for argumentation semantics. - Wolfgang Dvorák; Sarah Alice Gaggl (J. Log. Comput., 2016)

Improved Set-Based Symbolic Algorithms for Parity Games. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Veronika Loitzenbauer (CSL, 2017)

Maximizing a Submodular Function with Viability Constraints. - Wolfgang Dvorák; Monika Henzinger; David P. Williamson (Algorithmica, 2017)

Computational Problems in Formal Argumentation and their Complexity. - Wolfgang Dvorák; Paul E. Dunne (FLAP, 2017)

Comparing the expressiveness of argumentation semantics. - Wolfgang Dvorák; Christof Spanring (J. Log. Comput., 2017)

Welfare Maximization with Friends-of-Friends Network Externalities. - Sayan Bhattacharya; Wolfgang Dvorák; Monika Henzinger; Martin Starnberger (Theory Comput. Syst., 2017)

Evaluating SETAFs via Answer-Set Programming - Wolfgang Dvorák; Alexander Greßler; Stefan Woltran (SAFA@COMMA, 2018)

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil (LPAR, 2018)

Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Veronika Loitzenbauer (SODA, 2018)

Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil (CONCUR, 2019)

Preprocessing Argumentation Frameworks via Replacement Patterns. - Wolfgang Dvorák; Matti Järvisalo; Thomas Linsbichler; Andreas Niskanen; Stefan Woltran (JELIA, 2019)

Strong Equivalence for Argumentation Frameworks with Collective Attacks. - Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (KI, 2019)

A general notion of equivalence for abstract argumentation. - Ringo Baumann; Wolfgang Dvorák; Thomas Linsbichler; Stefan Woltran (Artif. Intell., 2019)

On the expressive power of collective attacks. - Wolfgang Dvorák; Jorge Fandinno; Stefan Woltran (Argument Comput., 2019)

Ranking-Based Semantics from the Perspective of Claims. - Stefano Bistarelli; Wolfgang Dvorák; Carlo Taticchi; Stefan Woltran (COMMA, 2020)

The ASPARTIX System Suite. - Wolfgang Dvorák; Sarah Alice Gaggl; Anna Rapberger; Johannes Peter Wallner; Stefan Woltran (COMMA, 2020)

Labelling-based Algorithms for SETAFs. - Wolfgang Dvorák; Anna Rapberger; Johannes Peter Wallner (SAFA@COMMA, 2020)

Computing Strongly Admissible Sets. - Wolfgang Dvorák; Johannes Peter Wallner (COMMA, 2020)

On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks. - Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (ECAI, 2020)

ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. - Wolfgang Dvorák; Anna Rapberger; Johannes Peter Wallner; Stefan Woltran (FoIKS, 2020)

Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. - Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (KR, 2020)

Complexity of abstract argumentation under a claim-centric view. - Wolfgang Dvorák; Stefan Woltran (Artif. Intell., 2020)

On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs. - Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (J. Log. Comput., 2020)

Graph-Classes of Argumentation Frameworks with Collective Attacks. - Wolfgang Dvorák; Matthias König 002; Stefan Woltran (JELIA, 2021)

On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. - Wolfgang Dvorák; Matthias König 002; Stefan Woltran (KR, 2021)

Symbolic Time and Space Tradeoffs for Probabilistic Verification. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil (LICS, 2021)

Algorithms and conditional lower bounds for planning problems. - Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil (Artif. Intell., 2021)

Aspartix-V21. - Wolfgang Dvorák; Matthias König 002; Johannes Peter Wallner; Stefan Woltran (CoRR, 2021)

Joint Attacks and Accrual in Argumentation Frameworks. - Antonis Bikakis; Andrea Cohen; Wolfgang Dvorák; Giorgos Flouris; Simon Parsons (FLAP, 2021)

Tractable Abstract Argumentation via Backdoor-Treewidth. - Wolfgang Dvorák; Markus Hecher; Matthias König 002; André Schidler; Stefan Szeider; Stefan Woltran (AAAI, 2022)

Treewidth for Argumentation Frameworks with Collective Attacks. - Wolfgang Dvorák; Matthias König 002; Stefan Woltran (COMMA, 2022)

Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. - Wolfgang Dvorák; Matthias König 002; Stefan Woltran (SAFA@COMMA, 2022)

Non-Admissibility in Abstract Argumentation. - Wolfgang Dvorák; Tjitze Rienstra; Leendert van der Torre; Stefan Woltran (COMMA, 2022)

How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? - Atefeh Keshavarzi Zafarghandi; Wolfgang Dvorák; Rineke Verbrugge; Bart Verheij (COMMA, 2022)

Rediscovering Argumentation Principles Utilizing Collective Attacks. - Wolfgang Dvorák; Matthias König 002; Markus Ulbricht 001; Stefan Woltran (KR, 2022)

Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. - Wolfgang Dvorák; Markus Ulbricht 001; Stefan Woltran (J. Artif. Intell. Res., 2022)

Sets Attacking Sets in Abstract Argumentation. - Yannis Dimopoulos; Wolfgang Dvorák; Matthias König 002; Anna Rapberger; Markus Ulbricht 001; Stefan Woltran (NMR, 2023)

The complexity landscape of claim-augmented argumentation frameworks. - Wolfgang Dvorák; Alexander Greßler; Anna Rapberger; Stefan Woltran (Artif. Intell., 2023)

Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. - Wolfgang Dvorák; Atefeh Keshavarzi Zafarghandi; Stefan Woltran (J. Appl. Non Class. Logics, 2023)

A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. - Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (Artif. Intell., 2023)

Redefining ABA+ Semantics via Abstract Set-to-Set Attacks. - Yannis Dimopoulos; Wolfgang Dvorák; Matthias König 002; Anna Rapberger; Markus Ulbricht 001; Stefan Woltran (AAAI, 2024)

Splitting Argumentation Frameworks with Collective Attacks. - Giovanni Buraglio; Wolfgang Dvorák; Matthias König 002; Stefan Woltran (SAFA@COMMA, 2024)

Connecting Abstract Argumentation and Boolean Networks. - Yannis Dimopoulos; Wolfgang Dvorák; Matthias König 002 (COMMA, 2024)

The GSAF Solver and Verifier. - Alexander Greßler; Wolfgang Dvorák; Stefan Woltran (COMMA, 2024)

Constrained Derivation in Assumption-Based Argumentation. - Giovanni Buraglio; Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (FoIKS, 2024)

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes. - Giovanni Buraglio; Wolfgang Dvorák; Matthias König 002; Markus Ulbricht 001 (IJCAI, 2024)

Equipping Abstract Argumentation Solvers for Verifying Negative Results. - Wolfgang Dvorák; Alexander Greßler; Stefan Woltran (SAC, 2024)

Abstract argumentation with conditional preferences. - Michael Bernreiter; Wolfgang Dvorák; Stefan Woltran (Argument Comput., 2024)

The Effect of Preferences in Abstract Argumentation under a Claim-Centric View. - Michael Bernreiter; Wolfgang Dvorák; Anna Rapberger; Stefan Woltran (J. Artif. Intell. Res., 2024)

Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks. - Wolfgang Dvorák; Matthias König 002; Markus Ulbricht 001; Stefan Woltran (J. Artif. Intell. Res., 2024)

Parameterized complexity of abstract argumentation with collective attacks. - Wolfgang Dvorák; Matthias König 002; Stefan Woltran (Argument Comput., 2025)