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:Franconi, E; Meyer, T; Varzinczak, IDate:May 2010In this paper the authors investigate the problem of maintaining and reasoning with different versions of a knowledge base. The authors are interested in the scenario where a knowledge base (expressed in some logical formalism) might evolve ...Read more