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
2024W
- Abstract Argumentation / 184.682 / VU
- Bachelor Thesis / 184.691 / PR
- Fundamentals of Data Analysis and Visualization / 192.103 / VU
- Fundamentals of Digital Systems / 192.134 / VU
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
2025S
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
Projects
-
New Methods for Analyzing, Comparing, and Solving Argumentation Problems
2009 – 2012 / Vienna Science and Technology Fund (WWTF)
Publications: 162196 / 163666 / 163741 / 165822 / 166931 / 167366 / 27624 / 35719 / 36951 / 36952 / 37126 / 37417 / 37418 / 37419 / 52760 / 52762 / 52763 / 53133 / 53134 / 53169 / 53170 / 53171 / 53323 / 53354 / 53355 / 53356 / 53671 / 53672 / 53673 / 53699 / 53720 / 53730 / 54155 / 54176 / 54313 / 54496 / 54497 / 84885 / 84891 / 85163 / 85164 / 85370
Publications
2023
-
Constrained Derivation in Assumption-Based Argumentation
/
Buraglio, G., Dvořák, W., Rapberger, A., & Woltran, S. (2023). Constrained Derivation in Assumption-Based Argumentation. In G. Alfano & S. Ferilli (Eds.), Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023). CEUR-WS.org. https://doi.org/10.34726/5385
Download: PDF (1.16 MB)
Project: REVEAL-AI (2020–2024) -
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness
/
Dvořák, W., Rapberger, A., & Woltran, S. (2023). A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. Artificial Intelligence, 324, Article 104011. https://doi.org/10.1016/j.artint.2023.104011
Download: PDF (1.17 MB)
Project: REVEAL-AI (2020–2024) -
Sets Attacking Sets in Abstract Argumentation
/
Dimopoulos, Y., Dvořák, W., König, M., Rapberger, A., Ulbricht, M., & Woltran, S. (2023). Sets Attacking Sets in Abstract Argumentation. In K. Sauterwald & M. Thimm (Eds.), Proceedings of the 21st International Workshop on Non-Monotonic Reasoning, co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023) (pp. 22–31). CEUR-WS.org. https://doi.org/10.34726/5386
Download: PDF (1.39 MB)
Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024) -
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View
/
Bernreiter, M., Dvořák, W., Rapberger, A., & Woltran, S. (2023). The Effect of Preferences in Abstract Argumentation under a Claim-Centric View. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23) (pp. 6253–6261). AAAI Press. https://doi.org/10.1609/AAAI.V37I5.25770
Download: All rights reserved (141 KB)
Projects: DK - Logic (2014–2023) / REVEAL-AI (2020–2024) / START (2014–2022) -
The complexity landscape of claim-augmented argumentation frameworks
/
Dvořák, W., Greßler, A., Rapberger, A., & Woltran, S. (2023). The complexity landscape of claim-augmented argumentation frameworks. Artificial Intelligence, 317, Article 103873. https://doi.org/10.1016/j.artint.2023.103873
Download: Paper (1.12 MB)
Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024) - Expressiveness of SETAFs and support-free ADFs under 3-valued semantics / Dvořák, W., Keshavarzi Zafarghandi, A., & Woltran, S. (2023). Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. Journal of Applied Non-Classical Logics, 33(3–4), 298–327. https://doi.org/10.1080/11663081.2023.2244361
-
Abstract argumentation with conditional preferences
/
Bernreiter, M., Dvořák, W., & Woltran, S. (2023). Abstract argumentation with conditional preferences. Argument & Computation, 1–29. https://doi.org/10.34726/5479
Download: PDF (633 KB)
Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024)
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
Download: PDF (254 KB)
Project: REVEAL-AI (2020–2024) -
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks
/
Dvořák, 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
Download: PDF (919 KB)
Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024) - 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 (2019–2024) / REVEAL-AI (2020–2024) -
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
Download: PDF (540 KB)
Project: REVEAL-AI (2020–2024) -
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
Download: PDF (1.52 MB)
Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024) / SLIM (2019–2024) -
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
Download: PDF (277 KB)
Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024) - 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
- 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, Italy. https://doi.org/10.1109/lics52264.2021.9470739
- 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, Portugal. 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, Viet Nam. http://hdl.handle.net/20.500.12708/87226
- 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
-
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, Unknown. https://doi.org/10.24963/kr.2021/67
Projects: HYPAR (2019–2024) / START (2014–2022) - 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
-
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 35th AAAI Conference on Artificial Intelligence (pp. 6288–6295). http://hdl.handle.net/20.500.12708/58530
Project: START (2014–2022) -
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, Viet Nam. http://hdl.handle.net/20.500.12708/87225
Projects: HYPAR (2019–2024) / START (2014–2022) - 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, 8(6), 1437–1502. http://hdl.handle.net/20.500.12708/138043
-
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 (2019–2024) / START (2014–2022)
2020
-
ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
/
Dvořák, 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
Download: PDF (297 KB)
Project: GRAPPA (2016–2019) - 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, Greece. https://doi.org/10.24963/kr.2020/35
Project: DK - Logic (2014–2023) - 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 (2016–2019) -
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
Project: DK - Logic (2014–2023) - 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 ECAI 2020 - 24th European Conference on Artificial Intelligence (pp. 721–728). IOS Press. https://doi.org/10.3233/FAIA200159
- 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 (2016–2019) / START (2014–2022)
2019
-
Strong Equivalence for Argumentation Frameworks with Collective Attacks
/
Dvorak, W., Rapberger, A., & Woltran, S. (2019). Strong Equivalence for Argumentation Frameworks with Collective Attacks. In KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings. KI 2019 - 42nd German Conference on AI, Kassel, Germany. https://doi.org/10.1007/978-3-030-30179-8_11
Project: GRAPPA (2016–2019) -
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 (2016–2019) / START (2014–2022) -
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 (2016–2019) - 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 W. Fokkink & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, {CONCUR} 2019 (pp. 7:1-7:16). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2019.7
-
A general notion of equivalence for abstract argumentation
/
Baumann, R., Dvorak, W., 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 (2016–2019) / START (2014–2022) -
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 (2016–2019)
2018
- 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
- 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
- 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
- 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
-
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 (2016–2019) -
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 (2016–2019) / START (2014–2022) - 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
-
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 (2016–2019) / START (2014–2022)
2017
- Improved Set-based Symbolic Algorithms for Parity Games / Chatterjee, K., Dvorak, W., Henzinger, M., & Loitzenbauer, V. (2017). Improved Set-based Symbolic Algorithms for Parity Games. In V. Goranko & M. Dam (Eds.), Computer Science Logic - CSL 2017 (pp. 1–21). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2017.18
-
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 (2016–2019) - 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
-
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–2019)
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
2015
- Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) / Dvorak, W., Järvisalo, M., Wallner, J. P., & Woltran, S. (2015). Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015 (pp. 4173–4177). http://hdl.handle.net/20.500.12708/56291
- Comparing the expressiveness of argumentation semantics / Dvorak, W., & Spanring, C. (2015). Comparing the expressiveness of argumentation semantics (DBAI-TR-2014-90). http://hdl.handle.net/20.500.12708/38661
- Characteristics of Multiple Viewpoints in Abstract Argumentation / Dunne, P. E., Dvorak, W., Linsbichler, T., & Woltran, S. (2015). Characteristics of Multiple Viewpoints in Abstract Argumentation (DBAI-TR-2015-89). http://hdl.handle.net/20.500.12708/38660
2014
- Characteristics of Multiple Viewpoints in Abstract Argumentation / Dunne, P. E., Dvorak, W., Linsbichler, T., & Woltran, S. (2014). Characteristics of Multiple Viewpoints in Abstract Argumentation. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (pp. 72–81). AAAI Press. http://hdl.handle.net/20.500.12708/55234
- Resolution-Based Grounded Semantics Revisited / Dvorak, W., Linsbichler, T., Oikarinen, E., & Woltran, S. (2014). Resolution-Based Grounded Semantics Revisited. In S. Parsons, N. Oren, C. Reed, & F. Cerutti (Eds.), Computational Models of Argument (pp. 269–280). IOS Press. http://hdl.handle.net/20.500.12708/55238
- Compact Argumentation Frameworks / Baumann, R., Dvorak, W., Linsbichler, T., Strass, H., & Woltran, S. (2014). Compact Argumentation Frameworks. In S. Konieczny & H. Tompits (Eds.), 15th International Workshop on Non-monotonic Reasoning (NMR 2014) (p. 10). http://hdl.handle.net/20.500.12708/55236
- Compact Argumentation Frameworks / Baumann, R., Dvorak, W., Linsbichler, T., Strass, H., & Woltran, S. (2014). Compact Argumentation Frameworks. In Proceedings of the 21st European Conference on Artificial Intelligence (pp. 69–74). http://hdl.handle.net/20.500.12708/55733
2013
- Characteristics of Multiple Viewpoints in Abstract Argumentation / Dunne, P. E., Dvorak, W., Linsbichler, T., & Woltran, S. (2013). Characteristics of Multiple Viewpoints in Abstract Argumentation. 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013), Koblenz, Germany, EU. http://hdl.handle.net/20.500.12708/85646
2012
-
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 (2009–2012) -
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.), Correct Reasoning. Springer LNCS. http://hdl.handle.net/20.500.12708/27624
Project: Argu (2009–2012) -
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.), Scalable Uncertainty Management 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012, Proceedings (pp. 85–98). Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-642-33362-0_7
Projects: Argu (2009–2012) / Complex Reason (2010–2014) -
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 (2009–2012) / SODI (2009–2013) / TTPC (2008–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 (2009–2012) / Complex Reason (2010–2014) - 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 (2009–2012) - 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 (2009–2012) -
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 (2009–2012) -
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 (2009–2012) -
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 (2009–2012) / Complex Reason (2010–2014)
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 (2009–2012) -
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 (pp. 32–49). http://ijcai-11.iiia.csic.es/files/proceedings/W25-%20TAFA-post-proceedings.pdf. http://hdl.handle.net/20.500.12708/53699
Project: Argu (2009–2012) -
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 (2009–2012) -
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 (2009–2012) -
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 (2009–2012) -
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 (2009–2012) / TTPC (2008–2012) -
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 (2009–2012) -
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 (2009–2012) / TTPC (2008–2012)
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 (2009–2012) -
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 (2009–2012) / Complex Reason (2010–2014) -
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 (2009–2012) / TTPC (2008–2012) -
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–2012)
2009
-
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 (2008–2012) -
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 (2009–2012) -
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 (2009–2012) - 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
-
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
Download: PDF (608 KB) -
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
Download: PDF (986 KB)