Pages that link to "Item:Q5108521"
From MaRDI portal
The following pages link to A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521):
Displaying 7 items.
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Syntactic ASP forgetting with forks (Q2694542) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Syntactic ASP forgetting with forks (Q6152659) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
- Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)
