| 2025 | ECAI | Optimal Counterfactual Explanations for Random Forests with MaxSAT. | Alesya Raevskaya, Tuomo Lehtonen |
| 2025 | KR | Reasoning in Assumption-Based Argumentation via SAT. | Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Jrvisalo |
| 2024 | COMMA | On Computing Admissibility in ABA. | Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner |
| 2024 | ECAI | SAT-Based Approaches to Reasoning in Choice Logics. | Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo |
| 2024 | IJCAI | Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. | Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner |
| 2024 | KR | Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. | Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Jrvisalo |
| 2023 | KR | Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). | Matti Jrvisalo, Tuomo Lehtonen, Andreas Niskanen |
| 2023 | KR | Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. | Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes P. Wallner |
| 2023 | KR | Argumentative Reasoning in ASPIC+ under Incomplete Information. | Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes P. Wallner, Matti Jrvisalo |
| 2022 | COMMA | Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2022 | KR | Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2020 | KR | An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2019 | AAAI | Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2018 | COMMA | SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. | Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo |
| 2017 | ECSQARU | From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |