Iosif Apostolakis, Zeynep Saribatur and Johannes Peter WallnerAbstracting Assumptions in Structured ArgumentationPublikation in PURE anzeigen
2023
Tagungsbeitrag
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
, LinkPublikation in PURE anzeigen
Sonstiger Beitrag
Christian Pasero and Johannes Peter Wallnerk-Solutions: A Solver for the Dynamic Track of ICCMA 2023
, LinkPublikation in PURE anzeigen
Andrei Popescu and Johannes Peter WallnerA Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions
, LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter WallnerAcbAr - Atomic-based Argumentation Solver
, LinkPublikation in PURE anzeigen
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloASPforABA - ASP-based Algorithms for Reasoning in ABA
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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.