Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. - Wolfgang Dvorák; Sarah Alice Gaggl; Johannes Peter Wallner; Stefan Woltran (INAP/WLP, 2011)

Evaluating Abstract Dialectical Frameworks with ASP. - Stefan Ellmauthaler; Johannes Peter Wallner (COMMA, 2012)

Complexity-Sensitive Decision Procedures for Abstract Argumentation. - Wolfgang Dvorák; Matti Järvisalo; Johannes Peter Wallner; Stefan Woltran (KR, 2012)

Admissibility in the Abstract Dialectical Framework. - Sylwia Polberg; Johannes Peter Wallner; Stefan Woltran (CLIMA, 2013)

Advanced SAT Techniques for Abstract Argumentation. - Johannes Peter Wallner; Georg Weissenbacher; Stefan Woltran (CLIMA, 2013)

Abstract Dialectical Frameworks Revisited. - Gerhard Brewka; Hannes Strass; Stefan Ellmauthaler; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

ARVis: Visualizing Relations between Answer Sets. - Thomas Ambroz; Günther Charwat; Andreas Jusits; Johannes Peter Wallner; Stefan Woltran (LPNMR, 2013)

VCWC: A Versioning Competition Workflow Compiler. - Günther Charwat; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Andreas Pfandler; Christoph Redl; Martin Schwengerer; Lara Katharina Spendier; Johannes Peter Wallner; Guohui Xiao 001 (LPNMR, 2013)

Utilizing ASP for Generating and Visualizing Argumentation Frameworks - Günther Charwat; Johannes Peter Wallner; Stefan Woltran (CoRR, 2013)

On the relation between SPARQL1.1 and Answer Set Programming. - Axel Polleres; Johannes Peter Wallner (J. Appl. Non Class. Logics, 2013)

Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. - Martin Diller; Johannes Peter Wallner; Stefan Woltran (COMMA, 2014)

Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. - Hannes Strass; Johannes Peter Wallner (KR, 2014)

Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks. - Wolfgang Dvorák; Sarah Alice Gaggl; Thomas Linsbichler; Johannes Peter Wallner (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). - Wolfgang Dvorák; Matti Järvisalo; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2015)

On the Parameterized Complexity of Belief Revision. - Andreas Pfandler; Stefan Rümmele; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2015)

Abstract Solvers for Dung's Argumentation Frameworks. - Rémi Brochenin; Thomas Linsbichler; Marco Maratea; Johannes Peter Wallner; Stefan Woltran (TAFA, 2015)

Methods for solving reasoning problems in abstract argumentation - A survey. - Günther Charwat; Wolfgang Dvorák; Sarah Alice Gaggl; Johannes P. Wallner; Stefan Woltran (Artif. Intell., 2015)

Improved answer-set programming encodings for abstract argumentation. - Sarah Alice Gaggl; Norbert Manthey; Alessandro Ronca; Johannes P. Wallner; Stefan Woltran (Theory Pract. Log. Program., 2015)

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. - Johannes P. Wallner; Andreas Niskanen; Matti Järvisalo (AAAI, 2016)

Synthesizing Argumentation Frameworks from Examples. - Andreas Niskanen; Johannes P. Wallner; Matti Järvisalo (ECAI, 2016)

Optimal Status Enforcement in Abstract Argumentation. - Andreas Niskanen; Johannes P. Wallner; Matti Järvisalo (IJCAI, 2016)

Pakota: A System for Enforcement in Abstract Argumentation. - Andreas Niskanen; Johannes P. Wallner; Matti Järvisalo (JELIA, 2016)

Implicit Hitting Set Algorithms for Reasoning Beyond NP. - Paul Saikko; Johannes P. Wallner; Matti Järvisalo (KR, 2016)

Some Complexity Results on Inconsistency Measurement. - Matthias Thimm; Johannes P. Wallner (KR, 2016)

