Pages that link to "Item:Q6063883"
From MaRDI portal
The following pages link to Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883):
Displaying 5 items.
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- (Q3316584) (← links)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473) (← links)
- A common view on strong, uniform, and other notions of equivalence in answer-set programming (Q5451973) (← links)
- Strongly equivalent logic programs (Q5738917) (← links)