Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.

James P. Delgrande, Renata Wassermann

Browse the full KR paper archive.