From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (ECSQARU, 2017)

Abstract Dialectical Frameworks. An Overview. - Gerhard Brewka; Stefan Ellmauthaler; Hannes Strass; Johannes P. Wallner; Stefan Woltran (FLAP, 2017)

Foundations of Implementations for Formal Argumentation. - Federico Cerutti 001; Sarah Alice Gaggl; Matthias Thimm; Johannes P. Wallner (FLAP, 2017)

Weighted Abstract Dialectical Frameworks. - Gerhard Brewka; Hannes Strass; Johannes P. Wallner; Stefan Woltran (AAAI, 2018)

Structural Constraints for Dynamic Operators in Abstract Argumentation. - Johannes P. Wallner (COMMA, 2018)

Two Sides of the Same Coin: Belief Revision and Enforcing Arguments. - Adrian Haret; Johannes P. Wallner; Stefan Woltran (IJCAI, 2018)

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. - Thomas Linsbichler; Marco Maratea; Andreas Niskanen; Johannes P. Wallner; Stefan Woltran (IJCAI, 2018)

Extension Enforcement under Grounded Semantics in Abstract Argumentation. - Andreas Niskanen; Johannes P. Wallner; Matti Järvisalo (KR, 2018)

Weighted Abstract Dialectical Frameworks: Extended and Revised Report. - Gerhard Brewka; Jörg Pührer; Hannes Strass; Johannes P. Wallner; Stefan Woltran (CoRR, 2018)

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (AAAI, 2019)

Manipulating Skeptical and Credulous Consequences When Merging Beliefs. - Adrian Haret; Johannes P. Wallner (JELIA, 2019)

On the complexity of inconsistency measurement. - Matthias Thimm; Johannes P. Wallner (Artif. Intell., 2019)

Proportional Belief Merging. - Adrian Haret; Martin Lackner; Andreas Pfandler; Johannes P. Wallner (AAAI, 2020)

The ASPARTIX System Suite. - Wolfgang Dvorák; Sarah Alice Gaggl; Anna Rapberger; Johannes P. Wallner; Stefan Woltran (COMMA, 2020)

Labelling-based Algorithms for SETAFs. - Wolfgang Dvorák; Anna Rapberger; Johannes P. Wallner (SAFA, 2020)

Computing Strongly Admissible Sets. - Wolfgang Dvorák; Johannes P. Wallner (COMMA, 2020)

Explaining Non-Acceptability in Abstract Argumentation. - Zeynep G. Saribatur; Johannes P. Wallner; Stefan Woltran (ECAI, 2020)

ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. - Wolfgang Dvorák; Anna Rapberger; Johannes P. Wallner; Stefan Woltran (FoIKS, 2020)

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (KR, 2020)

Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations. - Jan Maly 001; Johannes P. Wallner (AAAI, 2021)

Strong Explanations in Abstract Argumentation. - Markus Ulbricht 001; Johannes P. Wallner (AAAI, 2021)

Existential Abstraction on Argumentation Frameworks via Clustering. - Zeynep G. Saribatur; Johannes P. Wallner (KR, 2021)

Aspartix-V21. - Wolfgang Dvorák; Matthias König 002; Johannes P. Wallner; Stefan Woltran (CoRR, 2021)

An AGM Approach to Revising Preferences. - Adrian Haret; Johannes P. Wallner (CoRR, 2021)

Enforcement in Formal Argumentation. - Ringo Baumann; Sylvie Doutre; Jean-Guy Mailly; Johannes P. Wallner (FLAP, 2021)

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (J. Artif. Intell. Res., 2021)

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (Theory Pract. Log. Program., 2021)

