2 papers
cs.CC2026
Fagin's Theorem for Semiring Turing Machines
Guillermo Badia, Manfred Droste, Thomas Eiter +3
In recent years, quantitative complexity over semirings has been intensively investigated. In this context, Eiter and Kiesel (Semiring Reasoning Frameworks in AI and Their Computat…
cs.AI2024
Solving Decision Theory Problems with Probabilistic Answer Set Programming
Damiano Azzolini, Elena Bellodi, Rafael Kiesel +1
Solving a decision theory problem usually involves finding the actions, among a set of possible ones, which optimize the expected reward, possibly accounting for the uncertainty of…