Plingo is a system for probabilistic reasoning in clingo based on LP^MLN, and provides front-ends for different probabilistic logic languages such as LP^MLN, P-Log, and ProbLog. While the basic syntax of plingo is the same as the one of clingo, its semantics relies on re-interpreting the cost of a stable model at priority level 0 as a measure of its probability.

Resources

Publications