Pages that link to "Item:Q2289011"
From MaRDI portal
The following pages link to Determining inference semantics for disjunctive logic programs (Q2289011):
Displaying 6 items.
- Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs (Q2884255) (← links)
- Approximate Inference for Logic Programs with Annotated Disjunctions (Q3007594) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)