Yves Moinard Circumscriptions as preferential entailments , ECAI'92 (European Conf. on Artificial Intelligene) , Wiley , Wien , 329--333 , aug , 1992 Abstract The properties of the inference notion underlying circumscription have not been really studied as such until recently. Makinson has investigated thoroughly the notion of cumulativity for ``preferential model structures'' but these results are much too general when we focus on circumscription. Also we examine other important properties of an inference relation such as reasoning by case and contraposition. Once we have given these results, we show precisely how they concern a great variety of circumscriptions. This web site is maintained by René Quiniou using the Weave system from the Caravel project: http://www-caravel.inria.fr. Last modification: 10-07-2011 09:54:25