Follow
Tuomo Lehtonen
Title
Cited by
Cited by
Year
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
T Lehtonen, JP Wallner, M Järvisalo
Journal of Artificial Intelligence Research 71, 265-318, 2021
272021
From structured to abstract argumentation: Assumption-based acceptance via AF reasoning
T Lehtonen, JP Wallner, M Järvisalo
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2017
232017
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity
T Lehtonen, A Rapberger, M Ulbricht, JP Wallner
Proceedings of the International Conference on Principles of Knowledge …, 2023
132023
Argumentative reasoning in ASPIC+ under incomplete information
D Odekerken, T Lehtonen, AM Borg, JP Wallner, M Järvisalo
20th International Conference on Principles of Knowledge Representation and …, 2023
102023
Harnessing incremental answer set solving for reasoning in assumption-based argumentation
T Lehtonen, JP Wallner, M JӒRVISALO
Theory and Practice of Logic Programming 21 (6), 717-734, 2021
102021
Reasoning over assumption-based argumentation frameworks via direct answer set programming encodings
T Lehtonen, JP Wallner, M Järvisalo
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2938-2945, 2019
102019
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism
T Lehtonen, JP Wallner, M Järvisalo
Proceedings of the International Conference on Principles of Knowledge …, 2022
92022
An answer set programming approach to argumentative reasoning in the ASPIC+ framework
T Lehtonen, JP Wallner, M Järvisalo
International Conference on Principles of Knowledge Representation and …, 2020
92020
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report
M Järvisalo, T Lehtonen, A Niskanen
Proceedings of the First lnternational Workshop on Argumentation and …, 2023
72023
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.
T Lehtonen, A Niskanen, M Järvisalo
COMMA, 193-204, 2018
52018
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation.
T Lehtonen, JP Wallner, M Järvisalo
Proceedings of the 9th International Conference on Computational Models of …, 2022
42022
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
T Lehtonen, A Rapberger, F Toni, M Ulbricht, JP Wallner
arXiv preprint arXiv:2404.11431, 2024
32024
Assumption-Based Argumentation Translated to Argumentation Frameworks
T Lehtonen, JP Wallner, M Järvisalo
URL: http://argumentationcompetition. org/2017/ABA2AF. pdf, 2017
32017
ACBAR–Atomic-based Argumentation Solver
T Lehtonen, A Rapberger, M Ulbricht, JP Wallner
ICCMA 2023 42 (3), 16, 2021
12021
On Computing Admissibility in ABA
T Lehtonen, A Rapberger, F Toni, M Ulbricht, JP Wallner
Computational Models of Argument, 121-132, 2024
2024
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
T Lehtonen, D Odekerken, JP Wallner, M Järvisalo
21st International Conference on Principles of Knowledge Representation and …, 2024
2024
Computational Approaches to Reasoning in Structured Argumentation
T Lehtonen
Series of publications A/Department of Computer Science, University of Helsinki, 2023
2023
ASPFORABA–ASP-based Algorithms for Reasoning in ABA
T Lehtonen, JP Wallner, M Järvisalo
ICCMA 2023, 18, 2023
2023
Solver and Benchmark Descriptions of ICCMA 2023: 5th International Competition on Computational Models of Argumentation
M Järvisalo, T Lehtonen, A Niskanen
University of Helsinki, 2023
2023
SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation
T Lehtonen, JP Wallner, M Järvisalo
2022
The system can't perform the operation now. Try again later.
Articles 1–20