The following pages link to (Q4955335):
Displaying 15 items.
- R-calculus for ELP: An operational approach to knowledge base maintenance (Q676851) (← links)
- Updating knowledge bases (Q918229) (← links)
- Computing extended abduction through transaction programs (Q1978011) (← links)
- Model reconciliation in logic programs (Q2055814) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- Updating knowledge bases. II (Q3988794) (← links)
- (Q4539245) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- An abductive framework for computing knowledge base updates (Q4819001) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
- Logic program-based updates (Q5277753) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)
