@InProceedings{BGR-12-5,
author = {Grégoire, Eric and Ramon, Sébastien},
title = {Disabling Subsumptions in a Logic-Based Component},
booktitle = {24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12)},
publisher = {Knowledge Systems Institute},
pages = {243--248},
year = {2012},
month = {7},
note = {Redwood City (CA), USA.},
abstract = {In this paper, we address a problem that is often overlooked
in the gradual construction of a logic-based knowledge
component: how can a new piece of information g
be added into a component KC so that g is not subsumed
by KC? More precisely, the focus is on iterating this
subsumption-freeness enforcement process when the component
is increased step by step. Interestingly, it is shown
that the approach and results initially related to standard
Boolean logic can directly apply to some non-monotonic
frameworks.}
}