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 curriculum vitae that is not updated too frequently.Teaching
My course list in tiss system.Winter term 2024
- 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 2024
- 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
- 186.866 VU Algorithms and Data Structures (TU Wien)
- 194.022 VU Modeling (TU Wien)
- 181.034 SE Seminar of Artificial Intelligence (TU Wien)
- 181.034 SE Logic seminar (TU Wien)
- 184.765 VU Argumentation and Proof (TU Wien)
Recent & Upcoming Papers
-
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Michael Bernreiter, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
Journal of Artificial Intelligence Research 81:203-262 (2024) [paper] -
Splitting Argumentation Frameworks with Collective Attacks
Giovanni Buraglio, Wolfgang Dvořák, Matthias König, Stefan Woltran
SAFA 2024 -
Connecting Abstract Argumentation and Boolean Network
Yannis Dimopoulos, Wolfgang Dvořák, Matthias König
COMMA 2024 -
The GSAF Solver and Verifier
Alexander Greßler, Wolfgang Dvořák, Matthias König
COMMA 2024 -
Justifying Argument Acceptance with Collective Attacks: Discussions and Dispute.
Giovanni Buraglio, Wolfgang Dvořák, Matthias König, Markus Ulbricht
IJCAI 2024 -
Constrained Derivation in Assumption-Based Argumentation
Giovanni Buraglio, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
FoIKS 2024 [ paper ] -
Equipping Abstract Argumentation Solvers for Verifying Negative Results
Wolfgang Dvořák, Alexander Greßler, Stefan Woltran
SAC 2024 762-769 [paper] -
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks.
Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
Journal of Artificial Intelligence Research 79: 69-136 (2024) [paper] -
Constrained Derivation in Assumption-Based Argumentation.
Giovanni Buraglio, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
AI3 2023 [ paper ] -
Constrained Derivation in Assumption-Based Argumentation.
Giovanni Buraglio, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
ACLAI 2023 [ paper] -
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness.
Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
Artificial Intelligence 324: 104011 (2023) [ paper ] -
Expressiveness of SETAFs and Support-Free~ADFs under 3-valued Semantics
Wolfgang Dvořák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Journal of Applied Non-Classical Logics, 33(3-4): 298-327 (2023) [ paper ] -
Sets Attacking Sets in Abstract Argumentation
Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
NMR 2023 [ paper ] -
Abstract Argumentation with Conditional Preferences
Michael Bernreiter, Wolfgang Dvořák, Stefan Woltran
Argument & Computation, 15(2), pp. 161-189, 2024 [ paper ] -
The Complexity Landscape of Claim-Augmented Argumentation Frameworks
Wolfgang Dvořák, Alexander Greßler, Anna Rapberger, Stefan Woltran
Artificial Intelligence [ paper ]
Awards
