Approximate inference through Answer Set Enumeration by Optimality (ASEO) is currently only implemented for probabilistic facts in stratified programs under the maxent semantics.
Adding support for annotated disjunctions (ADs), non-stratified programs and the credal semantics should not be too hard.
Approximate inference through Answer Set Enumeration by Optimality (ASEO) is currently only implemented for probabilistic facts in stratified programs under the maxent semantics.
Adding support for annotated disjunctions (ADs), non-stratified programs and the credal semantics should not be too hard.