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):
Displayed 6 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)