From structured to abstract argumentation: Assumption-based acceptance via AF reasoning T Lehtonen, JP Wallner, M Järvisalo Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th …, 2017 | 20 | 2017 |
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 | 9 | 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 | 9 | 2019 |
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 | 4 | 2020 |
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 |
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 | 2 | 2021 |
Assumption-Based Argumentation Translated to Argumentation Frameworks T Lehtonen, JP Wallner, M Järvisalo URL: http://argumentationcompetition. org/2017/ABA2AF. pdf, 2017 | 2 | 2017 |
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 | 1 | 2022 |
SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation T Lehtonen, JP Wallner, M Järvisalo | | 2022 |
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 | | 2022 |
ASPforASPIC: ASP-based algorithms for abstract rule-based argumentation (ASPIC+) T Lehtonen, JP Wallner, M Järvisalo | | 2022 |
ASPforABA: ASP-based algorithms for assumption-based argumentation T Lehtonen, JP Wallner, M Järvisalo | | 2021 |
Reasoning over Assumption-Based Argumentation Frameworks via Answer Set Programming T Lehtonen Helsingin yliopisto, 2019 | | 2019 |
aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation TTP Lehtonen, JP Wallner, MJ Järvisalo | | 2017 |