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

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. - Tuomo Lehtonen; Andreas Niskanen; Matti Järvisalo (COMMA, 2018)

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

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

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

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

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

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

Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). - Matti Järvisalo; Tuomo Lehtonen; Andreas Niskanen (Arg&App@KR, 2023)

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

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

Computational Approaches to Reasoning in Structured Argumentation. - Tuomo Lehtonen (2023)

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

SAT-Based Approaches to Reasoning in Choice Logics. - Tuomo Lehtonen; Andreas Niskanen; Matti Järvisalo (ECAI, 2024)

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

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

ICCMA 2023: 5th International Competition on Computational Models of Argumentation. - Matti Järvisalo; Tuomo Lehtonen; Andreas Niskanen (Artif. Intell., 2025)

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