Pages that link to "Item:Q4592710"

The following pages link to When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710):

Displayed 4 items.

• On syntactic forgetting under uniform equivalence (Q2055801) ‎ (← links)
• On the limits of forgetting in answer set programming (Q2211850) ‎ (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) ‎ (← links)
• A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) ‎ (← links)