Author:Booth, R; Meyer, T; Varzinczak, I; Wassermann, RDate:May 2010In this paper the authors continue recent investigations into belief change for Horn logic. The main contribution is a result which shows that the construction method for Horn contraction for belief sets based on infraremainder sets, as ...Read more
Author:Booth, R; Meyer, T; Varzinczak, I; Wassermann, RDate:Aug 2010The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the ...Read more
Author:Booth, R; Meyer, T; Varzinczak, IJDate:Jun 2009Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ...Read more