Wolfgang Dvorák

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 73

Top Venues

Technische Universität Wien (PHD)

Education History

Technische Universität Wien

PHD

Publications

Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks. J. Artif. Intell. Res. 79 (2024)
Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
Redefining ABA+ Semantics via Abstract Set-to-Set Attacks. AAAI (2024)
Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran
Abstract argumentation with conditional preferences. Argument Comput. 15 (2) (2024)
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Constrained Derivation in Assumption-Based Argumentation. FoIKS (2024)
Wolfgang Dvorák, Alexander Greßler, Stefan Woltran
Equipping Abstract Argumentation Solvers for Verifying Negative Results. SAC (2024)
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. J. Appl. Non Class. Logics 33 (3-4) (2023)
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
The complexity landscape of claim-augmented argumentation frameworks. Artif. Intell. 317 (2023)
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View. AAAI (2023)
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Constrained Derivation in Assumption-Based Argumentation. AI³@AI*IA (2023)
Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
Sets Attacking Sets in Abstract Argumentation. NMR (2023)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. Artif. Intell. 324 (2023)
Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran
Non-Admissibility in Abstract Argumentation. COMMA (2022)
Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA (2022)
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. NMR (2022)
Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran
Abstract Argumentation with Conditional Preferences. COMMA (2022)
Wolfgang Dvorák, Matthias König, Stefan Woltran
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. SAFA@COMMA (2022)
Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. J. Artif. Intell. Res. 74 (2022)
Wolfgang Dvorák, Matthias König, Stefan Woltran
Treewidth for Argumentation Frameworks with Collective Attacks. COMMA (2022)
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
Rediscovering Argumentation Principles Utilizing Collective Attacks. KR (2022)
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. CoRR (2022)
Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran
Tractable Abstract Argumentation via Backdoor-Treewidth. AAAI (2022)
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
Rediscovering Argumentation Principles Utilizing Collective Attacks. CoRR (2022)
Wolfgang Dvorák, Matthias König, Johannes Peter Wallner, Stefan Woltran
Aspartix-V21. CoRR (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification. CoRR (2021)
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
The Complexity Landscape of Claim-Augmented Argumentation Frameworks. AAAI (2021)
Antonis Bikakis, Andrea Cohen, Wolfgang Dvorák, Giorgos Flouris, Simon Parsons
Joint Attacks and Accrual in Argumentation Frameworks. FLAP 8 (6) (2021)
Wolfgang Dvorák, Matthias König, Stefan Woltran
Graph-Classes of Argumentation Frameworks with Collective Attacks. JELIA (2021)
Wolfgang Dvorák, Matthias König, Stefan Woltran
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. KR (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and conditional lower bounds for planning problems. Artif. Intell. 297 (2021)
Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. AAAI (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification. LICS (2021)
Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran
Ranking-Based Semantics from the Perspective of Claims. COMMA (2020)
Wolfgang Dvorák, Johannes Peter Wallner
Computing Strongly Admissible Sets. COMMA (2020)
Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite. COMMA (2020)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. KR (2020)
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner
Labelling-based Algorithms for SETAFs. SAFA@COMMA (2020)
Wolfgang Dvorák, Stefan Woltran
Complexity of abstract argumentation under a claim-centric view. Artif. Intell. 285 (2020)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs. J. Log. Comput. 30 (5) (2020)
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics. COMMA (2020)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks. ECAI (2020)
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS (2020)
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics. CoRR (2020)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CoRR (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CONCUR (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. CoRR (2019)
Wolfgang Dvorák, Stefan Woltran
Complexity of Abstract Argumentation under a Claim-Centric View. AAAI (2019)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Strong Equivalence for Argumentation Frameworks with Collective Attacks. KI (2019)
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
Preprocessing Argumentation Frameworks via Replacement Patterns. JELIA (2019)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
A general notion of equivalence for abstract argumentation. Artif. Intell. 275 (2019)
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
On the expressive power of collective attacks. Argument Comput. 10 (2) (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and Conditional Lower Bounds for Planning Problems. CoRR (2018)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. SODA (2018)
Wolfgang Dvorák, Alexander Greßler, Stefan Woltran
Evaluating SETAFs via Answer-Set Programming SAFA@COMMA (2018)
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
On the Expressive Power of Collective Attacks. COMMA (2018)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and Conditional Lower Bounds for Planning Problems. ICAPS (2018)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. LPAR (2018)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Improved Set-Based Symbolic Algorithms for Parity Games. CSL (2017)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. CoRR (2017)
Sayan Bhattacharya, Wolfgang Dvorák, Monika Henzinger, Martin Starnberger
Welfare Maximization with Friends-of-Friends Network Externalities. Theory Comput. Syst. 61 (4) (2017)
Wolfgang Dvorák, Monika Henzinger, David P. Williamson
Maximizing a Submodular Function with Viability Constraints. Algorithmica 77 (1) (2017)
Wolfgang Dvorák, Paul E. Dunne
Computational Problems in Formal Argumentation and their Complexity. FLAP 4 (8) (2017)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
A General Notion of Equivalence for Abstract Argumentation. IJCAI (2017)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Improved Set-based Symbolic Algorithms for Parity Games. CoRR (2017)
Wolfgang Dvorák, Christof Spanring
Comparing the expressiveness of argumentation semantics. J. Log. Comput. 27 (5) (2017)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Conditionally Optimal Algorithms for Generalized Büchi Games. CoRR (2016)
Wolfgang Dvorák, Monika Henzinger
Online Ad Assignment with an Ad Exchange. CoRR (2016)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Conditionally Optimal Algorithms for Generalized Büchi Games. MFCS (2016)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. CoRR (2016)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. LICS (2016)
Wolfgang Dvorák, Monika Henzinger, David P. Williamson
Maximizing a Submodular Function with Viability Constraints. CoRR (2016)
Wolfgang Dvorák, Sarah Alice Gaggl
Stage semantics and the SCC-recursive schema for argumentation semantics. J. Log. Comput. 26 (4) (2016)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artif. Intell. 241 (2016)
Martin W. A. Caminada, Wolfgang Dvorák, Srdjan Vesic
Preferred semantics as socratic discussion. J. Log. Comput. 26 (4) (2016)
Sayan Bhattacharya, Wolfgang Dvorák, Monika Henzinger, Martin Starnberger
Welfare Maximization with Friends-of-Friends Network Externalities. STACS (2015)
Wolfgang Dvorák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Martin Caminada, Samy Sá, João F. L. Alcântara, Wolfgang Dvorák
On the Difference between Assumytion-Based Argumentation and Abstract Argumentation. FLAP 2 (1) (2015)
Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for solving reasoning problems in abstract argumentation - A survey. Artif. Intell. 220 (2015)
Martin Caminada, Samy Sá, João F. L. Alcântara, Wolfgang Dvorák
On the equivalence between logic programming semantics and argumentation semantics. Int. J. Approx. Reason. 58 (2015)
Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
Characteristics of multiple viewpoints in abstract argumentation. Artif. Intell. 228 (2015)
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). IJCAI (2015)
Wolfgang Dvorák, Stefan Woltran
On the Intertranslatability of Argumentation Semantics. CoRR (2014)
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Complexity-sensitive decision procedures for abstract argumentation. Artif. Intell. 206 (2014)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
Compact Argumentation Frameworks. CoRR (2014)
Wolfgang Dvorák, Monika Henzinger
Online Ad Assignment with an Ad Exchange. WAOA (2014)
Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
Characteristics of Multiple Viewpoints in Abstract Argumentation. KR (2014)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
Compact Argumentation Frameworks. ECAI (2014)
Wolfgang Dvorák, Thomas Linsbichler, Emilia Oikarinen, Stefan Woltran
Resolution-Based Grounded Semantics Revisited. COMMA (2014)
Ludek Cigler, Wolfgang Dvorák, Monika Henzinger, Martin Starnberger
Limiting Price Discrimination when Selling Products with Positive Network Externalities. WINE (2014)
Wolfgang Dvorák, Monika Henzinger, David P. Williamson
Maximizing a Submodular Function with Viability Constraints. ESA (2013)
Paul E. Dunne, Wolfgang Dvorák, Stefan Woltran
Parametric properties of ideal semantics. Artif. Intell. 202 (2013)
Wolfgang Dvorák, Sebastian Ordyniak, Stefan Szeider
Augmenting tractable fragments of abstract argumentation. Artif. Intell. 186 (2012)
Günther Charwat, Wolfgang Dvorák
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. COMMA (2012)
Wolfgang Dvorák, Sarah Alice Gaggl
Computational Aspects of cf2 and stage2 Argumentation Semantics. COMMA (2012)
Wolfgang Dvorák
Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes CoRR (2012)
Wolfgang Dvorák, Stefan Szeider, Stefan Woltran
Abstract Argumentation via Monadic Second Order Logic. SUM (2012)
Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran
Parameterized Splitting: A Simple Modification-Based Approach. Correct Reasoning (2012)
Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran
Towards fixed-parameter tractable algorithms for abstract argumentation. Artif. Intell. 186 (2012)
Wolfgang Dvorák
Computationale Aspekte der Abstrakten Argumentation. Ausgezeichnete Informatikdissertationen (2012)
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Complexity-Sensitive Decision Procedures for Abstract Argumentation. KR (2012)
Wolfgang Dvorák, Christof Spanring
Comparing the Expressiveness of Argumentation Semantics. COMMA (2012)

Wolfgang Dvorák.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Dvorák