Publications

Journal Publications

  1. Wolfgang Dvořák, Monika Henzinger, David P. Williamson,
    Maximizing a Submodular Function with Viability Constraints.
    Algorithmica, 77, 152-172, 2017.
  2. Ringo Baumann, Wolfgang Dvořá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 Dvořá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 Dvořák, Srdjan Vesic,
    Preferred semantics as socratic discussion.
    J. Log. Comput., 26, 1257-1292, 2016.
  5. Günther Charwat, Wolfgang Dvořá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.
  6. Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran,
    Characteristics of multiple viewpoints in abstract argumentation.
    Artif. Intell., 228, 153-178, 2015.
  7. Martin Caminada, Samy Sá, João Alcântara, Wolfgang Dvořák,
    On the equivalence between logic programming semantics and argumentation semantics.
    Int. J. Approx. Reasoning, 58, 87-111, 2015.
  8. Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran,
    Complexity-sensitive decision procedures for abstract argumentation.
    Artif. Intell., 206, 53-78, 2014.
  9. Paul E. Dunne, Wolfgang Dvořák, Stefan Woltran,
    Parametric properties of ideal semantics.
    Artif. Intell., 202, 1-28, 2013.
  10. Wolfgang Dvořák, Reinhard Pichler, Stefan Woltran,
    Towards fixed-parameter tractable algorithms for abstract argumentation.
    Artif. Intell., 186, 1-37, 2012.
  11. Wolfgang Dvořák, Sebastian Ordyniak, Stefan Szeider,
    Augmenting tractable fragments of abstract argumentation.
    Artif. Intell., 186, 157-173, 2012.
  12. Wolfgang Dvořák, Stefan Woltran,
    On the Intertranslatability of Argumentation Semantics.
    J. Artif. Intell. Res. (JAIR), 41, 445-475, 2011.
  13. Wolfgang Dvořá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 Dvořá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 Dvořák, Monika Henzinger, Veronika Loitzenbauer,
    Conditionally Optimal Algorithms for Generalized Büchi Games.
    In Proceedings of MFCS, 25:1-25:15 (2016)
  3. Wolfgang Dvořá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 Dvořá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 Dvořák, Monika Henzinger, Martin Starnberger,
    Welfare Maximization with Friends-of-Friends Network Externalities.
    In Proceedings of STACS, 90-102 (2015)
  6. Wolfgang Dvořák, Thomas Linsbichler, Emilia Oikarinen, Stefan Woltran,
    Resolution-Based Grounded Semantics Revisited.
    In Proceedings of COMMA, 269-280 (2014)
  7. Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Strass, Stefan Woltran,
    Compact Argumentation Frameworks.
    In Proceedings of ECAI, 69-74 (2014)
  8. Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran,
    Characteristics of Multiple Viewpoints in Abstract Argumentation.
    In Proceedings of KR, (2014)
  9. Wolfgang Dvořák, Monika Henzinger,
    Online Ad Assignment with an Ad Exchange.
    In Proceedings of WAOA, 156-167 (2014)
  10. Ludek Cigler, Wolfgang Dvořák, Monika Henzinger, Martin Starnberger,
    Limiting Price Discrimination when Selling Products with Positive Network Externalities.
    In Proceedings of WINE, 44-57 (2014)
  11. Wolfgang Dvořá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 Dvořák, Stefan Woltran,
    Parameterized Splitting: A Simple Modification-Based Approach.
    In Proceedings of Correct Reasoning, 57-71 (2012)
  13. Wolfgang Dvořák, Christof Spanring,
    Comparing the Expressiveness of Argumentation Semantics.
    In Proceedings of COMMA, 261-272 (2012)
  14. Wolfgang Dvořák, Sarah Alice Gaggl,
    Computational Aspects of cf2 and stage2 Argumentation Semantics.
    In Proceedings of COMMA, 273-284 (2012)
  15. Günther Charwat, Wolfgang Dvořák,
    dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool.
    In Proceedings of COMMA, 507-508 (2012)
  16. Wolfgang Dvořák,
    Computationale Aspekte der Abstrakten Argumentation.
    In Proceedings of Ausgezeichnete Informatikdissertationen, 61-70 (2012)
  17. Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran,
    Complexity-Sensitive Decision Procedures for Abstract Argumentation.
    In Proceedings of KR, (2012)
  18. Wolfgang Dvořák, Stefan Szeider, Stefan Woltran,
    Abstract Argumentation via Monadic Second Order Logic.
    In Proceedings of SUM, 85-98 (2012)
  19. Wolfgang Dvořák, Paul E. Dunne, Stefan Woltran,
    Parametric Properties of Ideal Semantics.
    In Proceedings of IJCAI, 851-856 (2011)
  20. Wolfgang Dvořá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 Dvořá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 Dvořák,
    On the Complexity of Computing the Justification Status of an Argument.
    In Proceedings of TAFA, 32-49 (2011)
  23. Wolfgang Dvořák, Stefan Szeider, Stefan Woltran,
    Reasoning in Argumentation Frameworks of Bounded Clique-Width.
    In Proceedings of COMMA, 219-230 (2010)
  24. Wolfgang Dvořák, Reinhard Pichler, Stefan Woltran,
    Towards Fixed-Parameter Tractable Algorithms for Argumentation.
    In Proceedings of KR, (2010)
  25. Wolfgang Dvořák, Georg Gottlob, Reinhard Pichler, Stefan Woltran,
    Alternation as a programming paradigm.
    In Proceedings of PPDP, 61-72 (2009)

Informal Publication

  1. Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Veronika Loitzenbauer,
    Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction.
    CoRR, abs/1602.02670, 2016.
  2. Wolfgang Dvořák, Monika Henzinger,
    Online Ad Assignment with an Ad Exchange.
    CoRR, abs/1604.05603, 2016.
  3. Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Veronika Loitzenbauer,
    Conditionally Optimal Algorithms for Generalized Büchi Games.
    CoRR, abs/1607.05850, 2016.
  4. Wolfgang Dvořák, Monika Henzinger, David P. Williamson,
    Maximizing a Submodular Function with Viability Constraints.
    CoRR, abs/1611.05753, 2016.
  5. Wolfgang Dvořák, Stefan Woltran,
    On the Intertranslatability of Argumentation Semantics.
    CoRR, abs/1401.3895, 2014.
  6. Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Strass, Stefan Woltran,
    Compact Argumentation Frameworks.
    CoRR, abs/1404.7734, 2014.
  7. Wolfgang Dvořák,
    Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
    CoRR, abs/1201.0478, 2012.
  8. Wolfgang Dvořák, Michael Morak, Clemens Nopp, Stefan Woltran,
    dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
    CoRR, abs/1108.4804, 2011.
  9. Wolfgang Dvořá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.