Följ
Tuomo Lehtonen
Titel
Citeras av
Citeras av
År
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
212017
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
162021
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
92019
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
72020
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
62021
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
52023
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
52022
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.
T Lehtonen, A Niskanen, M Järvisalo
COMMA, 193-204, 2018
42018
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
32023
Assumption-Based Argumentation Translated to Argumentation Frameworks
T Lehtonen, JP Wallner, M Järvisalo
URL: http://argumentationcompetition. org/2017/ABA2AF. pdf, 2017
32017
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
22022
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
Helsingin yliopisto, 2023
2023
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
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
ASPforABA: ASP-based algorithms for assumption-based argumentation
T Lehtonen, JP Wallner, M Järvisalo
2021
ACBAR–Atomic-based Argumentation Solver
T Lehtonen, A Rapberger, M Ulbricht, JP Wallner
ICCMA 2023 42 (3), 16, 2021
2021
Reasoning over Assumption-Based Argumentation Frameworks via Answer Set Programming
T Lehtonen
Helsingin yliopisto, 2019
2019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20