The following pages link to Belief revision in Horn theories (Q2512985):
Displaying 15 items.
- Preference-based belief revision for rule-based agents (Q1024129) (← links)
- An extension-based approach to belief revision in abstract argumentation (Q1726407) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- An investigation of parametrized difference revision operators (Q2029703) (← links)
- Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)
- Contraction in propositional logic (Q2374542) (← links)
- Characterizability in Horn Belief Revision (Q2835894) (← links)
- Horn clause contraction functions (Q2865010) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
- (Q5131259) (← links)
- Belief Merging within Fragments of Propositional Logic (Q5277921) (← links)
- Merging in the Horn Fragment (Q5278204) (← links)
- Toward credible belief base revision (Q6088376) (← links)
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks (Q6157205) (← links)
- Main issues in belief revision, belief merging and information fusion (Q6602229) (← links)