The following pages link to Horn Clause Contraction Functions (Q2865010):
Displaying 10 items.
- Partial meet pseudo-contractions (Q1726273) (← links)
- Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)
- Belief revision in Horn theories (Q2512985) (← links)
- Characterizability in Horn Belief Revision (Q2835894) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
- Belief Merging within Fragments of Propositional Logic (Q5277921) (← links)
- Merging in the Horn Fragment (Q5278204) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
- Main issues in belief revision, belief merging and information fusion (Q6602229) (← links)
- Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)
