Wolfgang Dvorák

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