Pages that link to "Item:Q5451973"
From MaRDI portal
The following pages link to A common view on strong, uniform, and other notions of equivalence in answer-set programming (Q5451973):
Displaying 22 items.
- Characterizing strong equivalence for argumentation frameworks (Q420788) (← links)
- On graph equivalences preserved under extensions (Q536221) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Logic Programming (Q5475778) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (Q5504680) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Reasoning on with Defeasibility in ASP (Q6063881) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
