For links to the papers, please visit the corresponding pure webpage.
2025
Tagungsbeitrag
Andrei Popescu and Johannes Peter WallnerDynamic Programming Algorithms for Probabilistic Bipolar Argumentation FrameworksProceedings SACPublikation in PURE anzeigen
2024
Tagungsbeitrag
Kenneth Skiba, Matthias Thimm and Johannes Peter WallnerRanking Transition-based Medical Recommendations using Assumption-based ArgumentationRobust Argumentation Machines - First International Conference, RATIO 2024, Proceedings202-220 Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht and Johannes Peter WallnerInstantiations and Computational Aspects of Non-Flat Assumption-based ArgumentationProceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 20243457-3465 Alternativer Link: LinkPublikation in PURE anzeigen
Johannes Peter WallnerComputational Argumentation: Reasoning, Dynamics, and Supporting ExplainabilityProceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 20248583-8588 Alternativer Link: LinkPublikation in PURE anzeigen
Johannes Peter Wallner, Adam Wyner and Tomasz ZurekValue-based Reasoning in ASPIC+Proceedings COMMA325-336Publikation in PURE anzeigen
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht and Johannes Peter WallnerOn Computing Admissibility in ABAProceedings COMMA121-132Publikation in PURE anzeigen
Atefeh Keshavarzi Zafarghandi and Johannes Peter WallnerComplexity of Semi-Stable Semantics in Abstract Dialectical FrameworksProceedings COMMA109-120Publikation in PURE anzeigen
Iosif Apostolakis, Zeynep G. Saribatur and Johannes Peter WallnerA Semantical Approach to Abstraction in Answer Set Programming and Assumption-based ArgumentationLogic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings228-234 Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Daphne Odekerken, Johannes Peter Wallner and Matti JärvisaloComplexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+Proceedings KR520-530Publikation in PURE anzeigen
Iosif Apostolakis, Zeynep G. Saribatur and Johannes Peter WallnerAbstraction in Assumption-based ArgumentationProceedings KR49-59Publikation in PURE anzeigen
Andrei Popescu and Johannes Peter WallnerAdvancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation ApproachProceedings KR585-596Publikation in PURE anzeigen
Iosif Apostolakis, Zeynep G. Saribatur and Johannes Peter WallnerAbstracting Assumptions in Structured ArgumentationProceedings AAMAS2132Publikation in PURE anzeigen
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner and Matti JärvisaloArgumentative Reasoning in ASPIC+ under Incomplete InformationProceedings KR531-541Publikation in PURE anzeigen
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter WallnerArgumentation Frameworks induced by Assumption-based Argumentation: Relating Size and ComplexityProceedings KR440-450Publikation in PURE anzeigen
Andrei Popescu and Johannes Peter WallnerReasoning in Assumption-based Argumentation using Tree-decompositionsLogics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings192-208 Alternativer Link: LinkPublikation in PURE anzeigen
Sonstiger Beitrag
Andrei Popescu and Johannes Peter WallnerA Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions Alternativer Link: LinkPublikation in PURE anzeigen
Christian Pasero and Johannes Peter Wallnerk-Solutions: A Solver for the Dynamic Track of ICCMA 2023 Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter WallnerAcbAr - Atomic-based Argumentation Solver Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloASPforABA - ASP-based Algorithms for Reasoning in ABA Alternativer Link: LinkPublikation in PURE anzeigen
2022
Proceedings
Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm and Johannes Peter WallnerProceedings of the Fourth International Workshop on Systems and Algorithms for Formal ArgumentationPublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner and Stefan WoltranAdvanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT SolvingArtificial Intelligence307,
2022 DOI: https://doi.org/10.1016/j.artint.2022.103697 Alternativer Link: LinkPublikation in PURE anzeigen
Tagungsbeitrag
Adrian Haret and Johannes Peter WallnerAn Axiomatic Approach to Revising PreferencesProceedings AAAI 20225676-5683Publikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloComputing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ FrameworkProceedings KR215-225Publikation in PURE anzeigen
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac and Johannes Peter WallnerRepresenting Abstract Dialectical Frameworks with Binary Decision DiagramsLogic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings177-189 Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloAlgorithms for reasoning in a default logic instantiation of assumption-based argumentationComputational Models of Argument - Proceedings of COMMA 2022236-247 Alternativer Link: LinkPublikation in PURE anzeigen
Markus Ulbricht and Johannes Peter WallnerStrongly Accepting Subframeworks: Connecting Abstract and Structured ArgumentationComputational Models of Argument - Proceedings of COMMA 2022320-331 Alternativer Link: LinkPublikation in PURE anzeigen
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac and Johannes Peter WallnerADF-BDD: An ADF Solver Based on Binary Decision DiagramsComputational Models of Argument - Proceedings of COMMA 2022355-356 Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Johannes P. Wallner and Matti JärvisaloComputing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022215-225 Alternativer Link: LinkPublikation in PURE anzeigen
2021
Buchkapitel
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly and Johannes Peter WallnerEnforcement in Formal ArgumentationHandbook of Formal Argumentation445-510Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloDeclarative Algorithms and Complexity Results for Assumption-Based ArgumentationJournal of Artificial Intelligence Research71,
265-318,
2021 DOI: https://doi.org/10.1613/jair.1.12479 Alternativer Link: LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloHarnessing incremental answer set solving for reasoning in assumption-based argumentationTheory and Practice of Logic Programming21,
717 - 734,
2021 DOI: https://doi.org/10.1017/S1471068421000296 Alternativer Link: LinkPublikation in PURE anzeigen
Tagungsbeitrag
Jan Maly and Johannes Peter WallnerRanking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and CharacterizationsProceedings AAAI6435-6443Publikation in PURE anzeigen
Markus Ulbricht and Johannes Peter WallnerStrong Explanations in Abstract ArgumentationProceedings AAAI6496-6504Publikation in PURE anzeigen
Zeynep G. Saribatur and Johannes Peter WallnerExistential Abstraction on Argumentation Frameworks via ClusteringProceedings KR 2021549-559Publikation in PURE anzeigen
We use cookies in order to be able to provide you with the best possible service in the future. In the privacy policy you will find further information as well as the possibility of withdrawal.