Pages that link to "Item:Q3643124"

The following pages link to Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection (Q3643124):

Displaying 4 items.

• Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
• Model-based recasting in answer-set programming (Q4583308) (← links)
• (Q5856406) (← links)
• Abstraction for non-ground answer set programs (Q5919127) (← links)