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, and non-monotonic reasoning.

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

  1. Treewidth for Argumentation Frameworks with Collective Attacks
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: COMMA 2022
    To appear.
  2. Just a Matter of Perspective -- Intertranslating Expressive Argumentation Formalisms
    Matthias König, Anna Rapberger, Markus Ulbricht
    In: COMMA 2022
    To appear. [PREPRINT]
  3. Rediscovering Argumentation Principles Utilizing Collective Attacks
    Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
    In: Principles of Knowledge Representation and Reasoning: Proceedings of the 19th International Conference, KR 2022.
    To appear. [PREPRINT]
  4. Tractable Abstract Argumentation via Backdoor-Treewidth
    Wolfgang Dvořák, Markus Hecher, Matthias König, Andre Schidler, Stefan Szeider, Stefan Woltran
    In: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, 36(5), pp. 5608-5615
    [LINK] [BIBTEX]
  5. On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: Principles of Knowledge Representation and Reasoning: Proceedings of the 18th International Conference, KR 2021, Hanoi, November 3-12, 2021, pp. 671-675.
    [LINK] [BIBTEX] [TALK]
  6. Graph-Classes of Argumentation Frameworks with Collective Attacks
    Wolfgang Dvořák, Matthias König, Stefan Woltran
    In: Faber, W., Friedrich, G., Gebser, M., Morak, M. (eds.), Proceedings of the 17th European Conference on Logics in Artificial Intelligence JELIA 2021, Klagenfurt, Austria, May 17-20 2021, Lecture Notes in Computer Science pp. 3-17. Springer International Publishing (2021)
    [LINK] [PREPRINT] [BIBTEX]

Workshop Papers

  1. ASPARTIX-V - A Solver for Argumentation Tasks Using ASP
    Wolfgang Dvořák, Matthias König, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
    In: ASPOCP 2021: Workshop on Answer Set Programming and Other Computing Paradigms 2021, co-located with ICLP 2021
    [LINK] [TALK]
  2. A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks
    Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
    In: NMR 2021: 19th International Workshop on Non-Monotonic Reasoning
    [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]

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