Projektass. Dipl.-Ing.
Wolfgang Dvořák
| Address | Institute of Information Systems Database and Artificial Intelligence Group Vienna University of Technology Favoritenstraße 9-11 1040 Wien Austria |
|---|---|
| dvorak [at] dbai tuwien ac at | |
| Phone | +43-1-58801-58437 |
| Fax | +43-1-58801-18493 |
| Room | HA 03 20 |
You can find me in the TISS Adress Book
Current work and Research Interests
Currently, I'm pursuing my PhD at the Database and AI group within the WWTF project "New Methods for Analysing, Comparing and Solving Argumentation".My research interests lie in theoretical computer science and discrete mathematics. Find below a (incomplete) list of topics I'm interested in.
- (Analysis of) Algorithms
- Complexity Theory and Complexity Analysis
- Parameterized Complexity
- Knowledge Representation and Reasoning
- (Abstract) Argumentation
- Graphs and Graph Parameters
- Answer Set Programming
- ...
Curriculum Vitae
A short curriculum vitae.You may be interested in
- our project site (WWTF Project: New Methods for Analyzing, Comparing, and Solving Argumentation Problems)
- COMMA 2012: The Fourth International Conference on Computational Models of Argument will be held in Vienna
- CEGARTIX: Counter-Example Guided Argumentation Reasoning Tool
- dynPARTIX: A system for abstract argumentation which is based on tree decompositions and dynamic programming.
- Alter-Java - A Java extension for the Alternation programming paradigm
Teaching
Wintersemester 2011
- 184.682 VU 3.0 Abstract Argumentation,
Sommersemester 2011
- 184.682 VU 3.0 Abstract Argumentation,
Publications
Journal Papers
-
Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation.
Wolfgang Dvořák, Reinhard Pichler, and Stefan Woltran
In Artificial Intelligence, 186 (1): 1-37 (2011), (paper at sciencedirect) -
Augmenting Tractable Fragments of Abstract Argumentation.
Wolfgang Dvořák, Sebastion Ordyniak, and Stefan Szeider.
In Artificial Intelligence (in press). (paper at sciencedirect) -
On the Intertranslatability of Argumentation Semantics
Wolfgang Dvořák and Stefan Woltran
Journal of Artificial Intelligence Research, Volume 41 (2011), Pages 445-475. [paper] -
Complexity of Semi-Stable and Stage Semantics in Argumentation Frameworks
Wolfgang Dvořák, Stefan Woltran
Information Processing Letters, Volume 110, Issue 11, 16 May 2010, Pages 425-430, ISSN 0020-0190, DOI: 10.1016/j.ipl.2010.04.005. (paper at sciencedirect) [preprint]
Conference Papers / Posters
-
Complexity-Sensitive Decision Procedures for Abstract Argumentation.
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner and Stefan Woltran.
accepted for KR 2012:
-
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner and Stefan Woltran
INAP 2011 (technical paper) [arXiv:1108.4942 | slides] -
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.
Wolfgang Dvořák, Michael Morak, Clemens Nopp and Stefan Woltran
INAP 2011 (system description) [arXiv:1108.4804, slides] -
On the Complexity of Computing the Justification Status of an Argument
Wolfgang Dvořák
First International Workshop on the Theory and Applications of Formal Argumentation (TAFA) LNCS, Springer 2012 [slides | Proceedings | Post-Proceedings ] -
Parametric Properties of Ideal Semantics
Wolfgang Dvořák, Paul E. Dunne, Stefan Woltran
In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 851-856 , 2011. [paper, slides, poster] -
On the Intertranslatability of Argumentation Semantics
Wolfgang Dvořák, Stefan Woltran
NONMON@30: (online proceedings) [preprint, scripts] -
Reasoning in Argumentation Frameworks of Bounded Clique-Width
Wolfgang Dvořák, Stefan Szeider, Stefan Woltran.
COMMA 2010: 219-230 [preprint, slides] -
Towards Fixed-Parameter Tractable Algorithms for Argumentation
Wolfgang Dvořák, Reinhard Pichler, Stefan Woltran
KR 2010: 112-122 [preprint, slides] -
Alternation as a programming paradigm
Wolfgang Dvořák, Georg Gottlob, Reinhard Pichler, Stefan Woltran
In Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (Coimbra, Portugal, September 07 - 09, 2009). PPDP '09. ACM, New York, NY, 61-72. DOI= http://doi.acm.org/10.1145/1599410.1599419 [slides] -
Poster: Argumentation with Bounded Tree-Width
ACAI'09 Poster Session [Poster, printer friendly]
PhD Thesis, etc.
-
PhD Thesis: Computational Aspects of Abstract Argumentation.
Wolfgang Dvořák (supervised by Stefan Woltran)
Technische Universität Wien, 2012. [.pdf | official version | slides]
Technical Reports
-
Abstract Argumentation via Monadic Second Order Logic.
Wolfgang Dvořák, Stefan Szeider, and Stefan Woltran
Technical Report DBAI-TR-2012-79, Technische Universität Wien, 2012. [.pdf] -
Incorporating Stage Semantics in the SCC-recursive Schema for
Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl
Technical Report DBAI-TR-2012-78, Technische Universität Wien, 2012. [.pdf] -
Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation.
Wolfgang Dvořák, Reinhard Pichler, and Stefan Woltran
Technical Report DBAI-TR-2011-74, Technische Universität Wien, 2011. [.pdf] -
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Gaggl, Johannes Wallner, and Stefan Woltran
Technical Report DBAI-TR-2011-70, Technische Universität Wien, 2011. [.pdf] -
Technical Note: Complexity of Stage Semantics in Argumentation Frameworks
Wolfgang Dvořák, Stefan Woltran
Technical Report DBAI-TR-2009-66, Technische Universität Wien, Database and Artificial Intelligence Group, 2009 [pdf, slides] -
Alternation as a Programming Paradigm
Wolfgang Dvořák, Georg Gottlob, Reinhard Pichler, Stefan Woltran
Technical Report DBAI-TR-2009-64, Technische Universität Wien, Database and Artificial Intelligence Group, 2009 [pdf]
bibtex-file, publication-list with abstracts, DB&LP Bibliography Server
