Publications

Journal Publications

  1. Wolfgang Dvorák, Monika Henzinger, David P. Williamson,
    Maximizing a Submodular Function with Viability Constraints.
    Algorithmica, 77, 152-172, 2017
  2. 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
  3. Wolfgang Dvorák, Sarah Alice Gaggl,
    Stage semantics and the SCC-recursive schema for argumentation semantics.
    J. Log. Comput., 26, 1149-1202, 2016
  4. Martin W. A. Caminada, Wolfgang Dvorák, Srdjan Vesic,
    Preferred semantics as socratic discussion.
    J. Log. Comput., 26, 1257-1292, 2016
  5. 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
  6. Wolfgang Dvorák, Monika Henzinger,
    Online Ad Assignment with an Ad Exchange.
    CoRR, abs/1604.05603, , 2016
  7. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer,
    Conditionally Optimal Algorithms for Generalized Büchi Games.
    CoRR, abs/1607.05850, , 2016
  8. Wolfgang Dvorák, Monika Henzinger, David P. Williamson,
    Maximizing a Submodular Function with Viability Constraints.
    CoRR, abs/1611.05753, , 2016
  9. 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
  10. Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran,
    Characteristics of multiple viewpoints in abstract argumentation.
    Artif. Intell., 228, 153-178, 2015
  11. 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
  12. Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran,
    Complexity-sensitive decision procedures for abstract argumentation.
    Artif. Intell., 206, 53-78, 2014
  13. Wolfgang Dvorák, Stefan Woltran,
    On the Intertranslatability of Argumentation Semantics.
    CoRR, abs/1401.3895, , 2014
  14. Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran,
    Compact Argumentation Frameworks.
    CoRR, abs/1404.7734, , 2014
  15. Paul E. Dunne, Wolfgang Dvorák, Stefan Woltran,
    Parametric properties of ideal semantics.
    Artif. Intell., 202, 1-28, 2013
  16. Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran,
    Towards fixed-parameter tractable algorithms for abstract argumentation.
    Artif. Intell., 186, 1-37, 2012
  17. Wolfgang Dvorák, Sebastian Ordyniak, Stefan Szeider,
    Augmenting tractable fragments of abstract argumentation.
    Artif. Intell., 186, 157-173, 2012
  18. 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
  19. Wolfgang Dvorák, Stefan Woltran,
    On the Intertranslatability of Argumentation Semantics.
    J. Artif. Intell. Res. (JAIR), 41, 445-475, 2011
  20. Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran,
    dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
    CoRR, abs/1108.4804, , 2011
  21. 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
  22. Wolfgang Dvorák, Stefan Woltran,
    Complexity of semi-stable and stage semantics in argumentation frameworks.
    Inf. Process. Lett., 110, 425-430, 2010

Conference Papers

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. Sayan Bhattacharya, Wolfgang Dvorák, Monika Henzinger, Martin Starnberger,
    Welfare Maximization with Friends-of-Friends Network Externalities.
    In Proceedings of STACS, 90-102 (2015)
  6. Wolfgang Dvorák, Thomas Linsbichler, Emilia Oikarinen, Stefan Woltran,
    Resolution-Based Grounded Semantics Revisited.
    In Proceedings of COMMA, 269-280 (2014)
  7. Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran,
    Compact Argumentation Frameworks.
    In Proceedings of ECAI, 69-74 (2014)
  8. Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran,
    Characteristics of Multiple Viewpoints in Abstract Argumentation.
    In Proceedings of KR, (2014)
  9. Wolfgang Dvorák, Monika Henzinger,
    Online Ad Assignment with an Ad Exchange.
    In Proceedings of WAOA, 156-167 (2014)
  10. 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)
  11. Wolfgang Dvorák, Monika Henzinger, David P. Williamson,
    Maximizing a Submodular Function with Viability Constraints.
    In Proceedings of ESA, 409-420 (2013)
  12. Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran,
    Parameterized Splitting: A Simple Modification-Based Approach.
    In Proceedings of Correct Reasoning, 57-71 (2012)
  13. Wolfgang Dvorák, Christof Spanring,
    Comparing the Expressiveness of Argumentation Semantics.
    In Proceedings of COMMA, 261-272 (2012)
  14. Wolfgang Dvorák, Sarah Alice Gaggl,
    Computational Aspects of cf2 and stage2 Argumentation Semantics.
    In Proceedings of COMMA, 273-284 (2012)
  15. Günther Charwat, Wolfgang Dvorák,
    dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool.
    In Proceedings of COMMA, 507-508 (2012)
  16. Wolfgang Dvorák,
    Computationale Aspekte der Abstrakten Argumentation.
    In Proceedings of Ausgezeichnete Informatikdissertationen, 61-70 (2012)
  17. Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran,
    Complexity-Sensitive Decision Procedures for Abstract Argumentation.
    In Proceedings of KR, (2012)
  18. Wolfgang Dvorák, Stefan Szeider, Stefan Woltran,
    Abstract Argumentation via Monadic Second Order Logic.
    In Proceedings of SUM, 85-98 (2012)
  19. Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran,
    Parametric Properties of Ideal Semantics.
    In Proceedings of IJCAI, 851-856 (2011)
  20. 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)
  21. 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)
  22. Wolfgang Dvorák,
    On the Complexity of Computing the Justification Status of an Argument.
    In Proceedings of TAFA, 32-49 (2011)
  23. Wolfgang Dvorák, Stefan Szeider, Stefan Woltran,
    Reasoning in Argumentation Frameworks of Bounded Clique-Width.
    In Proceedings of COMMA, 219-230 (2010)
  24. Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran,
    Towards Fixed-Parameter Tractable Algorithms for Argumentation.
    In Proceedings of KR, (2010)
  25. Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran,
    Alternation as a programming paradigm.
    In Proceedings of PPDP, 61-72 (2009)