Showing cs.AIShow all
2 papers · 1 filter
cs.AI2014
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Richard Booth, Thomas Meyer, Ivan Varzinczak +1
Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive l…
cs.AI2000
Local Diagnosis
Renata Wassermann
In an earlier work, we have presented operations of belief change which only affect the relevant part of a belief base. In this paper, we propose the application of the same strate…