Strpro Tool For Manipulation Of Stratified Programs Based On Sepn

Chadlia Jerad, Amel Grissa-Touzi, Habib Ounelli
2007 Zenodo  
Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. SEPN nets are well adapted extension of predicate nets for the definition and manipulation of stratified programs. This formalism is characterized by two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimization (maximal stratification, incremental updates
more » ... ncremental updates ...). We propose, in this paper, useful algorithms for manipulating stratified programs using SEPN. These algorithms were implemented and validated with STRPRO tool.
doi:10.5281/zenodo.1332829 fatcat:xafe3dkaujcxvkc5rno7uqht2u