Location of Repository

New approach for Manipulation of Stratified Programs”, submitted for publication in AISC

By Amel Grissa-touzi, Chadlia Jerad and Habib Ounelli

Abstract

Abstract- 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 …)

Topics: stratification
Year: 2005
OAI identifier: oai:CiteSeerX.psu:10.1.1.307.9940
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.waset.org/journals/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.