Pages that link to "Item:Q3648358"
From MaRDI portal
The following pages link to Relativized hyperequivalence of logic programs for modular programming (Q3648358):
Displaying 5 items.
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- A general notion of equivalence for abstract argumentation (Q2321336) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)