The following pages link to Logic Programming (Q5191482):
Displayed 29 items.
- Normal and strong expansion equivalence for argumentation frameworks (Q359982) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- Skepticism relations for comparing argumentation semantics (Q962903) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← 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)
- Semantic forgetting in answer set programming (Q2389674) (← 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)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Performance Tuning in Answer Set Programming (Q3449203) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Dual-normal logic programs – the forgotten class (Q4592993) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← 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)
- (Q5856406) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)