Pages that link to "Item:Q5738917"
From MaRDI portal
The following pages link to Strongly equivalent logic programs (Q5738917):
Displayed 26 items.
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- Conceptual logic programs (Q854977) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← 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)