Следене
Tuomo Lehtonen
Tuomo Lehtonen
Потвърден имейл адрес: helsinki.fi
Заглавие
Позовавания
Позовавания
Година
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
202017
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
92021
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
42020
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
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
22021
Assumption-Based Argumentation Translated to Argumentation Frameworks
T Lehtonen, JP Wallner, M Järvisalo
URL: http://argumentationcompetition. org/2017/ABA2AF. pdf, 2017
22017
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
12022
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–14