TY - JFULL AU - Amel Grissa-Touzi and Chadlia Jerad and Habib Ounelli PY - 2007/12/ TI - New Approach for Manipulation of Stratified Programs T2 - International Journal of Computer and Information Engineering SP - 3573 EP - 3577 VL - 1 SN - 1307-6892 UR - https://publications.waset.org/pdf/9949 PU - World Academy of Science, Engineering and Technology NX - Open Science Index 11, 2007 N2 - Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. We propose in this paper an approach based on stratification to deal with negation problems. This approach is based on an extension of predicates nets. It is characterized with two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimizations on stratified programs (maximal stratification, incremental updates ...). ER -