Pages that link to "Item:Q1783736"
From MaRDI portal
The following pages link to Equivalence between answer-set programs under (partially) fixed input (Q1783736):
Displaying 7 items.
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074) (← links)
- Semantical characterizations and complexity of equivalences in answer set programming (Q5277782) (← links)
- Logic Programming (Q5313185) (← links)
- Logics in Artificial Intelligence (Q5394122) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424867) (← links)
- A common view on strong, uniform, and other notions of equivalence in answer-set programming (Q5451973) (← links)
- Logic Programming (Q5475778) (← links)