Tuomo Lehtonen

According to our database, Tuomo Lehtonen authored at least 15 papers between 2017 and 2024.

Collaborative distances:

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

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

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