Matthias König
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
-
Attack semantics and collective attacks revisited
Martin Caminada,
Matthias König,
Anna Rapberger
Markus Ulbricht
In: Argument & Computation. Pre-press
[LINK]
[BIBTEX]
-
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
-
Weak Admissibility for ABA via Abstract Set Attacks
Lydia Blümel,
Matthias König,
Markus Ulbricht
To appear in: Proceedings of KR 2024
-
Connecting Abstract Argumentation and Boolean Networks
Yannis Dimopoulos,
Wolfgang Dvořák,
Matthias König
In: Proceedings of COMMA 2024, pp. 85-96.
[LINK][BIBTEX]
-
Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes
Giovanni Buraglio,
Wolfgang Dvořák,
Matthias König,
Markus Ulbricht
In: Proceedings of IJCAI 2024, pp. 3281-3288.
[LINK][BIBTEX]
-
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]
-
From Qualitative Choice Logic to Abstract Argumentation
Michael Bernreiter,
Matthias König
In: Proceedings of KR 2023, pp. 737-741.
[LINK][BIBTEX]
-
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]
-
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][BIBTEX][PREPRINT]
-
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]
-
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]
-
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]
-
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]
[BIBTEX]
[PREPRINT]
Workshop Papers
-
Splitting Argumentation Frameworks with Collective Attacks
Giovanni Buraglio,
Wolfgang Dvořák,
Matthias König,
Stefan Woltran
In: Proceedings of SAFA 2024, pp. 41-55.
[LINK]
[BIBTEX]
[PREPRINT]
-
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]
-
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]
-
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]
-
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
-
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.