2024W

• Formal Methods in Computer Science / 185.291 / VU

• From Qualitative Choice Logic to Abstract Argumentation / Bernreiter, M., & König, M. (2023). From Qualitative Choice Logic to Abstract Argumentation. In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (pp. 737–741). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/kr.2023/73
  Project: HYPAR (2019–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)
• 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)
• 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)
• 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)
• Just a Matter of Perspective / König, M., Rapberger, A., & Ulbricht, M. (2022). Just a Matter of Perspective. In Computational Models of Argument (pp. 212–223). IOS Press. https://doi.org/10.3233/FAIA220154
  Download: PDF (267 KB)
  Projects: HYPAR (2019–2024) / REVEAL-AI (2020–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)
• 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
• 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)
• 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)
• 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)
• 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)