The following pages link to (Q4797777):
Displaying 8 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
