@InProceedings{BGR-11-2,
author = {Besnard, Philippe and Grégoire, Eric and Ramon, Sébastien},
title = {Enforcing Logically Weaker Knowledge in Classical Logic},
booktitle = {5th International Conference on Knowledge Science Engineering and Management (KSEM'11)},
publisher = {LNAI 7091, Springer},
editor = {Hui Xiong and W.B. Lee (Eds)},
pages = {44-55},
year = {2011},
month = {12},
note = {Irvine (CA), USA},
abstract = {This paper is concerned with a fundamental issue in knowledge 
representation and reasoning that, surprisingly, has received little 
attention so far. The point is that inserting some logically weaker (but, 
in a sense, more precise) information within a logic-based representation
is not a straightforward process if the extra information must prevail. 
Indeed, it does neither prevail by itself nor disable the already existing
logically stronger (but less precise) information that subsumes it. A 
general framework for solving this problem is introduced and instantiated
 to the task of making some rules prevail over more general ones.},
}