Pages that link to "Item:Q2851259"
From MaRDI portal
The following pages link to AGM-Style Belief Revision of Logic Programs under Answer Set Semantics (Q2851259):
Displaying 5 items.
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Merging in the Horn Fragment (Q5278204) (← links)
- A theory of change for prioritised resilient and evolvable software systems (Q6067109) (← links)
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks (Q6157205) (← links)