Research Portal
Google scholar
Website
Tuomo Lehtonen is an artificial intelligence researcher currently working at Aalto University under the supervision of Professor Jussi Rintanen. He earned his PhD in Computer Science from the University of Helsinki in 2023, working in the Constraint Reasoning and Optimization group at the University of Helsinki.
Tuomo is interested in artificial intelligence, knowledge representation and reasoning, and algorithms for important and computationally hard (especially combinatorial) problems. His doctoral research focused on leveraging modern constraint solving techniques for computational argumentation. Currently he is broadening his efforts to other problems in artificial intelligence, with the aim of advancing the capabilities and efficiency of transparent and verifiable reasoning systems.
Sample of publications:
[1] Daphne Odekerken, Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo. Argumentative Reasoning in ASPIC+ under Incomplete Information. Journal of Artificial Intelligence Research (83), 2025 https://doi.org/10.1613/jair.1.18404
[2] Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Järvisalo. Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024. https://doi.org/10.24963/kr.2024/49
[3] Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. Declarative algorithms and complexity results for assumption-based argumentation. Journal of Artificial Intelligence Research (71), 2021. https://doi.org/10.1613/jair.1.12479