You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: