Tuomo Lehtonen

22 papers A* 8A 2C 4Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Argumentative Reasoning in ASPIC+ under Incomplete Information.
J. Artif. Intell. Res.
Daphne Odekerken, Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2025 J jnl
ICCMA 2023: 5th International Competition on Computational Models of Argumentation.
Artif. Intell.
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
2025 A conf
Optimal Counterfactual Explanations for Random Forests with MaxSAT.
ECAI
Alesya Raevskaya, Tuomo Lehtonen
2025 A* conf
Reasoning in Assumption-Based Argumentation via SAT.
KR
Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Järvisalo
2024 A* conf
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+.
KR
Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Järvisalo
2024 A* conf
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation.
IJCAI
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
2024 J jnl
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation.
CoRR
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
2024 C conf
On Computing Admissibility in ABA.
COMMA
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
2024 A conf
SAT-Based Approaches to Reasoning in Choice Logics.
ECAI
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
2023 A* conf
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity.
KR
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes P. Wallner
2023 A* conf
Argumentative Reasoning in ASPIC+ under Incomplete Information.
KR
Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner, Matti Järvisalo
2023 — —
Computational Approaches to Reasoning in Structured Argumentation.
Tuomo Lehtonen
2023 — conf
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper).
Arg&App
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
2022 C conf
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation.
COMMA
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2022 A* conf
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism.
KR
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021 J jnl
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation.
J. Artif. Intell. Res.
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021 J jnl
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.
CoRR
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021 J jnl
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.
Theory Pract. Log. Program.
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2020 A* conf
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework.
KR
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2019 A* conf
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings.
AAAI
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2018 C conf
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.
COMMA
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
2017 C conf
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning.
ECSQARU
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo