Tuomo Lehtonen

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Reasoning Tasks

Answer Set Programming

Argumentation Frameworks

Polynomial Hierarchy

Top Venues

Publications

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. CoRR (2024)
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo
Argumentative Reasoning in ASPIC+ under Incomplete Information. KR (2023)
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. KR (2023)
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). Arg&App@KR (2023)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. COMMA (2022)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. KR (2022)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Theory Pract. Log. Program. 21 (6) (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. CoRR (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. J. Artif. Intell. Res. 71 (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. KR (2020)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. AAAI (2019)
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. COMMA (2018)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. ECSQARU (2017)