Solving Decision Theory Problems with Probabilistic Answer Set Programming - Azzolini, Damiano (Theory and Practice of Logic Programming)