The following pages link to Logic program-based updates (Q5277753):
Displayed 8 items.
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Model reconciliation in logic programs (Q2055814) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)