stic or non-probabilistic ASP ground program, consisting of a set of input.GroundSymbolicASPRule rules (for the User API for probabilistic Boolean clauses, see input.BooleanFormulaWithCosts)." class="class"></a><a href="" title="User API representation of a probabilistic or non-probabilistic ASP ground program, consisting of a set of input.GroundSymbolicASPRule rules (for the User API for probabilistic Boolean clauses, see input.BooleanFormulaWithCosts).">ProbabilisticAnswerSetProgram</a></li><li class="cur