Pages that link to "Item:Q2938510"
From MaRDI portal
The following pages link to Preserving Strong Equivalence while Forgetting (Q2938510):
Displaying 8 items.
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- Syntactic ASP forgetting with forks (Q2694542) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Syntactic ASP forgetting with forks (Q6152659) (← links)
