Pages that link to "Item:Q5738917"

The following pages link to Strongly equivalent logic programs (Q5738917):

Displaying 4 items.

• Characterizing strong equivalence for argumentation frameworks (Q420788) (← links)
• Skepticism relations for comparing argumentation semantics (Q962903) (← links)
• Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)