Univ.Ass. 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 postdoctoral researcher 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.Summer term 2019
- 184.705 VU Semistrukturierte Daten (TU Wien)
- 184.765 VU Argumentieren und Beweisen (TU Wien)
- 181.034 SE Seminar of Artificial Intelligence (TU Wien)
Winter term 2018
- 185.A93 UE Formal Methods in Computer Science (TU Wien)
- 184.682 VU Abstract Argumentation (TU Wien)
PC-member/Guest Editor
- IJCAI 19: 28th International Joint Conference on Artificial Intelligence
- I am a guest editor for a special issue of TPLP on Argumentation and Logic Programming - Frontiers and Relations
- AAAI 19: The Thirty-Third AAAI Conference on Artificial Intelligence
- COMMA 2018: 6th International Conference on Computational Models of Argument
- SAFA 2018: The Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA)
Recent & Upcoming Papers
-
Preprocessing Argumentation Frameworks via Replacement Patterns
Wolfgang Dvořák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen Stefan Woltran
accepted for JELIA 2019 [ preprint ] -
Complexity of Abstract Argumentation Under a Claim-centric View
Wolfgang Dvořák, Stefan Woltran
AAAI-19 [ authors' version | poster | spotlight slides] -
Applications of ASP in Formal Argumentation
Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes P. Wallner, Stefan Woltran
Workshop on Trends and Applications of Answer Set Programming (TAASP 18) [ paper] -
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
LPAR-22 [paper] -
Evaluating SETAFs via Answer-Set Programming
Wolfgang Dvořák, Alexander Greßler, Stefan Woltran
SAFA 2018, 22-35 [paper] -
On the Expressive Power of Collective Attacks
Wolfgang Dvořák, Jorge Fandinno, Stefan Woltran
COMMA 2018, 49 - 60 [paper] -
Computational Problems in Formal Argumentation and their Complexity
Wolfgang Dvořák, Paul E. Dunne
In Handbook of Formal Argumentation, pages 631-688, 2018 [Handbook at College Publications, authors' version of the chapter] -
Algorithms and Conditional Lower bounds for Planning Problems
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
accepted for ICAPS 2018 -
Lower Bounds for Symbolic Computation on Graphs:
Strongly Connected Components, Liveness, Safety, and Diameter.
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Veronika Loitzenbauer
SODA 2018, 2341-2356 [ paper | arXiv-version ]
Awards
