Wolfgang Dvorak
Senior Lecturer Dipl.-Ing. Dipl.-Ing. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- Computational complexity, Argumentation, Logic Programming, Nonmonotonic Reasoning, Theoretical Compurter Science, Parameterized Complexity, Algorithms and Data Structures, Complexity in Artificial Intelligence and logic programming
About
My research interests lie in theoretical computer science. Find below a list of 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
- Answer Set Programming
Role
-
Senior Lecturer
Databases and Artificial Intelligence, E192-02
Courses
2022W
- Abstract Argumentation / 184.682 / VU
- Bachelor Thesis / 184.691 / PR
- Fundamentals of Data Analysis and Visualization / 192.103 / VU
- Fundamentals of Digital Systems / 183.580 / VU
- Fundamentals of Digital Systems / 192.134 / VU
- Project in Computer Science 1 / 184.688 / PR
- Project in Computer Science 2 / 184.689 / PR
2023S
- Algorithms and Data Structures / 186.866 / VU
- Argumentation and Proof / 184.765 / VU
- Bachelor Thesis / 184.691 / PR
- Foundations of Computer and Communication Systems / 192.121 / VU
- Fundamentals of Computer Engineering for Business Informatics / 185.A74 / VU
- Logic seminar / 181.206 / SE
- Project in Computer Science 1 / 184.688 / PR
- Project in Computer Science 2 / 184.689 / PR
- Seminar of Artificial Intelligence / 181.034 / SE
Projects
-
New Methods for Analyzing, Comparing, and Solving Argumentation Problems
2009 – 2012 / Vienna Science and Technology Fund (WWTF) / Publications: 170200, 171669, 171744, 173823, 174934, 175369, 30898, 39260, 40490, 40491, 40665, 40956, 40957, 40958, 56425, 56427, 56428, 56800, 56801, 56836, 56837, 56838, 56990, 57022, 57023, 57024, 57341, 57342, 57343, 57369, 57390, 57400, 57834, 57857, 57995, 58178, 58179, 89657, 89663, 89936, 89937, 90143
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
2022
- Abstract Argumentation with Conditional Preferences / Bernreiter, M., Dvořák, W., & Woltran, S. (2022). Abstract Argumentation with Conditional Preferences. In Computational Models of Argument. Proceedings of COMMA 2022 (pp. 92–103). IOS Press. https://doi.org/10.3233/FAIA220144 / Project: REVEAL-AI
- Deletion-Backdoors for Argumentation Frameworks with Collective Attacks / Dvorak, W., König, M., & Woltran, S. (2022). Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. In Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022) (pp. 98–110). CEUR-WS. https://doi.org/10.34726/3826 / Projects: HYPAR, REVEAL-AI
- How complex is the strong admissibility semantics for abstract dialectical frameworks? / Keshavarzi Zafarghandi, A., Dvorak, W., Verbrugge, R., & Verheij, B. (2022). How complex is the strong admissibility semantics for abstract dialectical frameworks? In F. Toni, S. Polberg, R. Booth, Caminada Martin, & H. Kido (Eds.), Computational Models of Argument - Proceedings of COMMA 2022 (pp. 200–211). IOS Press. https://doi.org/10.3233/FAIA220153
- Rediscovering Argumentation Principles Utilizing Collective Attacks / Dvorak, W., König, M., Ulbricht, M., & Woltran, S. (2022). Rediscovering Argumentation Principles Utilizing Collective Attacks. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR} (pp. 122–131). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/kr.2022/13 / Projects: HYPAR, REVEAL-AI
- Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility / Dvořák, W., Ulbricht, M., & Woltran, S. (2022). Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. Journal of Artificial Intelligence Research, 74, 1403–1447. https://doi.org/10.1613/jair.1.13603 / Project: REVEAL-AI
- Tractable Abstract Argumentation via Backdoor-Treewidth / Dvořák, W., Hecher, M., König, M., Schidler, A., Szeider, S., & Woltran, S. (2022). Tractable Abstract Argumentation via Backdoor-Treewidth. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (pp. 5608–5615). AAAI Press. https://doi.org/10.1609/aaai.v36i5.20501 / Projects: HYPAR, REVEAL-AI, SLIM
- Treewidth for Argumentation Frameworks with Collective Attacks / Dvořák, W., König, M., & Woltran, S. (2022). Treewidth for Argumentation Frameworks with Collective Attacks. In Computational Models of Argument. Proceedings of COMMA 2022 (pp. 140–151). IOS Press. https://doi.org/10.34726/3422 / Projects: HYPAR, REVEAL-AI
- Non-Admissibility in Abstract Argumentation / Dvořák, W., Rienstra, T., van der Torre, L., & Woltran, S. (2022). Non-Admissibility in Abstract Argumentation. In F. Toni, S. Polberg, M. Caminada, R. Booth, & H. Kido (Eds.), Computational Models of Argument - Proceedings of COMMA 2022 (pp. 128–139). IOS Press. https://doi.org/10.3233/FAIA220147
- The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View / Bernreiter, M., Dvorak, W., Rapberger, A., & Woltran, S. (2022). The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. In Proceedings of the 20th International Workshop on Non-Monotonic Reasoning (pp. 27–38).
2021
- Joint Attacks and Accrual in Argumentation Frameworks / Bikakis, A., Cohen, A., Dvorak, W., Flouris, G., & Parsons, S. (2021). Joint Attacks and Accrual in Argumentation Frameworks. Journal of Applied Logics - IfCoLog Journal (FLAP) - College Publications, 8(6), 1437–1502. http://hdl.handle.net/20.500.12708/138043
- Algorithms and conditional lower bounds for planning problems / Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence, 297(103499), 103499. https://doi.org/10.1016/j.artint.2021.103499
- ASPARTIX-V - A Solver for Argumentation Tasks Using ASP / Dvorak, W., König, M., Rapberger, A., Wallner, J. P., & Woltran, S. (2021). ASPARTIX-V - A Solver for Argumentation Tasks Using ASP. ASPOCP 2021 - 14th Workshop on Answer Set Programming and Other Computing Paradigms, Porto, EU. http://hdl.handle.net/20.500.12708/87227
- Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks / Keshavarzi Zafarghandi, A., Dvorak, W., Verbrugge, R., & Verheij, B. (2021). Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks. NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Hanoi, Vietnam, International. http://hdl.handle.net/20.500.12708/87226
- A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks / Dvorak, W., König, M., Ulbricht, M., & Woltran, S. (2021). A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks. NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Hanoi, Vietnam, International. http://hdl.handle.net/20.500.12708/87225 / Projects: HYPAR, START
- Graph-Classes of Argumentation Frameworks with Collective Attacks / Dvořák, W., König, M., & Woltran, S. (2021). Graph-Classes of Argumentation Frameworks with Collective Attacks. In Logics in Artificial Intelligence (pp. 3–17). https://doi.org/10.1007/978-3-030-75775-5_1 / Projects: HYPAR, START
- On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length / Dvořák, W., König, M., & Woltran, S. (2021). On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, International. https://doi.org/10.24963/kr.2021/67 / Projects: HYPAR, START
- Symbolic Time and Space Tradeoffs for Probabilistic Verification / Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic Time and Space Tradeoffs for Probabilistic Verification. In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS 2021 - Symposium on Logic in Computer Science, Rom, EU. https://doi.org/10.1109/lics52264.2021.9470739
- Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility / Dvořák, W., Ulbricht, M., & Woltran, S. (2021). Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility. In Journal of Artificial Intelligence Research (pp. 1403–1447). https://doi.org/10.1613/jair.1.13603 / Project: START
- The Complexity Landscape of Claim-Augmented Argumentation Frameworks / Dvorak, W., Greßler, A., Rapberger, A., & Woltran, S. (2021). The Complexity Landscape of Claim-Augmented Argumentation Frameworks. In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021 (pp. 6296–6303). http://hdl.handle.net/20.500.12708/58525
2020
- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation / Dvorak, W., Rapberger, A., Wallner, J., & Woltran, S. (2020). ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation. In Foundations of Information and Knowledge Systems. FoIKS 2020 (pp. 79–89). Springer. https://doi.org/10.34726/1821 / Project: GRAPPA
- On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs / Dvořák, W., Rapberger, A., & Woltran, S. (2020). On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs. Journal of Logic and Computation, 30(5), 1063–1107. https://doi.org/10.1093/logcom/exaa033
- Complexity of abstract argumentation under a claim-centric view / Dvořák, W., & Woltran, S. (2020). Complexity of abstract argumentation under a claim-centric view. Artificial Intelligence, 285(103290), 103290. https://doi.org/10.1016/j.artint.2020.103290 / Projects: GRAPPA, START
- Weak Admissibility is PSPACE-complete / Dvorak, W., Ulbricht, M., & Woltran, S. (2020). Weak Admissibility is PSPACE-complete. In 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (pp. 100–109). http://hdl.handle.net/20.500.12708/58277
- Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs / Dvořák, W., Rapberger, A., & Woltran, S. (2020). Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland, EU. https://doi.org/10.24963/kr.2020/35
- Strong Equivalence for Argumentation Frameworks with Collective Attacks / Dvořák, W., Rapberger, A., & Woltran, S. (2020). Strong Equivalence for Argumentation Frameworks with Collective Attacks. In KI 2019: Advances in Artificial Intelligence (pp. 131–145). https://doi.org/10.1007/978-3-030-30179-8_11
- Ranking-Based Semantics from the Perspective of Claims / Bistarelli, S., Dvorak, W., Taticchi, C., & Woltran, S. (2020). Ranking-Based Semantics from the Perspective of Claims. In Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia, Italy, September 4-11, 2020 (pp. 111–122). http://hdl.handle.net/20.500.12708/58261
- Labelling-based Algorithms for SETAFs / Dvorak, W., Rapberger, A., & Wallner, J. P. (2020). Labelling-based Algorithms for SETAFs. In S. A. Gaggl, M. Thimm, & M. Vallati (Eds.), Proceedings SAFA 2020 (pp. 34–46). CEUR-WS.org. http://hdl.handle.net/20.500.12708/58209
- Computing Strongly Admissible Sets / Dvorak, W., & Wallner, J. P. (2020). Computing Strongly Admissible Sets. In H. Prakken, S. Bistarelli, F. Santini, & C. Taticchi (Eds.), Proceedings COMMA (pp. 179–190). IOs Press. http://hdl.handle.net/20.500.12708/58171
- Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics / Dvorak, W., Keshavarzi Zafarghandi, A., & Woltran, S. (2020). Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics. In Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia, Italy, September 4-11, 2020 (pp. 191–202). http://hdl.handle.net/20.500.12708/55557 / Project: GRAPPA
- The ASPARTIX system suite / Dvorak, W., Gaggl, S. A., Rapberger, A., Wallner, J. P., & Woltran, S. (2020). The ASPARTIX system suite. In H. Prakken, S. Bistarelli, F. Santini, & C. Taticchi (Eds.), Proceedings COMMA (pp. 461–462). IOS Press. http://hdl.handle.net/20.500.12708/55544
2019
- On the expressive power of collective attacks / Dvorak, W., Woltran, S., & Fandinno, J. (2019). On the expressive power of collective attacks. Argument & Computation, 10(2), 191–230. https://doi.org/10.3233/aac-190457 / Project: GRAPPA
- A general notion of equivalence for abstract argumentation / Dvorak, W., Baumann, R., Linsbichler, T., & Woltran, S. (2019). A general notion of equivalence for abstract argumentation. Artificial Intelligence, 275, 379–410. https://doi.org/10.1016/j.artint.2019.06.006 / Projects: GRAPPA, START
- Preprocessing Argumentation Frameworks via Replacement Patterns / Dvořák, W., Järvisalo, M., Linsbichler, T., Niskanen, A., & Woltran, S. (2019). Preprocessing Argumentation Frameworks via Replacement Patterns. In Logics in Artificial Intelligence (pp. 116–132). Springer. https://doi.org/10.1007/978-3-030-19570-0_8 / Project: GRAPPA
- Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs / Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2019). Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. In 30th International Conference on Concurrency Theory, {CONCUR} 2019 (pp. 1–16). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2019.7
- Complexity of Abstract Argumentation under a Claim-Centric View / Dvořák, W., & Woltran, S. (2019). Complexity of Abstract Argumentation under a Claim-Centric View. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2801–2808). AAAI Press. https://doi.org/10.1609/aaai.v33i01.33012801 / Projects: GRAPPA, START
- Strong Equivalence for Argumentation Frameworks with Collective Attacks / Dvorak, W., Rapberger, A., & Woltran, S. (2019). Strong Equivalence for Argumentation Frameworks with Collective Attacks. In Lecture Notes in Computer Science. KI 2019 - 42nd German Conference on AI, Kassel, Deutschland, EU. https://doi.org/10.1007/978-3-030-30179-8 / Project: GRAPPA
2018
- Lower bounds for symbolic computation on graphs / Dvorak, W. (2018). Lower bounds for symbolic computation on graphs. Helmuth Veith Memorial Workshop, Salzburg, Austria. http://hdl.handle.net/20.500.12708/86782
- Expressive Power of Collective Attacks / Dvorak, W., Chatterjee, K., Henzinger, M., & Loitzenbauer, V. (2018). Expressive Power of Collective Attacks. Highlights of Algorithms 2018, HALG 2018, Amsterdam, EU. http://hdl.handle.net/20.500.12708/86748
- Quasipolynomial Set-Based Symbolic Algorithms for Parity Games / Svozil, A., Dvorak, W., Chatterjee, K., & Henzinger, M. (2018). Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. In LPAR 2018 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 233–253). EasyChair Publications, in the EPiC Series in Computing. http://hdl.handle.net/20.500.12708/57576
- Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter / Dvorak, W., Chatterjee, K., Henzinger, M., & Loitzenbauer, V. (2018). Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 2341–2356). https://doi.org/10.1137/1.9781611975031.151
- Algorithms and Conditional Lower bounds for Planning Problems / Dvorak, W., Chatterjee, K., Henzinger, M., & Svozil, A. (2018). Algorithms and Conditional Lower bounds for Planning Problems. In International Conference on Automated Planning and Scheduling (ICAPS 2018) (pp. 1–14). CoRR. http://hdl.handle.net/20.500.12708/57486
- On the Expressive Power of Collective Attacks / Dvorak, W., Woltran, S., & Fandinno, J. (2018). On the Expressive Power of Collective Attacks. In 7th International Conference on Computational Models of Argument (pp. 1–27). IOS Press. http://hdl.handle.net/20.500.12708/57485 / Project: GRAPPA
- Evaluating SETAFs via Answer-Set Programming / Dvorak, W., Woltran, S., & Gressler, A. (2018). Evaluating SETAFs via Answer-Set Programming. In 2nd International Workshop on Systems and Algorithms for Formal Argumentation (pp. 10–21). CEUR-WS.org. http://hdl.handle.net/20.500.12708/57479 / Projects: GRAPPA, START
- Application of ASP in formal argumentation / Dvorak, W., Pührer, J., Wallner, J. P., Woltran, S., & Diller, M. (2018). Application of ASP in formal argumentation. In 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018) (pp. 1–11). http://hdl.handle.net/20.500.12708/57477 / Projects: GRAPPA, START
- Computational Problems in Formal Argumentation and their Complexity / Dvorak, W., & Dunne, P. E. (2018). Computational Problems in Formal Argumentation and their Complexity. In Handbook of Formal Argumentation (pp. 631–687). College Publications. http://hdl.handle.net/20.500.12708/29850
2017
- Comparing the expressiveness of argumentation semantics / Dvořák, W., & Spanring, C. (2017). Comparing the expressiveness of argumentation semantics. Journal of Logic and Computation, exw008. https://doi.org/10.1093/logcom/exw008 / Project: GRAPPA
- A General Notion of Equivalence for Abstract Argumentation / Dvorak, W. (2017). A General Notion of Equivalence for Abstract Argumentation. In A General Notion of Equivalence for Abstract Argumentation (p. 1). http://hdl.handle.net/20.500.12708/55700
- Improved Set-based Symbolic Algorithms for Parity Games / Dvorak, W., Chatterjee, K., Henzinger, M., & Loitzenbauer, V. (2017). Improved Set-based Symbolic Algorithms for Parity Games. In Computer Science Logic - CSL 2017 (pp. 1–21). https://doi.org/10.4230/LIPIcs.CSL.2017.18
- A General Notion of Equivalence for Abstract Argumentation / Dvorak, W., Linsbichler, T., Woltran, S., & Baumann, R. (2017). A General Notion of Equivalence for Abstract Argumentation. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, Non-EU. https://doi.org/10.24963/ijcai.2017/111 / Project: GRAPPA
2016
- On rejected arguments and implicit conflicts: The hidden power of argumentation semantics / Baumann, R., Dvořák, W., Linsbichler, T., Spanring, C., Strass, H., & Woltran, S. (2016). On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artificial Intelligence, 241, 244–284. https://doi.org/10.1016/j.artint.2016.09.004
2012
- Augmenting Tractable Fragments of Abstract Argumentation / Dvořák, W., Ordyniak, S., & Szeider, S. (2012). Augmenting Tractable Fragments of Abstract Argumentation. Artificial Intelligence, 186, 157–173. https://doi.org/10.1016/j.artint.2012.03.002 / Projects: Argu, Complex Reason
- Towards fixed-parameter tractable algorithms for abstract argumentation / Dvořák, W., Pichler, R., & Woltran, S. (2012). Towards fixed-parameter tractable algorithms for abstract argumentation. Artificial Intelligence, 186, 1–37. https://doi.org/10.1016/j.artint.2012.03.005 / Projects: Argu, SODI, TTPC
- CEGARTIX: A SAT-Based Argumentation System / Dvorak, W., Järvisalo, M., Wallner, J. P., & Woltran, S. (2012). CEGARTIX: A SAT-Based Argumentation System. Theory and Application of Satisfiability Testing -- SAT, Guangzhou, Non-EU. http://hdl.handle.net/20.500.12708/85369
- dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool / Charwat, G., & Dvorak, W. (2012). dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. In B. Verheij, S. Szeider, & S. Woltran (Eds.), Proceedings of Computational Models of Argument - Proceedings of COMMA 2012 (pp. 507–508). Frontiers in Artificial Intelligence and Applications / IOS Press. http://hdl.handle.net/20.500.12708/54497 / Project: Argu
- Comparing the Expressiveness of Argumentation Semantics / Dvorak, W., & Spanring, C. (2012). Comparing the Expressiveness of Argumentation Semantics. In B. Verheij, S. Szeider, & S. Woltran (Eds.), Proceedings of Computational Models of Argument - Proceedings of COMMA 2012 (pp. 261–272). Frontiers in Artificial Intelligence and Applications / IOS Press. http://hdl.handle.net/20.500.12708/54496 / Project: Argu
- Abstract Argumentation via Monadic Second Order Logic / Dvořák, W., Szeider, S., & Woltran, S. (2012). Abstract Argumentation via Monadic Second Order Logic. In E. Hüllermeier, S. Link, T. Fober, & B. Seeger (Eds.), Lecture Notes in Computer Science (pp. 85–98). Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-642-33362-0_7 / Projects: Argu, Complex Reason
- Computational Aspects of cf2 and stage2 Argumentation Semantics. / Dvorak, W., & Gaggl, S. (2012). Computational Aspects of cf2 and stage2 Argumentation Semantics. In B. Verheij, S. Szeider, & S. Woltran (Eds.), Proceedings of Fourth International Conference on Computational Models of Argument (pp. 273–284). “Frontiers in Artificial Intelligence and Applications” series/IOS Press. http://hdl.handle.net/20.500.12708/54177
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. / Dvorak, W., & Gaggl, S. (2012). Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. In R. Rosati & S. Woltran (Eds.), Proceedings of 14#^{th} International Workshop on Non-Monotonic Reasoning (p. 9). http://hdl.handle.net/20.500.12708/54176 / Project: Argu
- Complexity-Sensitive Decision Procedures for Abstract Argumentation / Dvorak, W., Järvisalo, M., Wallner, J. P., & Woltran, S. (2012). Complexity-Sensitive Decision Procedures for Abstract Argumentation. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. of Principles of Knowledge Representation and Reasoning (pp. 54–64). AAAI Press. http://hdl.handle.net/20.500.12708/54155 / Project: Argu
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. / Dvorak, W., & Gaggl, S. (2012). Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. (DBAI-TR-2012-78). http://hdl.handle.net/20.500.12708/37418 / Project: Argu
- Abstract Argumentation via Monadic Second Order Logic. / Dvorak, W., Szeider, S., & Woltran, S. (2012). Abstract Argumentation via Monadic Second Order Logic. (DBAI-TR-2012-79). http://hdl.handle.net/20.500.12708/37417 / Projects: Argu, Complex Reason
- Parameterized Splitting: A Simple Modification-Based Approach / Baumann, R., Brewka, G., Dvorak, W., & Woltran, S. (2012). Parameterized Splitting: A Simple Modification-Based Approach. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Lecture Notes in Computer Science. Springer LNCS. https://doi.org/10.1007/978-3-642-30743-0 / Project: Argu
2011
- On the Intertranslatability of Argumentation Semantics / Dvořák, W., & Woltran, S. (2011). On the Intertranslatability of Argumentation Semantics. Journal of Artificial Intelligence Research, 41, 445–475. https://doi.org/10.1613/jair.3318 / Project: Argu
- On the Intertranslatability of Argumentation Semantics / Dvorak, W. (2011). On the Intertranslatability of Argumentation Semantics. LAF (London Argumentation Forum), London, Großbritannien, EU. http://hdl.handle.net/20.500.12708/85163 / Project: Argu
- A Dynamic Programming Reasoner for Abstract Argumentation. / Dvorak, W., Morak, M., Nopp, C., & Woltran, S. (2011). A Dynamic Programming Reasoner for Abstract Argumentation. In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) (p. 5). http://hdl.handle.net/20.500.12708/53730 / Project: Argu
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. / Dvorak, W., Gaggl, S., Wallner, J. P., & Woltran, S. (2011). Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) (p. 14). http://hdl.handle.net/20.500.12708/53720 / Project: Argu
- On the Complexity of Computing the Justification Status of an Argument / Dvorak, W. (2011). On the Complexity of Computing the Justification Status of an Argument. In S. Modgil, N. Oren, & F. Toni (Eds.), Proceedings of the 1#^{st} international Workshop on the Theory and Applications of Formal Argumentation (p. 15). http://ijcai-11.iiia.csic.es/files/proceedings/W25-%20TAFA-post-proceedings.pdf. http://hdl.handle.net/20.500.12708/53699 / Project: Argu
- Parametric Properties of Ideal Semantics / Dvorak, W., Dunne, P. E., & Woltran, S. (2011). Parametric Properties of Ideal Semantics. In T. Walsh (Ed.), Proceedings of the 22#^{nd} Int. Joint Conference on Artificial Intelligence (p. 6). AAAI Press. http://hdl.handle.net/20.500.12708/53671 / Projects: Argu, TTPC
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems / Dvorak, W., Gaggl, S., Wallner, J. P., & Woltran, S. (2011). Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems (DBAI-TR-2011-70). http://hdl.handle.net/20.500.12708/36951 / Project: Argu
- Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation / Dvorak, W., Pichler, R., & Woltran, S. (2011). Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation (DBAI-TR-2011-74). http://hdl.handle.net/20.500.12708/37126 / Projects: Argu, TTPC
2010
- Complexity of semi-stable and stage semantics in argumentation frameworks / Dvořák, W., & Woltran, S. (2010). Complexity of semi-stable and stage semantics in argumentation frameworks. Information Processing Letters, 110(11), 425–430. https://doi.org/10.1016/j.ipl.2010.04.005 / Project: Argu
- Reasoning in Argumentation Frameworks of Bounded Clique-Width / Dvorak, W., Szeider, S., & Woltran, S. (2010). Reasoning in Argumentation Frameworks of Bounded Clique-Width. In P. Baroni, F. Cerutti, M. Giacomin, & G. R. Simari (Eds.), Proceedings of COMMA 2010 (pp. 219–230). IOS Press. http://hdl.handle.net/20.500.12708/53323 / Projects: Argu, Complex Reason
- Towards Fixed-Parameter Tractable Algorithms for Argumentation / Dvorak, W., Pichler, R., & Woltran, S. (2010). Towards Fixed-Parameter Tractable Algorithms for Argumentation. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Proc. of KR 2010 (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/53170 / Projects: Argu, TTPC
- On the Intertranslatability of Argumentation Semantics / Dvorak, W., & Woltran, S. (2010). On the Intertranslatability of Argumentation Semantics. In Proceedings of the Conference on Thirty Years of Nonmonotonic Reasoning (p. 15). http://hdl.handle.net/20.500.12708/53356 / Project: Argu
2009
- Argumentation with Bounded Tree-Width / Dvorak, W. (2009). Argumentation with Bounded Tree-Width. Advanced Course in Artificial Intelligence ’09, Belfast, GB, EU. http://hdl.handle.net/20.500.12708/84891 / Project: Argu
- Alternation as a programming paradigm / Dvořák, W., Gottlob, G., Pichler, R., & Woltran, S. (2009). Alternation as a programming paradigm. In A. Porto & F. J. Lopez-Fraguas (Eds.), Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP ’09. ACM Press. https://doi.org/10.1145/1599410.1599419 / Project: TTPC
- Technical Note: Complexity of Stage Semantics in Argumentation Frameworks / Dvorak, W., & Woltran, S. (2009). Technical Note: Complexity of Stage Semantics in Argumentation Frameworks (DBAI-TR-2009-66). http://hdl.handle.net/20.500.12708/35719 / Project: Argu
- Alternation as a Programming Paradigm / Dvorak, W., Gottlob, G., Pichler, R., & Woltran, S. (2009). Alternation as a Programming Paradigm (DBAI-TR-2009-64). http://hdl.handle.net/20.500.12708/35631
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Towards parallel algorithms for abstract dialectical frameworks / Hofer, M. (2022). Towards parallel algorithms for abstract dialectical frameworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.90783
- Graph-classes of argumentation frameworks with collective attacks : properties and complexity results / König, M. (2020). Graph-classes of argumentation frameworks with collective attacks : properties and complexity results [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77665