The following pages link to Logic Programming (Q5475778):
Displaying 8 items.
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074) (← links)
- (Q4433996) (← 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)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)