Pages that link to "Item:Q5424867"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424867):
Displayed 23 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- General default logic (Q987485) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- (Q5020550) (← links)
- On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Engineering an Incremental ASP Solver (Q5504656) (← links)
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (Q5504680) (← links)
- Removing Redundancy from Answer Set Programs (Q5504694) (← links)
- (Q5856406) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)