An Algebraic Approach to Weighted Answer-set Programming

Francisco Coelho, Bruno Dinis, Dietmar Seipel +1

Logic programs, more specifically, Answer-set programs, can be annotated with probabilities on facts to express uncertainty. We address the problem of propagating weight annotation…