Adaricheva, Kira, Yeshiva University, United States
-
2011 AAAI Spring Symposium Series - Logical Formalizations of Commonsense Reasoning
Horn Belief Contraction: Remainders, Envelopes and Complexity
Abstract PDF -
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning - Full Papers
Horn Belief Contraction: Remainders, Envelopes and Complexity
Abstract PDF