Pages that link to "Item:Q3008405"
From MaRDI portal
The following pages link to A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There (Q3008405):
Displaying 5 items.
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)