Tuomo Lehtonen

According to our database, Tuomo Lehtonen authored at least 19 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Argumentative Reasoning in ASPIC+ under Incomplete Information.

Daphne Odekerken, Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

J. Artif. Intell. Res., 2025

ICCMA 2023: 5th International Competition on Computational Models of Argumentation.

Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen

Artif. Intell., 2025

2024

Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+.

Tuomo Lehtonen, Daphne Odekerken, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation.

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

SAT-Based Approaches to Reasoning in Choice Logics.

Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

On Computing Admissibility in ABA.

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner

Proceedings of the Computational Models of Argument, 2024

2023

ICCMA 2023: Benchmarks and raw results.

Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen

Dataset, September, 2023

Computational Approaches to Reasoning in Structured Argumentation.

Tuomo Lehtonen

PhD thesis, 2023

Argumentative Reasoning in ASPIC+ under Incomplete Information.

Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity.

Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper).

Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen

Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

2022

Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism.

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation.

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the Computational Models of Argument, 2022

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

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation.

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

J. Artif. Intell. Res., 2021

2020

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework.

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings.

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.

Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo

Proceedings of the Computational Models of Argument, 2018

2017

From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning.

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017