Current Work and Research Interests

I hold a venia docendi (Habilitation) in theoretical computer science at the University of Vienna. Currently, I am employed at TU Wien at the Institute of Logic and Computation (for up to date information see my webpage there). Before that, I was with the Theory and Applications of Algorithms Group (Faculty of Computer Science) at the University of Vienna.

My research interests lie in theoretical computer science. Find below a (incomplete) list of topics I'm interested in.

• (Analysis of) Algorithms
• Approximation Algorithms
• Complexity Theory and Complexity Analysis
• Conditional Lower Bounds
• Parameterized Complexity
• Knowledge Representation and Reasoning
• (Abstract) Argumentation
• Graphs and Graph Parameters
• Answer Set Programming
• ...

Recent & Upcoming Papers

• Labelling-based Algorithms for SETAFs
  Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner
  SAFA 2020
• Weak Admissibility is PSPACE-complete
  Wolfgang Dvořák, Markus Ulbricht, Stefan Woltran
  NMR 2020
• Ranking-Based Semantics from the Perspective of Claims
  Stefano Bistarelli, Wolfgang Dvořák, Carlo Taticchi, Stefan Woltran
  COMMA 2020
• Computing Strongly Admissible Sets
  Wolfgang Dvořák, Johannes P. Wallner
  COMMA 2020
• Expressiveness of SETAFs and Support-Free~ADFs under 3-valued Semantics
  Wolfgang Dvořák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
  COMMA 2020
• The ASPARTIX system suite
  Wolfgang Dvořák, Sarah A. Gaggl, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
  COMMA 2020
• Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs
  Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
  KR 2020 [ preprint ]
• On the Different Types of Collective Attacks in Abstract Argumentation: Equivalence Results for SETAFs
  Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
  accepted for the Journal Of Logic And Computation [ paper ]
• Complexity of Abstract Argumentation Under a Claim-centric View
  Wolfgang Dvořák, Stefan Woltran
  accepted for Artificial Intelligence [ paper ]
• On the Relation between Claim-augmented Argumentation Frameworks and Collective Attacks
  Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
  ECAI 2020
  
• ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
  Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
  FoIKS 2020
  

Full publication record

---