Senior Lecturer Dipl.-Ing. Dipl.-Ing. Dr.techn.
Wolfgang Dvořák
| Address | Institute of Logic and Computation Databases 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 Databases 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 curriculum vitae that is not updated too frequently.Teaching
My course list in tiss system.Winter term 2026
- 192.134 VU Fundamentals of Digital Systems (TU Wien)
- 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
- 184.682 VU Abstract Argumentation (TU Wien)
Summer term 2026
- 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
- 194.022 VU Modeling (TU Wien)
Recent & Upcoming Papers
-
Sets attacking sets in abstract argumentation - redefining ABA+ semantics via hyper argumentation frameworks.
Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
Artificial Intelligence 357: 104558 (2026) [ paper ] -
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Giovanni Buraglio, Wolfgang Dvořák, Stefan Woltran
LPNMR 2026 -
Splitting Assumption-Based Argumentation Frameworks
Giovanni Buraglio, Wolfgang Dvořák, Stefan Woltran
KR 2026 [ paper ] -
Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again.
Wolfgang Dvořák, Zeynep G. Saribatur, Stefan Woltran
KR 2026 [ paper ] -
Splitting Assumption-Based Argumentation Frameworks
Giovanni Buraglio, Wolfgang Dvořák, Stefan Woltran
AAMAS 2026 [ paper ] -
Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
Wolfgang Dvořák, Zeynep G. Saribatur, Stefan Woltran
TAASP 2025 [ paper ] -
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Giovanni Buraglio, Wolfgang Dvořák, Stefan Woltran
TAASP 2025 [ paper ] -
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Giovanni Buraglio, Wolfgang Dvořák, Stefan Woltran
NMR 2025 [ paper ] -
Parameterized complexity of abstract argumentation with collective attacks
Wolfgang Dvořák, Matthias König, Stefan Woltran
Argument & Computation 2025;16(1) [ paper ] -
Syntactic and Semantic Connections between Logic Programming and
Argumentation Systems
Samy Sà, Wolfgang Dvořák, Martin Caminada
IFCoLog Journal of Logics and Their Applications 12(3): 591-660, 2025
[ FLAP Volume 12 -Issue 3 ]
Awards
