| 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 | 25 | 2021 |
| 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 | 23 | 2017 |
| 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 | 10 | 2023 |
| An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework T Lehtonen, JP Wallner, M Järvisalo Proceedings of the International Conference on Principles of Knowledge …, 2020 | 10 | 2020 |
| 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 | 10 | 2019 |
| Argumentative Reasoning in ASPIC+ under Incomplete Information D Odekerken, T Lehtonen, AM Borg, JP Wallner, M Järvisalo Proceedings of the International Conference on Principles of Knowledge …, 2023 | 9 | 2023 |
| 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 | 9 | 2021 |
| 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 | 8 | 2022 |
| 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 | 6 | 2023 |
| SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. T Lehtonen, A Niskanen, M Järvisalo COMMA, 193-204, 2018 | 4 | 2018 |
| 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 | 3 | 2022 |
| Assumption-Based Argumentation Translated to Argumentation Frameworks T Lehtonen, JP Wallner, M Järvisalo URL: http://argumentationcompetition. org/2017/ABA2AF. pdf, 2017 | 3 | 2017 |
| 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 | 2 | 2024 |
| ACBAR–Atomic-based Argumentation Solver T Lehtonen, A Rapberger, M Ulbricht, JP Wallner ICCMA 2023 42 (3), 16, 2021 | 1 | 2021 |
| On Computing Admissibility in ABA T Lehtonen, A Rapberger, F Toni, M Ulbricht, JP Wallner Computational Models of Argument, 121-132, 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 |
| ASPforASPIC: ASP-based algorithms for abstract rule-based argumentation (ASPIC+) T Lehtonen, JP Wallner, M Järvisalo | | 2022 |
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
