Journal articles
- Argumentative reasoning in ASPIC+ under incomplete information
- Daphne Odekerken, Tuomo Lehtonen, Johannes Peter Wallner Matti Järvisalo
- Journal of Artificial Intelligence Research, 2025. LINK
- ICCMA 2023: 5th International Competition on Computational Models of Argumentation
- Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
- Artificial Intelligence, 2025. LINK
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- Theory and Practice of Logic Programming, 2021. LINK
- Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- Journal of Artificial Intelligence Research, 2021. LINK
Conference papers
- Reasoning in Assumption-Based Argumentation via SAT
- Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Järvisalo
- KR 2025
- Optimal Counterfactual Explanations for Random Forests with MaxSAT
- Alesya Raevskaya, Tuomo Lehtonen
- ECAI 2025
- Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
- Daphne Odekerken, Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- KR 2024. LINK
- SAT-Based Approaches to Reasoning in Choice Logics
- Tuomo Lehtonen, Andreas Niskanen Matti Järvisalo
- ECAI 2024. LINK
- On Computing Admissibility in ABA
- Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner
- COMMA 2024. LINK
- Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
- Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner
- IJCAI 2024. LINK
- Argumentative Reasoning in ASPIC+ under Incomplete Information
- Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo
- KR 2023. LINK
- Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity
- Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner
- KR 2023. LINK
- Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- COMMA 2022. LINK
- Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- KR 2022. LINK
- An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- KR 2020. LINK
- Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- AAAI 2019. LINK
- SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks
- Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
- COMMA 2018. LINK
- From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning
- Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
- ECSQARU 2017. LINK
Other (not peer reviewed)
- Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report
- Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
- Invited paper at Arg&App@KR 2023. LINK
- Solver and Benchmark Descriptions of ICCMA 2023: 5th International Competition on Computational Models of Argumentation
- Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen, editors
- University of Helsinki Department of Computer Science Series of Publications B, 2023. LINK
PhD thesis
- Computational Approaches to Reasoning in Structured Argumentation
- Tuomo Lehtonen
- Department of Computer Science, University of Helsinki, Finland, 2023. LINK
