The following pages link to (Q4798005):
Displaying 3 items.
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Comparisons and computation of well-founded semantics for disjunctive logic programs (Q5277723) (← links)
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)