Pages that link to "Item:Q4819001"
From MaRDI portal
The following pages link to An abductive framework for computing knowledge base updates (Q4819001):
Displayed 7 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- Abduction-Based Search for Cooperative Answers (Q3092304) (← links)
- Inductive Negotiation in Answer Set Programming (Q3601788) (← links)