Senior Lecturer Dipl.-Ing. Dipl.-Ing. Dr.techn.
Wolfgang Dvořák
Address |
Institute of Logic and Computation
Database and Artificial Intelligence Group
TU Wien
Favoritenstraße 9-11
1040 Wien
Austria |
Mail |
 |
Phone |
+43-1-58801-18441 |
Fax |
+43-1-58801-9-18441 |
Room |
HA 03 18 |
Office Hours |
By appointment (send me an e-mail) |
You can find me in the TISS Adress Book
I am a senior lecturer at the Database and Artificial Intelligence Group of TU Wien
and hold a venia docendi at the
University of Vienna (
Faculty of Computer Science).
Before that, I was with the
Theory and Applications of Algorithms Group
at the University of Vienna
and even before I obtained my PhD at
TU Wien, within the WWTF funded project
"New Methods for Analysing, Comparing and Solving Argumentation".
Current Work and Research Interests
My
research interests lie in theoretical computer science
and my main research area is on Algorithms and Algorithmic Lower Bounds for Graph Problems from Applications, with the current focus being on problems in Artificial Intelligence and model checking problems from computer aided verification.
In my research, I apply methods from the fields of algorithms and computational complexity theory, in particular from the research areas of parameterized complexity, approximation algorithms, and conditional lower bounds.
Beyond that, I am interested in research on the intertranslatability and expressiveness studies of AI formalisms.
Find below a list of some 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
- Games on Graphs
- Answer Set Programming
- ...
Curriculum Vitae
A short
curriculum vitae.
PC-member/Guest Editor
-
COMMA 2020: 7th International Conference on Computational Models of Argument
-
SAFA 2020:
The Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA)
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
Awards