Horn Clause Contraction Functions: Belief Set and Belief Base Approaches

Open in new window