Publications
Journal Publications
- Wolfgang Dvorák,
Monika Henzinger,
David P. Williamson,
Maximizing a Submodular Function with Viability Constraints.
Algorithmica, 77, 152-172, 2017
- 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, 244-284, 2016
- Wolfgang Dvorák,
Sarah Alice Gaggl,
Stage semantics and the SCC-recursive schema for argumentation semantics.
J. Log. Comput., 26, 1149-1202, 2016
- Martin W. A. Caminada,
Wolfgang Dvorák,
Srdjan Vesic,
Preferred semantics as socratic discussion.
J. Log. Comput., 26, 1257-1292, 2016
- Krishnendu Chatterjee,
Wolfgang Dvorák,
Monika Henzinger,
Veronika Loitzenbauer,
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder
than Conjunction.
CoRR, abs/1602.02670, , 2016
- Wolfgang Dvorák,
Monika Henzinger,
Online Ad Assignment with an Ad Exchange.
CoRR, abs/1604.05603, , 2016
- Krishnendu Chatterjee,
Wolfgang Dvorák,
Monika Henzinger,
Veronika Loitzenbauer,
Conditionally Optimal Algorithms for Generalized Büchi Games.
CoRR, abs/1607.05850, , 2016
- Wolfgang Dvorák,
Monika Henzinger,
David P. Williamson,
Maximizing a Submodular Function with Viability Constraints.
CoRR, abs/1611.05753, , 2016
- 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, 28-63, 2015
- Paul E. Dunne,
Wolfgang Dvorák,
Thomas Linsbichler,
Stefan Woltran,
Characteristics of multiple viewpoints in abstract argumentation.
Artif. Intell., 228, 153-178, 2015
- Martin Caminada,
Samy Sá,
João Alcântara,
Wolfgang Dvorák,
On the equivalence between logic programming semantics and argumentation semantics.
Int. J. Approx. Reasoning, 58, 87-111, 2015
- Wolfgang Dvorák,
Matti Järvisalo,
Johannes Peter Wallner,
Stefan Woltran,
Complexity-sensitive decision procedures for abstract argumentation.
Artif. Intell., 206, 53-78, 2014
- Wolfgang Dvorák,
Stefan Woltran,
On the Intertranslatability of Argumentation Semantics.
CoRR, abs/1401.3895, , 2014
- Ringo Baumann,
Wolfgang Dvorák,
Thomas Linsbichler,
Hannes Strass,
Stefan Woltran,
Compact Argumentation Frameworks.
CoRR, abs/1404.7734, , 2014
- Paul E. Dunne,
Wolfgang Dvorák,
Stefan Woltran,
Parametric properties of ideal semantics.
Artif. Intell., 202, 1-28, 2013
- Wolfgang Dvorák,
Reinhard Pichler,
Stefan Woltran,
Towards fixed-parameter tractable algorithms for abstract argumentation.
Artif. Intell., 186, 1-37, 2012
- Wolfgang Dvorák,
Sebastian Ordyniak,
Stefan Szeider,
Augmenting tractable fragments of abstract argumentation.
Artif. Intell., 186, 157-173, 2012
- Wolfgang Dvorák,
Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed
distance to tractable classes
CoRR, abs/1201.0478, , 2012
- Wolfgang Dvorák,
Stefan Woltran,
On the Intertranslatability of Argumentation Semantics.
J. Artif. Intell. Res. (JAIR), 41, 445-475, 2011
- Wolfgang Dvorák,
Michael Morak,
Clemens Nopp,
Stefan Woltran,
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
CoRR, abs/1108.4804, , 2011
- Wolfgang Dvorák,
Sarah Alice Gaggl,
Johannes Peter Wallner,
Stefan Woltran,
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
CoRR, abs/1108.4942, , 2011
- Wolfgang Dvorák,
Stefan Woltran,
Complexity of semi-stable and stage semantics in argumentation frameworks.
Inf. Process. Lett., 110, 425-430, 2010
Conference Papers
- Krishnendu Chatterjee,
Wolfgang Dvorák,
Monika Henzinger,
Veronika Loitzenbauer,
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder
than Conjunction.
In Proceedings of LICS, 197-206 (2016)
- Krishnendu Chatterjee,
Wolfgang Dvorák,
Monika Henzinger,
Veronika Loitzenbauer,
Conditionally Optimal Algorithms for Generalized Büchi Games.
In Proceedings of MFCS, 25:1-25:15 (2016)
- Wolfgang Dvorák,
Sarah Alice Gaggl,
Thomas Linsbichler,
Johannes Peter Wallner,
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks.
In Proceedings of Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 249-264 (2015)
- Wolfgang Dvorák,
Matti Järvisalo,
Johannes Peter Wallner,
Stefan Woltran,
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).
In Proceedings of IJCAI, 4173-4177 (2015)
- Sayan Bhattacharya,
Wolfgang Dvorák,
Monika Henzinger,
Martin Starnberger,
Welfare Maximization with Friends-of-Friends Network Externalities.
In Proceedings of STACS, 90-102 (2015)
- Wolfgang Dvorák,
Thomas Linsbichler,
Emilia Oikarinen,
Stefan Woltran,
Resolution-Based Grounded Semantics Revisited.
In Proceedings of COMMA, 269-280 (2014)
- Ringo Baumann,
Wolfgang Dvorák,
Thomas Linsbichler,
Hannes Strass,
Stefan Woltran,
Compact Argumentation Frameworks.
In Proceedings of ECAI, 69-74 (2014)
- Paul E. Dunne,
Wolfgang Dvorák,
Thomas Linsbichler,
Stefan Woltran,
Characteristics of Multiple Viewpoints in Abstract Argumentation.
In Proceedings of KR, (2014)
- Wolfgang Dvorák,
Monika Henzinger,
Online Ad Assignment with an Ad Exchange.
In Proceedings of WAOA, 156-167 (2014)
- Ludek Cigler,
Wolfgang Dvorák,
Monika Henzinger,
Martin Starnberger,
Limiting Price Discrimination when Selling Products with Positive Network Externalities.
In Proceedings of WINE, 44-57 (2014)
- Wolfgang Dvorák,
Monika Henzinger,
David P. Williamson,
Maximizing a Submodular Function with Viability Constraints.
In Proceedings of ESA, 409-420 (2013)
- Ringo Baumann,
Gerhard Brewka,
Wolfgang Dvorák,
Stefan Woltran,
Parameterized Splitting: A Simple Modification-Based Approach.
In Proceedings of Correct Reasoning, 57-71 (2012)
- Wolfgang Dvorák,
Christof Spanring,
Comparing the Expressiveness of Argumentation Semantics.
In Proceedings of COMMA, 261-272 (2012)
- Wolfgang Dvorák,
Sarah Alice Gaggl,
Computational Aspects of cf2 and stage2 Argumentation Semantics.
In Proceedings of COMMA, 273-284 (2012)
- Günther Charwat,
Wolfgang Dvorák,
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool.
In Proceedings of COMMA, 507-508 (2012)
- Wolfgang Dvorák,
Computationale Aspekte der Abstrakten Argumentation.
In Proceedings of Ausgezeichnete Informatikdissertationen, 61-70 (2012)
- Wolfgang Dvorák,
Matti Järvisalo,
Johannes Peter Wallner,
Stefan Woltran,
Complexity-Sensitive Decision Procedures for Abstract Argumentation.
In Proceedings of KR, (2012)
- Wolfgang Dvorák,
Stefan Szeider,
Stefan Woltran,
Abstract Argumentation via Monadic Second Order Logic.
In Proceedings of SUM, 85-98 (2012)
- Wolfgang Dvorák,
Paul E. Dunne,
Stefan Woltran,
Parametric Properties of Ideal Semantics.
In Proceedings of IJCAI, 851-856 (2011)
- Wolfgang Dvorák,
Sarah Alice Gaggl,
Johannes Peter Wallner,
Stefan Woltran,
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
In Proceedings of INAP/WLP, 114-133 (2011)
- Wolfgang Dvorák,
Michael Morak,
Clemens Nopp,
Stefan Woltran,
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.
In Proceedings of INAP/WLP, 259-268 (2011)
- Wolfgang Dvorák,
On the Complexity of Computing the Justification Status of an Argument.
In Proceedings of TAFA, 32-49 (2011)
- Wolfgang Dvorák,
Stefan Szeider,
Stefan Woltran,
Reasoning in Argumentation Frameworks of Bounded Clique-Width.
In Proceedings of COMMA, 219-230 (2010)
- Wolfgang Dvorák,
Reinhard Pichler,
Stefan Woltran,
Towards Fixed-Parameter Tractable Algorithms for Argumentation.
In Proceedings of KR, (2010)
- Wolfgang Dvorák,
Georg Gottlob,
Reinhard Pichler,
Stefan Woltran,
Alternation as a programming paradigm.
In Proceedings of PPDP, 61-72 (2009)