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 15 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- 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)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- On Negative Unfolding in the Answer Set Semantics (Q3617437) (← links)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← 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)