The project will establish the scientific foundations leading to a required shift of research directions in computational argumentation in AI. Preliminary research revealed that the currently prevalent approach to computation in argumentation faces serious computational issues and acts as a barrier to reaching maturity in the field. The current conceptual workflow in argumentation establishes how to argue rationally given certain knowledge and assumptions. However, when applied to computation---the vast majority of research on computational argumentation follows the conceptual workflow---both theoretical and empirical results show that an integral component of the conceptual workflow, that of explication of arguments, sets up a significant barrier in terms of redundancy, scalability, and complexity of argumentative explanations. Plans are made to study and develope a computational workflow, which draws its strengths from the conceptual workflow---in order to reason rationally---but avoids computational pitfalls regarding scalability and efficiency.
Mitarbeiter
Konsortialführer/in bzw. Koordinator/in bei Kooperationen mit externen Organisationen
Johannes Peter Wallner
Ass.Prof. Priv.-Doz. Dipl.-Ing. Dr.techn. BSc.
Fördergeber
  • Österreichischer Wissenschaftsfonds FWF, FWF
Externe Partner
  • Universität Leipzig
  • Technische Universität Wien, TU Wien
  • Helsingin yliopisto
Beginn: 31.08.2022
Ende: 30.08.2025
2022
Proceedings
Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm and Johannes Peter Wallner Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation Publikation in PURE anzeigen
Tagungsbeitrag
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac and Johannes Peter Wallner ADF-BDD: An ADF Solver Based on Binary Decision DiagramsComputational Models of Argument - Proceedings of COMMA 2022355-356 , Link Publikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ FrameworkProceedings KR215-225 Publikation in PURE anzeigen
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac and Johannes Peter Wallner Representing Abstract Dialectical Frameworks with Binary Decision DiagramsLogic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings177-189 , Link Publikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Algorithms for reasoning in a default logic instantiation of assumption-based argumentationComputational Models of Argument - Proceedings of COMMA 2022236-247 , Link Publikation in PURE anzeigen
Markus Ulbricht and Johannes Peter Wallner Strongly Accepting Subframeworks: Connecting Abstract and Structured ArgumentationComputational Models of Argument - Proceedings of COMMA 2022320-331 , Link Publikation in PURE anzeigen
2023
Tagungsbeitrag
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter Wallner Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and ComplexityProceedings KR440-450 Publikation in PURE anzeigen
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner and Matti Järvisalo Argumentative Reasoning in ASPIC+ under Incomplete InformationProceedings KR531-541 Publikation in PURE anzeigen
Andrei Popescu and Johannes Peter Wallner Reasoning in Assumption-based Argumentation using Tree-decompositionsLogics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings192-208 , Link Publikation in PURE anzeigen
Sonstiger Beitrag
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo ASPforABA - ASP-based Algorithms for Reasoning in ABA , Link Publikation in PURE anzeigen
Christian Pasero and Johannes Peter Wallner k-Solutions: A Solver for the Dynamic Track of ICCMA 2023 , Link Publikation in PURE anzeigen
Andrei Popescu and Johannes Peter Wallner A Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions , Link Publikation in PURE anzeigen
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter Wallner AcbAr - Atomic-based Argumentation Solver , Link Publikation in PURE anzeigen
2024
Sonstiger Beitrag
Iosif Apostolakis, Zeynep Saribatur and Johannes Peter Wallner Abstracting Assumptions in Structured Argumentation Publikation in PURE anzeigen