Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Matthias König

Tools: Drucken



Matthias König

Matthias König

TISS:Matthias König
Room:HA0320
Phone:
Fax:+43/1/58801/18493
Email:

I am a PhD student under the supervision of Wolfgang Dvořák and Stefan Woltran, currently working on the "REVEAL"-project ("Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI") and the "HYPAR"-project ("Hybrid Parameterized Problem Solving in Practice").
I am particularly interested in argumentation, computational complexity, structure in AI problems, explanations, and non-monotonic reasoning in general.

Teaching

185.291 VU Formal Methods in Computer Science

Publications

Please also refer to my profiles on dblp.org, Google Scholar, Semantic Scholar, and orcid.org for more information.

Journal Papers

  1. Attack semantics and collective attacks revisited
    Martin Caminada, Matthias König, Anna Rapberger Markus Ulbricht
    In: Argument & Computation. Pre-press
    [LINK] [BIBTEX]
  2. Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks
    Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
    In: J. Artif. Intell. Res. 79, 2024, pp. 69-136.
    [LINK] [BIBTEX]

Conference Papers

  1. Redefining ABA+ Semantics via Abstract Set-to-Set Attacks
    Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
    In: Proceedings of AAAI 2024, pp. 10493-10500.
    [LINK][BIBTEX]
  2. From Qualitative Choice Logic to Abstract Argumentation
    Michael Bernreiter, Matthias König
    In: Proceedings of KR 2023, pp. 737-741.
    [LINK][BIBTEX]
  3. Treewidth for Argumentation Frameworks with Collective Attacks
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: Proceedings of COMMA 2022, pp. 140-151.
    [LINK][BIBTEX]
  4. Just a Matter of Perspective -- Intertranslating Expressive Argumentation Formalisms
    Matthias König, Anna Rapberger, Markus Ulbricht
    In: Proceedings of COMMA 2022, pp. 212-223.
    [LINK][PREPRINT][BIBTEX]
  5. Rediscovering Argumentation Principles Utilizing Collective Attacks
    Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
    In: Proceedings of KR 2022, pp. 122-131.
    [LINK] [BIBTEX] [PREPRINT]
  6. Tractable Abstract Argumentation via Backdoor-Treewidth
    Wolfgang Dvořák, Markus Hecher, Matthias König, Andre Schidler, Stefan Szeider, Stefan Woltran
    In: Proceedings AAAI 2022, 36(5), pp. 5608-5615
    [LINK] [BIBTEX]
  7. On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: Proceedings of KR 2021, pp. 671-675.
    [LINK] [BIBTEX] [TALK]
  8. Graph-Classes of Argumentation Frameworks with Collective Attacks
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: Proceedings of JELIA 2021, pp. 3-17.
    [LINK] [PREPRINT] [BIBTEX]

Workshop Papers

  1. Sets Attacking Sets in Abstract Argumentation
    Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
    In: Proceedings of NMR 2023, pp. 22-31.
    [LINK] [BIBTEX]
  2. Deletion-Backdoors for Argumentation Frameworks with Collective Attacks
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: Proceedings of SAFA 2022, pp. 98-110.
    [LINK] [BIBTEX]
  3. ASPARTIX-V - A Solver for Argumentation Tasks Using ASP
    Wolfgang Dvořák, Matthias König, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
    In: Proceedings of ASPOCP 2021
    [LINK] [TALK]
  4. A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks
    Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
    In: Proceedings of NMR 2021
    [LINK] [BIBTEX] [TALK]

Other Publications

  1. Aspartix-V21
    Wolfgang Dvořák, Matthias König, Johannes P. Wallner, Stefan Woltran
    CoRR, abs/2109.03166, ICCMA'21, 2021.
    [LINK] [BIBTEX]

Community Activity

I was a program committee member at AAAI 2023 and AAAI 2024 and sub-reviewer for several conferences and workshops, e.g., CLAR, COMMA, SAFA, ...
Moreover, I review for Argument & Computation.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung