Pages that link to "Item:Q5038473"
From MaRDI portal
The following pages link to Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473):
Displaying 3 items.
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
- Sequent calculi for choice logics (Q6552502) (← links)