The following pages link to Logic program-based updates (Q5277753):
Displayed 5 items.
- 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)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)