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.
Conference Papers
-
From Qualitative Choice Logic to Abstract Argumentation
Michael Bernreiter, Matthias König
To appear in: Proceedings of KR 2023
[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][PREPRINT][BIBTEX]
-
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] [PREPRINT] [BIBTEX]
Workshop Papers
-
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]