An Axiomatic Approach to Revising Preferences. - Adrian Haret; Johannes P. Wallner (AAAI, 2022)

Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation. - Markus Ulbricht 001; Johannes P. Wallner (COMMA, 2022)

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. - Stefan Ellmauthaler; Sarah Alice Gaggl; Dominik Rusovac; Johannes P. Wallner (COMMA, 2022)

Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (COMMA, 2022)

Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. - Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (KR, 2022)

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. - Stefan Ellmauthaler; Sarah Alice Gaggl; Dominik Rusovac; Johannes P. Wallner (LPNMR, 2022)

Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. - Anna Rapberger; Markus Ulbricht 001; Johannes P. Wallner (NMR, 2022)

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. - Thomas Linsbichler; Marco Maratea; Andreas Niskanen; Johannes P. Wallner; Stefan Woltran (Artif. Intell., 2022)

Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. - Andrei Popescu 005; Johannes P. Wallner (JELIA, 2023)

Ranking-based Semantics for Assumption-based Argumentation. - Kenneth Skiba; Matthias Thimm; Johannes P. Wallner (FCR@KI, 2023)

Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. - Tuomo Lehtonen; Anna Rapberger; Markus Ulbricht 001; Johannes P. Wallner (KR, 2023)

Argumentative Reasoning in ASPIC+ under Incomplete Information. - Daphne Odekerken; Tuomo Lehtonen; AnneMarie Borg; Johannes P. Wallner; Matti Järvisalo (KR, 2023)

Abstracting Assumptions in Structured Argumentation. - Iosif Apostolakis; Zeynep G. Saribatur; Johannes P. Wallner (AAMAS, 2024)

On Computing Admissibility in ABA. - Tuomo Lehtonen; Anna Rapberger; Francesca Toni; Markus Ulbricht 001; Johannes P. Wallner (COMMA, 2024)

Reasoning in Structured Argumentation: Assumption-based Argumentation and ASPIC+. - Johannes P. Wallner (SAFA, 2024)

Value-Based Reasoning in ASPIC+. - Johannes P. Wallner; Adam Z. Wyner; Tomasz Zurek (COMMA, 2024)

Complexity of Semi-Stable Semantics in Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Johannes P. Wallner (COMMA, 2024)

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. - Tuomo Lehtonen; Anna Rapberger; Francesca Toni; Markus Ulbricht 001; Johannes P. Wallner (IJCAI, 2024)

Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability. - Johannes P. Wallner (IJCAI, 2024)

Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. - Andrei Popescu 005; Johannes P. Wallner (KR, 2024)

Abstraction in Assumption-based Argumentation. - Iosif Apostolakis; Zeynep G. Saribatur; Johannes P. Wallner (KR, 2024)

Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. - Tuomo Lehtonen; Daphne Odekerken; Johannes P. Wallner; Matti Järvisalo (KR, 2024)

A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. - Iosif Apostolakis; Zeynep G. Saribatur; Johannes P. Wallner (LPNMR, 2024)

Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. - Kenneth Skiba; Matthias Thimm; Johannes P. Wallner (RATIO, 2024)

Sixth International Competition on Computational Models of Argumentation: Preliminary Report. - Iosif Apostolakis; Andrei Popescu; Johannes P. Wallner (Arg&App 2025, 2025)

Completing Structured Arguments in Assumption-Based Argumentation. - Andrei Popescu 005; Johannes P. Wallner (JELIA (1), 2025)

Dynamic Programming Algorithms for Probabilistic Bipolar Argumentation Frameworks. - Andrei Popescu 005; Johannes P. Wallner (SAC, 2025)

Argumentative Reasoning in ASPIC+ under Incomplete Information. - Daphne Odekerken; Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo (J. Artif. Intell. Res., 2025)

Under-Approximating Semantics in Clustered Assumption-Based Argumentation. - Iosif Apostolakis; Johannes P. Wallner (AAAI, 2026)

Simplifying Argumentation Frameworks by Clustering Structural Patterns. - Iosif Apostolakis; Johannes P. Wallner (FoIKS, 2026)

Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks. - Michael Baier; Johannes P. Wallner (FoIKS, 2026)