3 papers
cs.AI2026
Cost-Optimal Decision Diagrams for Stochastic Boolean Function Evaluation
Xia Zong, Tuomo Lehtonen, Jussi Rintanen
In many decision-making scenarios, acquiring information incurs different costs. We consider the problem of constructing a deterministic evaluation strategy that minimizes the expe…
cs.AI2024
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
Tuomo Lehtonen, Anna Rapberger, Francesca Toni +2
Most existing computational tools for assumption-based argumentation (ABA) focus on so-called flat frameworks, disregarding the more general case. In this paper, we study an instan…
cs.AI2021
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning…