Pages that link to "Item:Q5424867"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424867):
Displaying 11 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)
- On dynamics in structured argumentation formalisms (Q6488791) (← links)
