Pages that link to "Item:Q5417593"
From MaRDI portal
The following pages link to Knowledge Forgetting in Answer Set Programming (Q5417593):
Displaying 16 items.
- Forgetting for knowledge bases in DL-lite (Q604910) (← links)
- 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)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Variable Forgetting in Reasoning about Knowledge (Q3651475) (← 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)
