Tuomo Lehtonen
Orcid: 0000-0001-6117-4854
According to our database1,
Tuomo Lehtonen
authored at least 12 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper).
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023
2022
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation.
Proceedings of the Computational Models of Argument, 2022
2021
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.
Theory Pract. Log. Program., 2021
J. Artif. Intell. Res., 2021
2020
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2018
2017
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017