Pages that link to "Item:Q2999230"
From MaRDI portal
The following pages link to On Semantic Update Operators for Answer-Set Programs (Q2999230):
Displaying 10 items.
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Strong inconsistency (Q2321259) (← links)
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases (Q2411265) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- Stable reasoning (Q4586232) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks (Q6157205) (← links)
- Reasoning about action and change (Q6602230) (← links)
