Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán. Horn Belief Contraction: Remainders, Envelopes and Complexity. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI, 2011. [doi]
Abstract is missing.