Pages that link to "Item:Q4819001"
From MaRDI portal
The following pages link to An abductive framework for computing knowledge base updates (Q4819001):
Displaying 19 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Updating action domain descriptions (Q622109) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Strong inconsistency (Q2321259) (← 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)
- The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
- Abduction-Based Search for Cooperative Answers (Q3092304) (← links)
- Inductive Negotiation in Answer Set Programming (Q3601788) (← links)
- Addition and removal of information for a knowledge base with incomplete information (Q4031372) (← links)
- Dynamic updates of non-monotonic knowledge bases (Q4507852) (← links)
- (Q4539245) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Abduction in argumentation frameworks (Q4685530) (← links)