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 |
|---|---|
 |
|
| 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.Teaching
My course list in tiss system.Winter term 2021
- 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
- 183.579 VU Fundamentals of Computer Engineering (TU Wien)
- 184.682 VU Abstract Argumentation (TU Wien)
Summer term 2021
- 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
- 186.866 VU Algorithms and Data Structures (TU Wien)
- 181.034 SE Seminar of Artificial Intelligence (TU Wien)
- 184.765 VU Argumentation and Proof (TU Wien)
Recent & Upcoming Papers
-
Tractable Abstract Argumentation via Backdoor-Treewidth
Wolfgang Dvořák, Markus Hecher, Matthias König, Andre Schidler, Stefan Szeider, Stefan Woltran
AAAI 2022 -
ASPARTIX-V - A Solver for Argumentation Tasks Using ASP
Wolfgang Dvořák, Matthias König, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
ASPOCP 2021 -
A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks
Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
NMR 2021 -
Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks
Atefeh Keshavarzi Zafarghandi, Wolfgang Dvořák, Rineke Verbrugge, Bart Verheij
NMR 2021 -
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length
Wolfgang Dvořák, Matthias König, Stefan Woltran
KR 2021 -
ASPARTIX-V21
Wolfgang Dvořák, Matthias König, Johannes P. Wallner, Stefan Woltran
ICCMA 2021 [ paper ] -
Symbolic Time and Space Tradeoffs for Probabilistic Verification
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
accepted for LICS 2021 -
Algorithms and Conditional Lower bounds for Planning Problems
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
accepted for Artificial Intelligence [ paper ] -
Graph-Classes of Argumentation Frameworks with Collective Attacks
Wolfgang Dvořák, Matthias König, Stefan Woltran
JELIA 2021 -
The Complexity Landscape of Claim-Augmented Argumentation Frameworks
Wolfgang Dvořák, Alexander Greßler, Anna Rapberger, Stefan Woltran
AAAI-21 -
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility
Wolfgang Dvořák, Markus Ulbricht, Stefan Woltran
AAAI-21
Awards
