Pages that link to "Item:Q3181745"

The following pages link to Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745):

Displaying 9 items.

• Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
• Forgetting auxiliary atoms in forks (Q2321342) (← links)
• Model-based recasting in answer-set programming (Q4583308) (← links)
• Dual-normal logic programs – the forgotten class (Q4592993) (← links)
• (Q5020544) (← links)
• On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
• Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
• Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
• A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)