Pages that link to "Item:Q2344722"
From MaRDI portal
The following pages link to Possibilistic nested logic programs and strong equivalence (Q2344722):
Displaying 4 items.
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473) (← links)
- Strongly equivalent logic programs (Q5738917) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)