IST/Research

Knowledge Representation & Reasoning

Our research focuses on understanding and solving challenging reasoning tasks for promising approaches to knowledge representation. 

Research projects:

  • FWF project "A Novel Computational Workflow for Argumentation in AI" (planned start 2022).
  • FWF project "Extending Belief Change to Advance Dynamics in Argumentation" (2017-2021, link).

This site is under construction.

Below you find several research directions of the group.


Computational Argumentation

Sample publications

  • Abstract Dialectical Frameworks. An Overview. Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 5, pages 237-285. 2018. Link
  • Enforcement in Formal Argumentation. Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, and Johannes P. Wallner. In Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari, and Matthias Thimm, editors, Handbook of Formal Argumentation, volume 2, chapter 8. 2021.

Analysis of Computational Complexity

Sample publications

  • Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo. Journal of Artificial Intelligence Research, Vol. 60, pp. 1-40. 2017. Link
  • On the complexity of inconsistency measurement. Matthias Thimm and Johannes P. Wallner. Artificial Intelligence, Vol. 275, pp. 411-456. 2019. Link

Declarative Algorithms

Sample publications

  • Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. Journal of Artificial Intelligence Research, Vol. 71, pp. 265-318. 2021. Link
  • Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks. Wolfgang Dvořák, Sarah A. Gaggl, Thomas Linsbichler, and Johannes P. Wallner. In Thomas Eiter, Hannes Strass, Mirosław Truszczyński and Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 249-264. 2015. Link

Supporting Explanations

Sample publications

  • Existential Abstraction on Argumentation Frameworks via Clustering. Zeynep G. Saribatur and Johannes P. Wallner. In Meghyn Bienvenu, Gerhard Lakemeyer, and Esra Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, pages 549-559, 2021. Link
  • Strong Explanations in Abstract Argumentation. Markus Ulbricht and Johannes P. Wallner. In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6496-6504, February 2021. Link

Preferential Reasoning

Sample publications

  • Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations. Jan Maly and Johannes P. Wallner. In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6435-6443, February 2021. Link
  • Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. Journal of Artificial Intelligence Research, Vol. 71, pp. 265-318. 2021. Link
Contact
image/svg+xml