Pages that link to "Item:Q4815035"
From MaRDI portal
The following pages link to Strong equivalence made easy: nested expressions and weight constraints (Q4815035):
Displayed 11 items.
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- On Negative Unfolding in the Answer Set Semantics (Q3617437) (← links)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (Q5504680) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)