Pages that link to "Item:Q4583308"
From MaRDI portal
The following pages link to Model-based recasting in answer-set programming (Q4583308):
Displaying 7 items.
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Realizability of three-valued semantics for abstract dialectical frameworks (Q2287192) (← links)
- Dual-normal logic programs – the forgotten class (Q4592993) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- (Q5020544) (← links)
- On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
- Static and dynamic orderings on Dungean argumentation frameworks -- an overview (Q6064253) (← links)
