Journal articles
- 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
- 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
Theses
- Computational Approaches to Reasoning in Structured Argumentation
- PhD thesis from University of Helsinki, Finland, 2023 LINK