Probabilistic Answer Set Programming

In Section 2.2 we considered only sound programs, those for which every world has a two-valued WFM. In this way, we avoid non-monotonic aspects of the program and we deal with uncertainty only by means of probability theory.