Personer

Tuomo Tuukanlehto

Postdoctoral Researcher

T313 Dept. Computer Science

Full researcher profile

https://research.aalto.fi/...

E-post

tuomo.tuukanlehto@aalto.fi

Kompetensområde

113 Tietojenkäsittely ja informaatiotieteet

Forskningsgrupp

Professorship Rintanen Jussi, Tutkijatohtori
Helsinki Institute for Information Technology (HIIT), Tutkijatohtori

Publikationer

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

Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen 2025 Artificial Intelligence

Reasoning in Assumption-Based Argumentation via SAT

Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Järvisalo 2025 KR 2025 - Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Argumentative Reasoning in ASPIC+ under Incomplete Information

Daphne Odekerken, Tuomo Lehtonen, Johannes P. Wallner, Matti Jarvisalo 2025 Journal of Artificial Intelligence Research

Optimal Counterfactual Explanations for Random Forests with MaxSAT

Alesya Raevskaya, Tuomo Lehtonen 2025 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)

Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+

Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Järvisalo 2024 Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024

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

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner 2024 Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024

On Computing Admissibility in ABA

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner 2024 Computational Models of Argument : Proceedings of COMMA 2024

SAT-Based Approaches to Reasoning in Choice Logics

Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo 2024 ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings

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

Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen 2023 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)

Solver and Benchmark Descriptions of ICCMA 2023 : 5th International Competition on Computational Models of Argumentation

Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen 2023