Journal articles
- 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
- 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
- Department of Computer Science, University of Helsinki, Finland, 2023 LINK
