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 | 27 | 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 | 13 | 2023 |
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 | 10 | 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 | 10 | 2021 |
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 |
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 | 9 | 2022 |
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 | 9 | 2020 |
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 | 7 | 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 | 5 | 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 | 4 | 2022 |
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 | 3 | 2024 |
Assumption-Based Argumentation Translated to Argumentation Frameworks T Lehtonen, JP Wallner, M Järvisalo URL: http://argumentationcompetition. org/2017/ABA2AF. pdf, 2017 | 3 | 2017 |
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 |
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 |