Pages that link to "Item:Q5277723"
From MaRDI portal
The following pages link to Comparisons and computation of well-founded semantics for disjunctive logic programs (Q5277723):
Displaying 10 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Strong order equivalence (Q854968) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- Random logic programs: Linear model (Q4593016) (← links)
- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (Q4649728) (← links)
- (Q4798005) (← links)
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)
- On the computation of the disjunctive well-founded semantics (Q5947357) (← links)
- On dynamics in structured argumentation formalisms (Q6488791) (← links)