Pages that link to "Item:Q5417593"

The following pages link to Knowledge Forgetting in Answer Set Programming (Q5417593):

Displaying 11 items.

• On syntactic forgetting under uniform equivalence (Q2055801) (← links)
• On the limits of forgetting in answer set programming (Q2211850) (← links)
• Forgetting in multi-agent modal logics (Q2321251) (← links)
• Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
• When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
• First-order modular logic programs and their conservative extensions (Q4593056) (← links)
• A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
• Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← 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)