Pages that link to "Item:Q2807074"
From MaRDI portal
The following pages link to Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074):
Displaying 7 items.
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Semantical characterizations and complexity of equivalences in answer set programming (Q5277782) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424886) (← links)
- A common view on strong, uniform, and other notions of equivalence in answer-set programming (Q5451973) (← links)
- Logic Programming (Q5475778) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)