Pages that link to "Item:Q2211850"

The following pages link to On the limits of forgetting in answer set programming (Q2211850):

Displaying 3 items.

• On syntactic forgetting under uniform equivalence (Q2055801) (← links)
• Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
• Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)