Pages that link to "Item:Q2946699"
From MaRDI portal
The following pages link to A Model-Theoretic Approach to Belief Change in Answer Set Programming (Q2946699):
Displaying 13 items.
- Belief revision within fragments of propositional logic (Q386044) (← 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)
- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics (Q2851259) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Syntax-Preserving Belief Change Operators for Logic Programs (Q4579961) (← 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)
- (Q4784859) (← links)
- Belief Merging by Examples (Q5277910) (← links)
- Belief Merging within Fragments of Propositional Logic (Q5277921) (← links)
- A theory of change for prioritised resilient and evolvable software systems (Q6067109) (← links)
- Main issues in belief revision, belief merging and information fusion (Q6602229) (← links)